书写时${\dot X^a}^b$出现非常神秘的“双上标”错误：这已经得到解释这里在这个论坛上：原因是{\dot X}^a会生成一个 Acc 原子，而且，出于只有 Knuth 知道的原因，在单个 Acc 原子周围加上括号并不能像对 Ord 原子那样将其变成 Ord 核任何其他数学列表（参见上述主题中引用的 TeXbook 第 291 页，¶5）。
现在，我想知道的是为什么$\mathord{\dot X^a}^b$（或者，就此而言${\mathord{\dot X}^a}^b$）没有更好地工作：与简单分组不同，\mathord不应该对单个 Acc 原子有任何奇怪的例外，至少如果我相信 TeXbook（下面只有两段）的话。
它很简单，可以解决（$\mathord{{}\dot X^a}^b$有效，或简单${{}\dot X^a}^b$），当然无论如何都不应该写这种东西，但我想知道的是：这算不算 TeX 中的一个错误？我能从 Knuth 那里赢得 327.68 美元的支票吗 ;-)，或者在 TeXbook 或其他地方是否有一些细则解释了它\mathord应该如何工作？
答案1
恐怕你已经发现它\mathord{<math>}与 完全相同{<math>}。另请参阅模块 1186，其中tex.web描述了 Acc 原子周围的“括号移除”：
1186现在我们终于可以看看当数学公式中出现右括号时会发生什么。这里简化了两种特殊情况：当括号围绕单个没有下标/上标的 Ord 时，或者当括号围绕作为 Ord 原子核心的重音符号时，括号会被有效删除。