TeXipedia

rightarrowtail

Denotes a right arrow with a small tail at its base, commonly used to represent injective functions or specialized mappings in mathematics.

Overview

Serves as a specialized mathematical arrow notation primarily found in advanced algebra, category theory, and theoretical mathematics.

  • Frequently used to indicate injective (one-to-one) functions or morphisms
  • Common in diagram chasing and commutative diagrams
  • Appears in textbooks and papers discussing function properties and mathematical structures
  • Often paired with other arrow symbols to create precise mathematical notation

Examples

Showing a normal subgroup relationship in group theory.

HGH \rightarrowtail G
H \rightarrowtail G

Indicating an injective function mapping between sets.

f:XYf: X \rightarrowtail Y
f: X \rightarrowtail Y

Representing a monomorphism in category theory.

ABCA \rightarrowtail B \rightarrowtail C
A \rightarrowtail B \rightarrowtail C