函数符号中冒号周围的间距是多少？

Question

对于函数的 f: X -> Y 符号中，是否存在一些标准来规定优先使用哪个间距？

有三种可能：

$f \colon X \to Y$
\\
$f: X \to Y$
\\
$f \mathpunct{:} X \to Y$

相应的输出如下所示：

Answer 1

TeXbook，第 16 章，第 134 页：

如果您希望将“：”字符视为标点符号而不是关系，只需将其称为 \colon：

$f:A\到 B$

$f\colon A\to B$

因此不应该有:，但是\colon。