A mapping arrow symbol indicating a function's domain-to-codomain correspondence in set theory and category theory.
Examples
Function definition with explicit mapping
x \mapsto x^2 \text{ maps each number to its square}
Named function with mapping notation
f: x \mapsto 2x + 1
Set mapping with specific elements
\{1,2,3\} \xrightarrow{\phi} \{a \mapsto 1, b \mapsto 2, c \mapsto 3\}