Freccia doppia a sinistra in LaTeX (\Leftarrow)

Dove si usa

Traccia una freccia corta a doppio tratto rivolta a sinistra, letta «è implicato da» o usata per segnare la metà inversa di una dimostrazione.

Nelle dimostrazioni di un'equivalenza gli autori etichettano le due direzioni (\Rightarrow) e (\Leftarrow), quest'ultima per l'implicazione inversa. Tra formule, A \Leftarrow B significa che B implica A. Per una versione lunga e spaziata tra enunciati completi, \impliedby dà \Longleftarrow con spazio aggiuntivo, speculare a \implies. Attenzione a non confondere \Leftarrow con \leq in una lettura veloce, perché alcuni lettori ne fraintendono la forma. I testi di logica preferiscono più spesso riformulare con una freccia a destra, quindi riservate \Leftarrow alle direzioni inverse.

Compare anche in: Logica e dimostrazioni

Esempio minimo compilabile

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Left Arrow (Double): $\Leftarrow$

\[ (\Leftarrow)\ \text{Sia } n^2 \text{ pari. Allora anche } n \text{ risulta pari.} \]
\end{document}

Simboli correlati

• Freccia doppia a destra\Rightarrow
• Freccia in giù\downarrow
• Freccia doppia in su\Uparrow
• Freccia lunga a destra\longrightarrow
• Freccia doppia lunga a sinistra\Longleftarrow
• Freccia lunga a sinistra\longleftarrow

Domande frequenti

Come si scrive Freccia doppia a sinistra in LaTeX?

Scrivi \Leftarrow in modalità matematica, per esempio $(\Leftarrow)\ \text{Sia } n^2 \text{ pari. Allora anche } n \text{ risulta pari.}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \Leftarrow?

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

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

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