Equivalenza (se e solo se) in LaTeX (\iff)

Dove si usa

Scrive una lunga freccia doppia a due punte per l'equivalenza logica, letta «se e solo se».

\iff produce \Longleftrightarrow con uno spazio extra ampio su entrambi i lati. Collega due enunciati che si implicano a vicenda, come in un teorema del tipo n \text{ pari} \iff n^2 \text{ pari}. I testi di logica preferiscono spesso \leftrightarrow o \Leftrightarrow per il bicondizionale all'interno delle formule, riservando \iff agli enunciati in prosa. A causa di quella spaziatura, \iff risulta troppo largo in pedici compatti o nelle condizioni della notazione insiemistica. Non confondetelo con \equiv, che significa identicamente uguale o congruo modulo n.

Compare anche in: Logica e dimostrazioni

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Quantificatore universale\forall
• Implicazione\implies
• Quantificatore esistenziale\exists
• Maggiore o uguale\geq
• Appartenenza\in
• Minore o uguale\leq

Domande frequenti

Come si scrive Equivalenza (se e solo se) in LaTeX?

Scrivi \iff in modalità matematica, per esempio $A \subseteq B \iff A \cap B = A$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \iff?

Nessuno. \iff fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \iff in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\iff$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⟺ (con XeLaTeX o LuaLaTeX e un font che lo contenga).