$\underbrace{\text{影响间距}}$

APPSYZY

1. \documentclass{article}
3. \begin{document}
5. $(x\in A\land x\in B) \lor
6.     (x\in A\land x\in C).$
8. $\underbrace{(x\in A\land x\in B)}_{(1)} \lor
9.     \underbrace{(x\in A\land x\in C)}_{(2)}.$
11. \end{document}

复制代码

加上 \underbrace 之后，出现了两个问题：$\lor$ 两侧的间距变小了，而 $)$ 与 $.$ 的间距变大了。这是为什么呢？如何消除这些副作用？请教大家。

kuing

十年前我就发现了这个细节：
kuing.cjhb.site/forum.php?mod=viewthread&tid=2211

当年没解释，解释也容易：
为了让 \underbrace 的下标能放到正下方，它将整块套了一个 \mathop{...}\limits ，
（\overbrace 也是，具体代码可以 source2e.pdf 里找到）
所以整块就是一个巨算符（类似于 `\sum` 那种），
巨算符和运算符之间的间距就是小间距，就像 `\sum+1` 和 `1+1` 的区别。
后面的点也是这个道理。

解决办法就是链接里那样，往外再套一层 { } 即可。

kuing

实验一下：

1. $00+0+0$
2. vs
3. $\mathop{00}+0+0$

复制代码

1. $AA.$
2. vs
3. $\mathop{AA}.$

复制代码

另外，既然整块是 \mathop{...}\limits ，那就算在 $\underbrace{...}$ 后用上标，也会放在正上方，而不是右上角：
$\underbrace{(a+a+a)}^3$：

除非加个 \nolimits：
$\underbrace{(a+a+a)}\nolimits^3$：