A surjective function arrow indicating an onto mapping between sets or structures in abstract algebra and category theory.
Examples
Surjective function mapping
f: X \twoheadrightarrow Y
Quotient map in group theory
G \twoheadrightarrow G/H
Natural projection in ring theory
R[x] \twoheadrightarrow R[x]/(x^2+1)