Freccia di applicazione in LaTeX (\mapsto)

Dove si usa

Traccia una freccia con stanghetta che mostra dove una funzione manda un singolo elemento, come in x ↦ x².

Usate \mapsto per gli elementi e \to per gli insiemi: f : \mathbb{R} \to \mathbb{R},\ x \mapsto x^2 indica insieme dominio, codominio e legge. Gli articoli di lambda calcolo e programmazione funzionale la usano per le funzioni anonime, e in semantica si scrivono così sostituzioni o aggiornamenti dell'ambiente, [x \mapsto v]. Differisce da \to solo per la piccola stanghetta in coda, quindi verificate che si veda chiaramente nei corpi piccoli. Per espressioni lunghe usate \longmapsto. Nei diagrammi commutativi, anche le frecce a livello di elementi si disegnano con la coda a stanghetta.

Compare anche in: Funzioni e mappature, Informatica

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Maps To: $\mapsto$

\[ f : \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 + 1 \]
\end{document}

Simboli correlati

• Freccia di applicazione lunga\longmapsto
• Freccia doppia su e giù\Updownarrow
• Freccia a nord-est\nearrow
• Freccia doppia bidirezionale lunga\Longleftrightarrow
• Freccia uncinata a sinistra\hookleftarrow
• Freccia doppia bidirezionale\Leftrightarrow

Domande frequenti

Come si scrive Freccia di applicazione in LaTeX?

Scrivi \mapsto in modalità matematica, per esempio $f : \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 + 1$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \mapsto?

Nessuno. \mapsto fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \mapsto in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\mapsto$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ↦ (con XeLaTeX o LuaLaTeX e un font che lo contenga).