ВозобновлениеИспользуете ли вы \colon или : в формулах?иЗадайте нотацию: \colon против :, давайте заглянем в TeXbook Кнута на стр. 174:
$\{\,x\mid x>5\,\}$ { x | x > 5 }
$\{\,x:x>5\,\}$ { x : x > 5 }
А на стр. 438 мы видим:
f : A → B $f\colon A\rightarrow B$
L(a, b; c: x, y; z) $L(a,b;c\colon x,y;z)$
В кратком математическом руководстве AMS для LaTeX говорится (стр. 12): «Эта команда \colonсоздает специальные интервалы для использования в таких конструкциях, как f\colon A\to Bf : A → B».
Подводя итог, можно сказать, что в этих работах рекомендуется использовать разные команды для двоеточия (т. е. использовать разные интервалы) в { x : x > 5 } и в f : A → B.
Теперь предположим, что вы используете двоеточие (с любым интервалом, созданным любой командой) в качестве разделителя внутри терминов класса (например, потому что вертикальная черта | или точка ⦁ активно используются для других целей). Чисто синтаксически термин «{ x : p }» является конструкцией связывания переменных: фигурные скобки являются связующим элементом переменной, а двоеточие — разделителем. Термин принадлежит по формуле к тому же классу, что и «∀ x ⦁ p» / «∀ x : p», где квантификатор является связующим элементом переменной, а точка / двоеточие — разделителем, или как «λ x. p», где маленькая лямбда является связующим элементом переменной, а точка — разделителем. Поэтому слишком логично, что все эти термины набраны одинаково, что противоречит TeXbook Кнута. Но это, IMHO, нарушит традицию: я никогда не видел одинакового интервала вокруг разделителя во всех трех терминах в одном тексте. Теперь, если вы все еще делаете этонастаиватьотносительно согласованности, какой интервал вы бы выбрали и как бы вы это реализовали?
Некоторые тесты (частично бессмысленные):
\documentclass{article}
\pagestyle{empty}
\usepackage{amssymb}
\begin{document}\noindent
\(\{\,x\in\mathrm{Nat}\mathpunct{:} p\,\}\)\\
\(\forall\, x\in\mathrm{Nat}\mathpunct{:} p\)\\
\(\mathrm{\lambda}\, x\in\mathrm{Nat}\mathpunct{.} p\)\\\\
\(\{\,x\in\mathrm{Nat}\mathrel{:} p\,\}\)\\
\(\forall\, x\in\mathrm{Nat}\mathrel{:} p\)\\
\(\mathrm{\lambda}\, x\in\mathrm{Nat}\mathrel{.} p\)\\\\
\(\{\,x\in\mathrm{Nat}\mathpunct{\colon} p\,\}\)\\
\(\forall\, x\in\mathrm{Nat}\mathpunct{:} p\)\\
\(\mathrm{\lambda}\, x\in\mathrm{Nat}\mathpunct{.} p\)\\\\
\(\{\,x\in\mathrm{Nat}\mathrel{\colon} p\,\}\)\\
\(\forall\, x\in\mathrm{Nat}\mathrel{:} p\)\\
\(\mathrm{\lambda}\, x\in\mathrm{Nat}\mathrel{.} p\)
\end{document}
