Тогда и только тогда в LaTeX (\iff)

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

Записывает длинную двустороннюю двойную стрелку логической равносильности, читается «тогда и только тогда».

\iff даёт \Longleftrightarrow с дополнительными широкими пробелами с обеих сторон. Она соединяет два утверждения, влекущих друг друга, как в теореме n \text{ чётно} \iff n^2 \text{ чётно}. В текстах по логике для бикондиционала внутри формул часто предпочитают \leftrightarrow или \Leftrightarrow, оставляя \iff для утверждений в тексте. Из-за этих отступов \iff выглядит слишком разреженно в компактных индексах или условиях в фигурных скобках при задании множества. Не путайте её с \equiv, который означает тождественное равенство или сравнимость по модулю n.

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

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

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

\documentclass{article}
\begin{document}
If and Only If: $\iff$

\[ A \subseteq B \iff A \cap B = A \]
\end{document}

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

• Квантор всеобщности\forall
• Следование\implies
• Квантор существования\exists
• Больше или равно\geq
• Принадлежность\in
• Меньше или равно\leq

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

Как написать «Тогда и только тогда» в LaTeX?

Наберите \iff в математическом режиме, например $A \subseteq B \iff A \cap B = A$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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