Квантор всеобщности в LaTeX (\forall)

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

Даёт квантор всеобщности ∀, читается «для всех» или «для любого».

С \forall начинаются утверждения с квантором всеобщности, как в определении предела на языке эпсилон-дельта \forall \varepsilon > 0\ \exists \delta > 0. TeX считает его обычным символом, поэтому после связанной переменной пробел автоматически не ставится; добавьте \, или \ либо разделитель — двоеточие или точку, в зависимости от принятого соглашения. В доказательствах, написанных в основном словами, многие руководства по стилю советуют писать «для всех» словами, а не \forall. В типизированном лямбда-исчислении и теории типов он также вводит полиморфные типы, например \forall \alpha.\, \alpha \to \alpha.

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

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

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

\documentclass{article}
\begin{document}
For All: $\forall$

\[ \forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \]
\end{document}

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

• Квантор существования\exists
• Тогда и только тогда\iff
• Принадлежность\in
• Следование\implies
• Непринадлежность\notin
• Больше или равно\geq

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

Как написать «Квантор всеобщности» в LaTeX?

Наберите \forall в математическом режиме, например $\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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