Equivalencia (si y solo si) en LaTeX (\iff)

Dónde se usa

Escribe una flecha larga de doble trazo con dos puntas para la equivalencia lógica, que se lee «si y solo si».

\iff produce \Longleftrightarrow con un espaciado extra amplio a ambos lados. Une dos enunciados que se implican mutuamente, como en un teorema del tipo n \text{ es par} \iff n^2 \text{ es par}. Los textos de lógica suelen preferir \leftrightarrow o \Leftrightarrow para el bicondicional dentro de las fórmulas, y reservan \iff para los enunciados en prosa. Debido a ese relleno, \iff queda demasiado holgado dentro de subíndices compactos o de condiciones en notación de conjuntos por comprensión. No lo confundas con \equiv, que significa idénticamente igual o congruente módulo n.

También aparece en: Lógica y Demostraciones

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
If and Only If: $\iff$

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

Símbolos relacionados

• Cuantificador universal\forall
• Implicación\implies
• Cuantificador existencial\exists
• Mayor o igual que\geq
• Pertenencia\in
• Menor o igual que\leq

Preguntas frecuentes

¿Cómo escribo Equivalencia (si y solo si) en LaTeX?

Escribe \iff en modo matemático, por ejemplo $A \subseteq B \iff A \cap B = A$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \iff?

Ninguno. \iff forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \iff en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\iff$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⟺ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).