Äquivalenz (genau dann, wenn) in LaTeX (\iff)

Verwendung

Schreibt einen langen Doppelpfeil mit zwei Spitzen für die logische Äquivalenz, gelesen „genau dann, wenn“.

\iff erzeugt ein \Longleftrightarrow mit zusätzlichen breiten Abständen auf beiden Seiten. Es verbindet zwei Aussagen, die einander implizieren, etwa in einem Satz wie n \text{ gerade} \iff n^2 \text{ gerade}. Logiktexte bevorzugen für das Bikonditional innerhalb von Formeln oft \leftrightarrow oder \Leftrightarrow und reservieren \iff für Aussagen im Fließtext. Wegen dieser Polsterung wirkt \iff in kompakten Indizes oder Bedingungen der Mengenbildungsschreibweise zu locker. Verwechseln Sie es nicht mit \equiv, das „identisch gleich“ oder „kongruent modulo n“ bedeutet.

Auch aufgeführt unter: Logik & Beweise

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Allquantor\forall
• Implikation\implies
• Existenzquantor\exists
• Größer oder gleich\geq
• Elementzeichen\in
• Kleiner oder gleich\leq

Häufige Fragen

Wie schreibe ich Äquivalenz (genau dann, wenn) in LaTeX?

Schreiben Sie \iff im Mathematikmodus, zum Beispiel $A \subseteq B \iff A \cap B = A$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \iff?

Keines. \iff gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \iff im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\iff$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ⟺ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).