Flecha doble bidireccional en LaTeX (\Leftrightarrow)

Dónde se usa

Dibuja una flecha corta de doble trazo y dos puntas para la equivalencia lógica entre fórmulas.

\Leftrightarrow afirma que dos fórmulas se implican mutuamente, como en A \Leftrightarrow B. Para la equivalencia entre enunciados completos en las fórmulas destacadas, \iff da la más larga \Longleftrightarrow con espaciado adicional. El álgebra de Boole la usa para XNOR o el bicondicional. En cadenas de ecuaciones equivalentes, alinear una columna de \Leftrightarrow con align es un patrón habitual en los solucionarios. No la confundas con \equiv, que expresa identidad o congruencia y no equivalencia lógica. Escríbela solo cuando cada paso sea realmente reversible; elevar al cuadrado ambos lados, por ejemplo, rompe la equivalencia.

También aparece en: Lógica y Demostraciones, Álgebra Booleana

Ejemplo mínimo compilable

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

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

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

Símbolos relacionados

• Flecha doble bidireccional larga\Longleftrightarrow
• Flecha bidireccional vertical\updownarrow
• Flecha doble bidireccional vertical\Updownarrow
• Flecha bidireccional larga\longleftrightarrow
• Flecha de aplicación\mapsto
• Flecha bidireccional\leftrightarrow

Preguntas frecuentes

¿Cómo escribo Flecha doble bidireccional en LaTeX?

Escribe \Leftrightarrow en modo matemático, por ejemplo $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \Leftrightarrow?

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

¿Puedo usar \Leftrightarrow 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 $\Leftrightarrow$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⇔ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).