Injection Arrow

Type it

Ways to write the Injection Arrow symbol
UnicodeU+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”.

More Arrows symbols