Doppelpfeil nach unten in LaTeX (\Downarrow)

Verwendung

Zeichnet einen Doppelpfeil nach unten, verwendet für die Big-Step-Auswertung in der Semantik von Programmiersprachen.

Die operationale Semantik schreibt e \Downarrow v im Big-Step-Stil dafür, dass der Ausdruck e zum Wert v ausgewertet wird; das ist die wichtigste fachliche Verwendung dieses Symbols. In Diagrammen und logischen Beweisen kann es einen vertikalen Schlussschritt markieren. Wie die anderen vertikalen Pfeile ist \Downarrow ein Begrenzer, \Big\Downarrow erzeugt also eine höhere Version. Verwechseln Sie es nicht mit \downarrow, das in derselben Semantik Terminierung bedeuten kann. Legen Sie Ihre Konvention bei der Einführung des Urteils fest. Die Small-Step-Semantik verwendet dagegen \to oder \longrightarrow für einzelne Reduktionsschritte und \to^* für deren reflexiv-transitive Hülle.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder 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}

Verwandte Symbole

• Pfeil nach links und rechts\leftrightarrow
• Langer Doppelpfeil nach rechts\Longrightarrow
• Langer Pfeil nach links und rechts\longleftrightarrow
• Langer Doppelpfeil nach links\Longleftarrow
• Pfeil nach oben und unten\updownarrow
• Doppelpfeil nach oben\Uparrow

Häufige Fragen

Wie schreibe ich Doppelpfeil nach unten in LaTeX?

Schreiben Sie \Downarrow im Mathematikmodus, zum Beispiel $\frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v}$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \Downarrow?

Keines. \Downarrow gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \Downarrow im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\Downarrow$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ⇓ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).