What ⤁ means
It marks a finite surjection in Z notation. Every allowed output has an input, and both sets are finite.
A 2000 math-symbol proposal lists ⤁ for Z notation; it grew from STIX, a math and technical publishing font project.
Formal mathematical notation; the rightward point is not a direction cue.
In a formula, don’t read the rightward point as an instruction.
Don't confuse it with
2
Related characters
1
Questions people ask
1Why does ⤁ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
More like this
10
How to type or find ⤁
- Search it as
- finite surjection · Z notation arrow · Unicode 2901
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
macOS
HTML
⤁CSS
\2901Unicode input
Search a Unicode-aware character map by name or enter U2901 in a code-point field.
Codes and encoding1 code points
HTML decimal
⤁
HTML hex
⤁
CSS content
content: "\2901";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A4%81
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.