Двойная стрелка вниз в LaTeX (\Downarrow)

Где используется

Рисует двойную стрелку вниз, используемую для вычисления с большим шагом в семантике языков программирования.

В операционной семантике e \Downarrow v означает, что выражение e вычисляется в значение v в стиле большого шага; это основное техническое применение символа. В диаграммах и логических выводах она может отмечать вертикальный шаг вывода. Как и другие вертикальные стрелки, \Downarrow — ограничитель, поэтому \Big\Downarrow даёт более высокий вариант. Не путайте её с \downarrow, которая в той же семантике может означать завершение вычисления. Определите своё соглашение при введении этого суждения. Семантика малого шага, напротив, использует \to или \longrightarrow для отдельных шагов редукции и \to^* для их рефлексивно-транзитивного замыкания.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или 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}

Похожие символы

• Двусторонняя стрелка\leftrightarrow
• Длинная двойная стрелка вправо\Longrightarrow
• Длинная двусторонняя стрелка\longleftrightarrow
• Длинная двойная стрелка влево\Longleftarrow
• Стрелка вверх-вниз\updownarrow
• Двойная стрелка вверх\Uparrow

Частые вопросы

Как написать «Двойная стрелка вниз» в LaTeX?

Наберите \Downarrow в математическом режиме, например $\frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v}$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для \Downarrow?

Никакой. \Downarrow входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать \Downarrow в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\Downarrow$. Если нужен только сам знак в тексте, вставьте символ Unicode ⇓ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).