Flecha doble hacia abajo en LaTeX (\Downarrow)

Dónde se usa

Dibuja una flecha de doble trazo hacia abajo, usada para la evaluación de paso grande en la semántica de lenguajes de programación.

La semántica operacional escribe e \Downarrow v para indicar que la expresión e se evalúa al valor v en estilo de paso grande, el principal uso técnico de este símbolo. En diagramas y en demostraciones lógicas puede marcar un paso de inferencia vertical. Como las demás flechas verticales, \Downarrow es un delimitador, así que \Big\Downarrow da una versión más alta. No la confundas con \downarrow, que en la misma semántica puede significar terminación. Define tu convención al introducir el juicio. La semántica de paso pequeño, en cambio, usa \to o \longrightarrow para los pasos de reducción individuales, y \to^* para su clausura reflexiva y transitiva.

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Down Arrow (Double): $\Downarrow$

\[ \frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v} \]
\end{document}

Símbolos relacionados

• Flecha bidireccional\leftrightarrow
• Flecha doble larga a la derecha\Longrightarrow
• Flecha bidireccional larga\longleftrightarrow
• Flecha doble larga a la izquierda\Longleftarrow
• Flecha bidireccional vertical\updownarrow
• Flecha doble hacia arriba\Uparrow

Preguntas frecuentes

¿Cómo escribo Flecha doble hacia abajo en LaTeX?

Escribe \Downarrow en modo matemático, por ejemplo $\frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v}$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \Downarrow?

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

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