Seta dupla para a esquerda em LaTeX (\Leftarrow)

Onde é usado

Desenha uma seta curta de haste dupla para a esquerda, lida “é implicado por” ou marcando a parte recíproca de uma demonstração.

Em demonstrações de uma equivalência, os autores rotulam as duas direções como (\Rightarrow) e (\Leftarrow), esta última provando a recíproca. Entre fórmulas, A \Leftarrow B significa que B implica A. Para uma versão longa e espaçada entre enunciados completos, \impliedby dá \Longleftarrow com espaço extra, espelhando \implies. Cuidado para não confundir \Leftarrow com \leq numa leitura rápida, já que alguns leitores interpretam mal a forma. Textos de lógica costumam reorganizar a frase para usar uma seta para a direita, então reserve \Leftarrow para as recíprocas.

Também aparece em: Lógica e Provas

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

\[ (\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.} \]
\end{document}

Símbolos relacionados

• Seta dupla para a direita\Rightarrow
• Seta para baixo\downarrow
• Seta dupla para cima\Uparrow
• Seta longa para a direita\longrightarrow
• Seta longa dupla para a esquerda\Longleftarrow
• Seta longa para a esquerda\longleftarrow

Perguntas frequentes

Como escrever Seta dupla para a esquerda em LaTeX?

Digite \Leftarrow no modo matemático, por exemplo $(\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.}$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \Leftarrow?

Nenhum. \Leftarrow faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \Leftarrow no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\Leftarrow$. Se você só precisa do glifo no texto, cole o caractere Unicode ⇐ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).