通常,我们取 \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}
其类型从 切换mathrel
为mathord
(参见\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
一个庞大的关系一样工作,请保持原样。