\rightarrowtailThe \rightarrowtail symbol is used in mathematical notation to represent a function or mapping that is injective (one-to-one). It is often used in category theory and other areas of mathematics to denote a morphism that is injective.
An injective function from set A to set B
f: A \rightarrowtail BAn injective mapping from space X to space Y
\phi: X \rightarrowtail YAn injective function from the real numbers to the 2-dimensional real plane
g: \mathbb{R} \rightarrowtail \mathbb{R}^2