排版下标：哪一个是正确的？

Question

正确在这里是一个相对的概念。它们会给你不同的结果。如果你读过 TeXbook，那么 Don Knuth 显然打算让输入语法尽可能简洁，也就是说，我认为在大多数情况下，他会坚持认为这 $p_1$ 是应该使用的输入。

但是，正如前面提到的，它们会产生不同的输出，因为^{}被视为现有的上标（a{}确实会产生 Ord 数学原子），然后下标的位置会略有改变。因此，在以下情况下

$p_1 = q_1^2$

1 在页会比 1 稍微高一点问。如果这让你感到困扰，那么你可以通过使用空的上标来欺骗 TeX 规则，使其认为存在上标，即通过

$p_1^{} = q_1^2$

但是，当真实的上标变得更加复杂时，这种方案就会失效，因为 TeX 需要进行更多的扩展，以避免上标和下标相互接触。例如，

$p_1^{} = q_1^{2_p}$

再次无法获得完全相同的高度，尽管它比第一个例子更不明显。

完美主义者解决这个问题的办法（如 @zunbeltz 的评论中所建议的）是使用来\vphantom生成一个 Ord 原子，它没有宽度，只有其参数的高度和深度。但当然公式的可读性会变得更差：

$p_1^{\vphantom{2_p}} = q_1^{2_p}$

如果使用上标和上标+下标，则可能或将需要相同类型的更正。

以下四个示例每个\hrule后面都有一些内容用于标出底部对齐的内容：

在此处输入图片描述

附言：我个人觉得，如果下标（或上标）在某些情况下改变垂直位置，我会感到有点不安，上面的例子中情况不是那么严重，但当它们看起来彼此非常接近时，例如在中 $a_1, b_2^2,c_3$ 。但 TeX 显然没有设置为让更改变得容易，即使^{}在这种情况下打字也会使输入的可读性降低。所以除非你在印刷品中看到它时真的跳进你的眼里，否则我不会反对它。

有一种方法可以通过改变某些数学字体的字体参数来默认将下标放置在较低的位置（参见 TeXbook），但这也是一个值得怀疑的解决方案，因为通常默认放置看起来更好。

Answer 1