在数学模式中，什么时候使用 ~ 而不是 \, 比较合适？

Question

~在数学模式中，可以使用波浪号 ( ) 或逗号命令 ( )插入空格\,。

例如：

W=\{x,y~|~x+y=3\}
% or
W=\{x,y\,|\,x+y=3\}

这两种方式一般都会被人反对吗？这主要只是一种风格上的差异吗？什么时候应该使用波浪号而不是逗号命令？

Answer 1

在 TeXbook 中，Knuth 提倡将手头的表达写为“neither \,|\,nor” 。考虑到（双关语）该符号将被大声读为“given that”，它是一个关系运算符（在 TeX 术语中），因此应该用“thickspace”包围。（模式“mathrel”的其他对象是、和。）PlainTeX 和 LaTeX 都提供了宏来满足这种特殊的排版目的。~|~|=<>\mid

事实上，TeXbook 建议将方程写为

W=\{ \, x,y \mid x+y=3 \, \}

遵守薄空间指令里面打开和关闭花括号——除了\mid。