재개 중수식에 \콜론이나 :를 사용하시나요?그리고표기법 설정: \colon 대 :, 페이지에서 Knuth의 TeXbook을 살펴보겠습니다. 174:
$\{\,x\mid x>5\,\}$ { x | x > 5 }
$\{\,x:x>5\,\}$ { x : x > 5 }
그리고 p. 438 우리는 다음을 봅니다:
f : A → B $f\colon A\rightarrow B$
L(a, b; c: x, y; z) $L(a,b;c\colon x,y;z)$
LaTeX에 대한 AMS 짧은 수학 가이드에서는 다음과 같이 말합니다(p. 12). "이 명령은 f : A → B \colon와 같은 구성에 사용할 특별한 간격을 생성합니다. "f\colon A\to B
요약하면, 이 연구에서는 { x : x > 5 } 및 f : A → B에서 콜론에 대해 다른 명령을 사용하도록 조언합니다(즉, 다른 간격을 사용하려면).
이제 클래스 용어 내에서 구분 기호로 콜론(명령에 의해 생성된 공백 포함)을 사용한다고 가정해 보겠습니다(예: 수직 막대 | 또는 점 ⦁이 다른 목적으로 많이 사용되기 때문입니다). 순전히 구문적으로 "{ x : p }"라는 용어는 변수 바인딩 구성입니다. 중괄호는 변수 바인더이고 콜론은 구분 기호입니다. 이 용어는 공식적으로 “∀ x ⦁ p” / “∀ x : p”와 동일한 클래스에 속합니다. 여기서 수량자는 변수 바인더이고 스폿/콜론은 구분 기호이거나 “λ x. p”, 여기서 작은 람다는 가변 바인더이고 마침표는 구분 기호입니다. 따라서 이러한 모든 용어가 유사하게 조판되어 Knuth의 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}
