Faq/Math/022

How do I use the symbol ↦ (a right arrow that starts with a vertical line)?
This symbol can be found in the Arrows subset of the DejaVu family of fonts.

See How do I use a symbol not provided in Math's Catalog of characters?