Si et seulement si en LaTeX (\iff)

Où il est utilisé

Écrit une longue double flèche à deux pointes pour l’équivalence logique, qui se lit « si et seulement si ».

\iff produit \Longleftrightarrow avec des espaces épaisses supplémentaires des deux côtés. Il relie deux énoncés qui s’impliquent mutuellement, comme dans un théorème du type n \text{ pair} \iff n^2 \text{ pair}. Les textes de logique préfèrent souvent \leftrightarrow ou \Leftrightarrow pour le biconditionnel à l’intérieur des formules, en réservant \iff aux énoncés rédigés. À cause de ce remplissage, \iff paraît trop lâche dans des indices compacts ou des conditions de définition d’ensembles en compréhension. Ne le confondez pas avec \equiv, qui signifie identiquement égal ou congru modulo n.

Également dans: Logique et preuves

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
If and Only If: $\iff$

\[ A \subseteq B \iff A \cap B = A \]
\end{document}

Symboles associés

• Quantificateur universel\forall
• Implication\implies
• Quantificateur existentiel\exists
• Supérieur ou égal\geq
• Appartenance\in
• Inférieur ou égal\leq

Questions fréquentes

Comment écrire Si et seulement si en LaTeX ?

Tapez \iff en mode mathématique, par exemple $A \subseteq B \iff A \cap B = A$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \iff ?

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

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