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

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

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

В доказательствах равносильности авторы помечают два направления как (\Rightarrow) и (\Leftarrow), где второе доказывает обратное утверждение. Между формулами A \Leftarrow B означает, что из B следует A. Для длинного варианта с отступами между полными утверждениями \impliedby даёт \Longleftarrow с дополнительным пробелом, симметрично \implies. Следите, чтобы при беглом чтении \Leftarrow не путали с \leq: некоторые читатели неверно распознают форму. В текстах по логике чаще переставляют части так, чтобы использовать стрелку вправо, поэтому оставьте \Leftarrow для обратных направлений.

Также в разделах: Логика и доказательства

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

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Left Arrow (Double): $\Leftarrow$

\[ (\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.} \]
\end{document}

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

• Двойная стрелка вправо\Rightarrow
• Стрелка вниз\downarrow
• Двойная стрелка вверх\Uparrow
• Длинная стрелка вправо\longrightarrow
• Длинная двойная стрелка влево\Longleftarrow
• Длинная стрелка влево\longleftarrow

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

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

Наберите \Leftarrow в математическом режиме, например $(\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.}$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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