Равенство по определению в LaTeX (:=)

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

Двоеточие-равно, присваивание по определению: левая часть по определению равна правой.

Запись f(x) := x^2 + 1 обозначает определение, а не утверждение о равенстве, причём двоеточие стоит со стороны определяемого объекта (=: меняет направление). При прямом наборе и двоеточие, и знак равенства являются отношениями, поэтому TeX ставит их без пробела между ними, но двоеточие не центрировано по вертикали относительно знака равенства, что смущает некоторых типографов. Команда \coloneqq из пакета математических инструментов исправляет это выравнивание. В псевдокоде он обозначает также присваивание, x := x + 1. Альтернативы — \triangleq и \stackrel{\text{def}}{=}.

Также в разделах: Информатика

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

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

\documentclass{article}
\begin{document}
Defined As: $:=$

\[ \|f\|_{\infty} := \sup_{x \in X} |f(x)| \]
\end{document}

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

• Знак равенства с треугольником\triangleq
• Асимптотическая эквивалентность (один порядок)\asymp
• Нестрогое следование\succeq
• Нестрогое предшествование\preceq
• Строгое следование\succ
• Строгое предшествование\prec

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

Как написать «Равенство по определению» в LaTeX?

Наберите := в математическом режиме, например $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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