如何防止数学符号改变其类型[关系、运算符等]并修改周围的空间?

如何防止数学符号改变其类型[关系、运算符等]并修改周围的空间?

通常,我们取 \leq:

\documentclass{article}

\begin{document}
    \[     \leq \simeq \leq_A \sim  \leq_B     \]

    \[         \leq \simeq {\leq_A} \sim  {\leq_B}     \]

\end{document}

并且看到,当我们在两个 \sim 上放置子字母时,它们周围的空格就不被尊重了。为什么 tex 会这样做?如何防止这种情况发生,而不必在每个新符号周围加上括号或使用命令来定义 leq 进行输入?

答案1

由于所有符号都被视为关系,因此在间距方面\[ \leq \simeq \leq \sim \leq \]和都会导致类似的结果。\[ \leq \simeq \leq_A \sim \leq_B \]

将花括号括起来\leq_A,使其变为 {\leq_A},从而将{\leq_A}其类型从 切换mathrelmathord(参见\mathbin 和 \mathrel 之间有什么区别?);因此 LaTeX 会将其{\leq_A} \sim {\leq_B}视为任何普通符号,就像 一样a \sim b

具体怎么做取决于您输入的含义。如果您想在\leq_A\leq_B之间建立二元关系\sim(比如说:两个二元关系的等价性),就像a和之间的关系一样b,您需要将\leq_A和括\leq_B在花括号中,或者\mathord,如果您更经常需要它,请为此定义一个新命令。如果您想像\leq \simeq \leq_A \sim \leq_B一个庞大的关系一样工作,请保持原样。

相关内容