数学公式中 $\forall x: $ 后面的正确间距是多少？

Question

我正在写数学书，我想知道如何正确地打印它们。我知道最重要的是整个文档的一致性，但我真正感兴趣的是受人尊敬的人和学会推荐的方法，例如 Knuth 或 AMS。

我已经问过了这个问题去寻找真相。

现在我正在编辑我的书。我来这里是为了问一个问题，以下变体之间的间距是正确的：

\begin{align}
&\exists m \in \bbR{:}\quad \forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR \mathpunct{:} \forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR : \forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR\colon \forall n \in \bbN\quad x_n \ge m.\\
\end{align}

就我个人而言，我喜欢第一个变体，但它看起来不太舒服，所以我不认为它被印刷工使用。

Answer 1

这里建议您~在 前面使用\forall。但是，如果采用这种方法，问题就变成了对冒号使用什么命令。

\begin{align}
&\exists m \in \bbR{:}\quad ~\forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR \mathpunct{:} ~\forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR : ~\forall n \in \bbN\quad x_n \ge m.\\
&\exists m \in \bbR\colon ~\forall n \in \bbN\quad x_n \ge m.\\
\end{align}