缺失的 {} 应该在哪里？

Question

当我写下这个等式时，出现缺少 {} 的错误：

A^{\overline^{\overline{B}}} = C

Latex 在 pdf 中正确生成了方程式，但它报告了这个错误。

错误：

Missing { inserted. A^{\overline^
Missing } inserted. \end{equation}

完整文档：

\documentclass{article}
 \usepackage{amsmath}
  \begin{document}
  \begin{equation}
  A^{\overline^{\overline{B}}} = C
   \end{equation}
    \end{document}

缺少的{}应该在哪里，为什么能正确生成pdf，却报错？

谢谢。

Answer 1

该\overline命令是带有强制参数的 TeX 原语math-field。它可以是{math-mode-material}或character或math-character。它们都不是^（因为character必须有类别代码 11 或 12 否则它就是一个\chardef标记），所以\overline^是 TeX 语法错误。

TeX 建议通过在错误消息{之前插入以下内容来恢复此错误：^

 ! Missing { inserted.
<to be read again> 
^
l.3 $$A^{\overline^
                 {\overline{B}}} = C$$
? 

因此输入流看起来像这样（错误恢复后）：

$$A^{\overline{^{\overline{B}}} = C$$

但是插入打开的组{在数学模式结束时没有关闭，因此 TeX 报告第二个错误：

! Missing } inserted.
<inserted text> 
}
<to be read again> 
$
l.3 $$A^{\overline^{\overline{B}}} = C$
                                     $
? 

现在，输入流如下所示：

$$A^{\overline{^{\overline{B}}} = C}$$

从语法上来说这是正确的，但这并不完全是你的本意。