Flèche d’application en LaTeX (\mapsto)

Où il est utilisé

Trace une flèche à talon qui indique où une fonction envoie un élément donné, comme dans x ↦ x².

Utilisez \mapsto pour les éléments et \to pour les ensembles : f : \mathbb{R} \to \mathbb{R},\ x \mapsto x^2 énonce à la fois l’ensemble de départ, l’ensemble d’arrivée et la règle. Les articles de lambda-calcul et de programmation fonctionnelle l’utilisent pour les fonctions anonymes, et en sémantique on écrit les substitutions ou les mises à jour d’environnement [x \mapsto v]. Elle ne diffère de \to que par la petite barre à sa base : vérifiez donc qu’elle s’affiche nettement aux petites tailles. Pour de longues expressions, utilisez \longmapsto. Dans les diagrammes commutatifs, les flèches au niveau des éléments sont aussi tracées avec un talon de type mapsto.

Également dans: Fonctions et mappages, Informatique

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Longue flèche d’application\longmapsto
• Double flèche haut-bas\Updownarrow
• Flèche nord-est\nearrow
• Longue double flèche gauche-droite\Longleftrightarrow
• Flèche à crochet vers la gauche\hookleftarrow
• Double flèche gauche-droite\Leftrightarrow

Questions fréquentes

Comment écrire Flèche d’application en LaTeX ?

Tapez \mapsto en mode mathématique, par exemple $f : \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 + 1$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \mapsto ?

Aucun. \mapsto fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \mapsto en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\mapsto$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ↦ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).