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

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

Рисует короткую двойную стрелку с двумя наконечниками для логической равносильности формул.

\Leftrightarrow утверждает, что две формулы влекут друг друга, как в A \Leftrightarrow B. Для равносильности полных утверждений в выключных формулах \iff даёт более длинную \Longleftrightarrow с дополнительными интервалами. В булевой алгебре она обозначает XNOR или бикондиционал. В цепочках равносильных уравнений столбец \Leftrightarrow, выровненный с помощью align, — частый приём в решебниках. Не путайте её с \equiv, который выражает тождество или сравнимость, а не логическую равносильность. Пишите её только тогда, когда каждый шаг действительно обратим: например, возведение обеих частей в квадрат нарушает равносильность.

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

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

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

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

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

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

• Длинная двойная двусторонняя стрелка\Longleftrightarrow
• Стрелка вверх-вниз\updownarrow
• Двойная стрелка вверх-вниз\Updownarrow
• Длинная двусторонняя стрелка\longleftrightarrow
• Стрелка отображения\mapsto
• Двусторонняя стрелка\leftrightarrow

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

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

Наберите \Leftrightarrow в математическом режиме, например $2x + 3 = 7 \Leftrightarrow 2x = 4 \Leftrightarrow x = 2$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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