What ⇢ means
Start with the notation's legend; ⇢ has no universal mathematical rule.
In one graph convention, a dashed edge marks a semilinear map: it preserves addition but may twist scalar multiplication. A solid edge marks a linear map, preserving both addition and scalar multiplication.
Technical in diagrams; pointed and intentional in casual text.
Do not infer implication, inheritance, or a workflow step from the dashes alone.
Don't confuse it with
1Questions people ask
1Is ⇢ an emoji?
No. It is a text character rendered by the selected font, rather than emoji artwork.
How to type ⇢
⇢\21E2Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

