Double flèche gauche-droite en LaTeX (\Leftrightarrow)

Où il est utilisé

Trace une courte flèche à double trait et à deux pointes, pour l’équivalence logique entre formules.

\Leftrightarrow énonce que deux formules s’impliquent mutuellement, comme dans A \Leftrightarrow B. Pour une équivalence entre énoncés complets en mathématiques hors texte, \iff donne le plus long \Longleftrightarrow avec un espacement supplémentaire. L’algèbre de Boole l’utilise pour le XNOR ou le biconditionnel. Dans les chaînes d’équations équivalentes, aligner une colonne de \Leftrightarrow avec align est une pratique courante dans les corrigés d’exercices. Ne la confondez pas avec \equiv, qui exprime l’identité ou la congruence plutôt que l’équivalence logique. Ne l’écrivez que lorsque chaque étape est réellement réversible ; élever les deux membres au carré, par exemple, rompt l’équivalence.

Également dans: Logique et preuves, Algèbre booléenne

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Left Right Arrow (Double): $\Leftrightarrow$

\[ 2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2 \]
\end{document}

Symboles associés

• Longue double flèche gauche-droite\Longleftrightarrow
• Flèche haut-bas\updownarrow
• Double flèche haut-bas\Updownarrow
• Longue flèche gauche-droite\longleftrightarrow
• Flèche d’application\mapsto
• Flèche gauche-droite\leftrightarrow

Questions fréquentes

Comment écrire Double flèche gauche-droite en LaTeX ?

Tapez \Leftrightarrow en mode mathématique, par exemple $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \Leftrightarrow ?

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

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