在数学模式中使用冒号 ( :) 时，它总是与其两侧的对象等距显示。
观察这一点例如排版时$(a:b)$。
如果改用$(a \colon b)$，冒号更接近A，就像在普通写作中一样。
另一方面，如果排版$(a;b)$，会发现分号在A和b，但更接近于A，与\colon上面的命令一样。
所以我的问题是：是否有一个命令可以创建一个与其两侧对象等距的分号，就像:？一样
答案1
LaTeX 继承了一组普通的 TeX 命令，这些命令可让您在数学模式下更改每个字符的“类别”。各种类别决定了 TeX 引擎如何在公式中插入空格。
共有 8 个类别：
- 0 = 普通
\ - 1 = 大型运营商
\sum - 2 = 二元运算符
+ - 3 = 关系
= - 4 = 开场
( - 5 = 结束
) - 6 = 标点符号
, - 7 = 变量
我认为;默认情况下是标点符号，但您可以使其表现得像二元运算符\mathbin{;}或像关系一样\mathrel{;}。
前7个类对应的命令为：\mathord、、、、、、和。\mathop\mathbin\mathrel\mathopen\mathclose\mathpunct
更多信息请参阅 TexBook，第 155 页。