答案1
答案2
答案3
有必要了解一下数学模式中的间距是如何工作的。数学模式中的每个字符都被赋予一个类。有 ord 符号(大多数符号)、二元运算符(+、-、\cdot
等)、关系、开和闭。
在这种情况下,我们处理的是出现在两个普通符号之间的二元运算符。在这种情况下,它会被隔开,就像我们写的那样A+b其中 | 的两个实例就像A和bwhile\cdot
充当 +。但是在公式的开头,二元运算符没有空格,因为它假定你正在编写类似 -2 的内容,其中 - 和 2 之间不应该有空格。¹
原因是\abs{\cdot}
有效,是因为它将封闭的 | 变成了一个开始和一个结束。它们与普通符号具有相同的间距,但有一个关键区别:在开始之后或结束之前,我们没有获得二进制运算的间距,因此我们可以写出诸如 (-X+ 1)并得到正确的间距。²
另一方面,书写会{\cdot}
有效地抹去二元运算符的状态\cdot
(将任何内容括在括号中会导致整个内容被视为单个普通符号,以用于分隔。空括号是不可见的无大小的普通符号,用于书写如下方{} + 3
脚注 1 中提到的东西)。
- 这也是为什么在编写多行显示时,要
{}
在行首放置二进制运算的原因。 - 我从未见过这样的表达(A-) 在我读过的任何内容中,但在这种情况下也没有围绕减号的 bin 操作间距。