Double flèche vers la gauche en LaTeX (\Leftarrow)

Où il est utilisé

Trace une courte flèche à double trait vers la gauche, qui se lit « est impliqué par » ou marque le sens réciproque d’une démonstration.

Dans les démonstrations d’une équivalence, les auteurs étiquettent les deux sens (\Rightarrow) et (\Leftarrow), ce dernier prouvant la réciproque. Entre formules, A \Leftarrow B signifie que B implique A. Pour une version longue et espacée entre énoncés complets, \impliedby donne \Longleftarrow avec un espacement supplémentaire, en miroir de \implies. Attention à ne pas confondre \Leftarrow avec \leq lors d’une lecture rapide, car certains lecteurs se méprennent sur la forme. Les textes de logique reformulent plus souvent l’énoncé pour utiliser une flèche vers la droite : réservez donc \Leftarrow aux sens réciproques.

Également dans: Logique et preuves

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Left Arrow (Double): $\Leftarrow$

\[ (\Leftarrow)\ \text{Supposons } n^2 \text{ pair. Alors } n \text{ est pair.} \]
\end{document}

Symboles associés

• Double flèche vers la droite\Rightarrow
• Flèche vers le bas\downarrow
• Double flèche vers le haut\Uparrow
• Longue flèche vers la droite\longrightarrow
• Longue double flèche vers la gauche\Longleftarrow
• Longue flèche vers la gauche\longleftarrow

Questions fréquentes

Comment écrire Double flèche vers la gauche en LaTeX ?

Tapez \Leftarrow en mode mathématique, par exemple $(\Leftarrow)\ \text{Supposons } n^2 \text{ pair. Alors } n \text{ est pair.}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \Leftarrow ?

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

Peut-on utiliser \Leftarrow 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 $\Leftarrow$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⇐ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).