Injection Arrow
↣
Type it
| Unicode | U+21A3 | |
|---|---|---|
| LaTeX | \rightarrowtail | |
| HTML entity | ↣ | |
| Character | ↣ |
Meaning
Shows an injective map, where different inputs always give different outputs. In LaTeX it needs the amssymb package. Compare with Surjection Arrow and Hook Right Arrow.
How to read it
f: A ↣ B
is read “f is an injection from A into B”.