\leftarrowtailThe \leftarrowtail symbol is used in mathematical notation to represent a type of arrow. It is often used in category theory and other areas of mathematics to denote a specific kind of morphism or mapping, typically indicating a transformation or function that is reversible or has a specific property.
A reversible transformation from B to A labeled by f.
A \xleftarrowtail{f} BA morphism from Y to X with specific properties indicated by g.
X \xleftarrowtail{g} YA mapping from N to M, often used in category theory.
M \xleftarrowtail{h} N