Freccia doppia bidirezionale in LaTeX (\Leftrightarrow)

Dove si usa

Traccia una freccia corta a doppio tratto e due punte per l'equivalenza logica tra formule.

\Leftrightarrow afferma che due formule si implicano a vicenda, come in A \Leftrightarrow B. Per l'equivalenza tra enunciati completi in display, \iff dà il più lungo \Longleftrightarrow con spazio aggiuntivo. L'algebra di Boole la usa per lo XNOR o il bicondizionale. Nelle catene di equazioni equivalenti, allineare una colonna di \Leftrightarrow con align è uno schema comune negli eserciziari svolti. Non confondetela con \equiv, che esprime identità o congruenza e non equivalenza logica. Scrivetela solo quando ogni passaggio è davvero reversibile: elevare al quadrato entrambi i membri, per esempio, rompe l'equivalenza.

Compare anche in: Logica e dimostrazioni, Algebra booleana

Esempio minimo compilabile

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

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

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

Simboli correlati

• Freccia doppia bidirezionale lunga\Longleftrightarrow
• Freccia su e giù\updownarrow
• Freccia doppia su e giù\Updownarrow
• Freccia bidirezionale lunga\longleftrightarrow
• Freccia di applicazione\mapsto
• Freccia bidirezionale\leftrightarrow

Domande frequenti

Come si scrive Freccia doppia bidirezionale in LaTeX?

Scrivi \Leftrightarrow in modalità matematica, per esempio $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \Leftrightarrow?

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

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

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