Seta dupla para a esquerda e para a direita em LaTeX (\Leftrightarrow)

Onde é usado

Desenha uma seta curta de haste dupla e duas pontas para a equivalência lógica entre fórmulas.

\Leftrightarrow afirma que duas fórmulas se implicam mutuamente, como em A \Leftrightarrow B. Para a equivalência entre enunciados completos na matemática em destaque, \iff dá a seta mais longa \Longleftrightarrow com espaçamento extra. A álgebra booleana a usa para o XNOR ou o bicondicional. Em cadeias de equações equivalentes, alinhar uma coluna de \Leftrightarrow com align é um padrão comum em livros de soluções. Não a confunda com \equiv, que expressa identidade ou congruência, e não equivalência lógica. Só a escreva quando cada passo for realmente reversível; elevar os dois lados ao quadrado, por exemplo, quebra a equivalência.

Também aparece em: Lógica e Provas, Álgebra Booleana

Exemplo mínimo compilável

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

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

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

Símbolos relacionados

• Seta longa dupla para a esquerda e para a direita\Longleftrightarrow
• Seta para cima e para baixo\updownarrow
• Seta dupla para cima e para baixo\Updownarrow
• Seta longa para a esquerda e para a direita\longleftrightarrow
• Seta de aplicação\mapsto
• Seta para a esquerda e para a direita\leftrightarrow

Perguntas frequentes

Como escrever Seta dupla para a esquerda e para a direita em LaTeX?

Digite \Leftrightarrow no modo matemático, por exemplo $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \Leftrightarrow?

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

Posso usar \Leftrightarrow 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 $\Leftrightarrow$. Se você só precisa do glifo no texto, cole o caractere Unicode ⇔ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).