\ 的行为在文本和数学模式下均有效

Question

该命令\,可以在文本和数学模式下使用，其行为相同。好吧，这并不完全正确，我可以给出一个精彩的证明，但评论太短了，无法包含它。---@egreg

上述评论由@egreg在回答我发布了。由于评论太长，有人能详细说明一下吗？

Answer 1

\,我们看一下内核中的定义：

% latex.ltx, line 1304:
\DeclareRobustCommand{\,}{%
   \relax\ifmmode\mskip\thinmuskip\else\thinspace\fi
}

现在我们看一下\thinspace：

% latex.ltx, line 1315:
\def\thinspace{\kern .16667em }

因此在文本模式下使用 kern；kern 几乎就像胶水一样，但永远不会用作换行点，除非它后面跟着胶水（TeXbook，第 75 页，第一个危险弯曲的结束），而且不能拉伸或收缩。因此A\,B永远不会跨行断行，但A\, B可以。

请注意.16667em是 1/6 em（在当前字体中）。通常\thinmuskip设置为3mu，因此它是符号字体中的 1/6 em，这可能与当前文本字体中的 em 相同，但不一定。当然，如果 的值\thinmuskip发生变化，该命令将在文本和数学模式下给出完全不同的结果。

构造\mskip\thinmuskip是原始的。A\thinmuskip用于运算符和普通符号之间以及其他一些情况下。