Запись множества через условие в LaTeX (\{ x \mid P(x) \})

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

Запись множества через условие: множество всех x, для которых выполняется свойство P(x), записанное в фигурных скобках с разделителем.

В математическом режиме фигурные скобки нужно экранировать как \{ и \}, иначе они лишь группируют и исчезают из вывода. \mid — отношение, поэтому получает правильные пробелы с обеих сторон, в отличие от голой |, которая является обычным символом и теснит буквы. Если условие содержит дроби или высокие элементы, масштабируйте всё вместе: \left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}. Двоеточие не хуже подходит в качестве разделителя и избавляет от путаницы, когда в самом условии есть модули.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Set Builder: $\{ x \mid P(x) \}$

\[ \{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1) \]
\end{document}

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

• Утверждение с вложенными кванторами\forall x \exists y : P(x, y)
• Двоеточие «такой, что»:
• Вертикальная черта условия\mid
• Квантор существования по множеству\exists x \in A
• Квантор всеобщности по множеству\forall x \in A
• Квантор существования по x\exists x

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

Как написать «Запись множества через условие» в LaTeX?

Наберите \{ x \mid P(x) \} в математическом режиме, например $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для \{ x \mid P(x) \}?

Никакой. \{ x \mid P(x) \} входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать \{ x \mid P(x) \} в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\{ x \mid P(x) \}$.