Двоеточие «такой, что» в LaTeX (:)

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

Двоеточие, читаемое как «такой, что» в утверждениях с кванторами и в записи множеств через условие, отделяет переменную от её условия.

В математическом режиме обычное двоеточие считается отношением и получает равные широкие пробелы с обеих сторон, что подходит для \{x : x > 0\} и \forall x : P(x). Для сигнатуры функции используйте \colon, у которого пунктуационные интервалы: f\colon A \to B выглядит правильно, а f : A \to B оставляет зазор перед двоеточием. В определениях знак :=, составленный из двух символов, может выглядеть смещённым по вертикали; это исправляет специальный символ определения из пакета расширений. Некоторые авторы предпочитают \mid или вертикальную черту в записи множеств; выберите один вариант и придерживайтесь его.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Such That (Colon): $:$

\[ \{ n \in \mathbb{Z} : n^2 < 10 \} \]
\end{document}

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

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

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

Как написать «Двоеточие «такой, что»» в LaTeX?

Наберите : в математическом режиме, например $\{ n \in \mathbb{Z} : n^2 < 10 \}$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

В обоих. : компилируется и в тексте, и внутри $...$; в формуле оставляйте её в математическом режиме ради математических шрифтов и интервалов.