Equivalência (se e somente se) em LaTeX (\iff)

Onde é usado

Escreve uma seta dupla longa com duas pontas para a equivalência lógica, lida “se e somente se”.

\iff produz \Longleftrightarrow com espaçamento extra largo dos dois lados. Ele liga dois enunciados que se implicam mutuamente, como num teorema do tipo n \text{ é par} \iff n^2 \text{ é par}. Textos de lógica costumam preferir \leftrightarrow ou \Leftrightarrow para o bicondicional dentro de fórmulas, reservando \iff para enunciados em prosa. Por causa desse espaçamento, \iff fica folgado demais dentro de subscritos compactos ou de condições na notação de conjuntos. Não o confunda com \equiv, que significa identicamente igual ou côngruo módulo n.

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}
\begin{document}
If and Only If: $\iff$

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

Símbolos relacionados

• Quantificador universal\forall
• Implicação\implies
• Quantificador existencial\exists
• Maior ou igual\geq
• Pertinência\in
• Menor ou igual\leq

Perguntas frequentes

Como escrever Equivalência (se e somente se) em LaTeX?

Digite \iff no modo matemático, por exemplo $A \subseteq B \iff A \cap B = A$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \iff?

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

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