`\overline` 的意外行为

Question

从某种意义上说，这是内部封闭 内部封闭

我们可以看到\overline{\mathring{\overline{\mathring{A}}}}产生了第二行更短比第一个（内部）框更长。水平材料越多，框就越长，因此上面的线就越长。因为\overline是原始的，我现在无法访问它的定义。很难相信这可能是 TeX 中的错误，那么为什么上面的线会如此出乎意料地缩短呢？

Answer 1

数学

没有数学

\documentclass[]{article}

\usepackage{amsmath}
\begin{document} 

$\overline{\mathring{\overline{\mathring{A}}}}$ 

\bigskip

$\overline{\mathring{\overline{\mathring{{}A{}}}}}$ 

\end{document}

没有 amsmath上述两个示例产生的条形大小相同。amsmath数学重音符尝试更智能地允许斜体校正。但只有当基数是单个字符时它才能做到这一点。

Answer 2

希望这既可以看作是回答问题的尝试，也可以看作是对 David Carlisle 的回答的评论。我想说 amsmath 确实也为第二个重音符号补偿了斜体。在 amsmath 中，\mathring检查是否有嵌套的重音符号，如果有，则添加一些额外的（人工或临时的）空间，以便第二个环位于第一个环上方的中心。考虑以下代码：

\documentclass{article}
\let\defmathring\mathring
\usepackage{amsmath}
\begin{document}
\noindent
%%
$\mathring{\mathring{A}} \quad \defmathring{\defmathring{A}}$
%%
\newline\strut\newline
%%
$\overline{\mathring{A}} \quad \overline{\defmathring{A}}$
%%
\newline\strut\newline
%%
$\mathring{\overline{\mathring{A}}} \quad \defmathring{\overline{\defmathring{A}}}$
\end{document}

然后是amsmath 未加载时\defmathring的定义。\mathring

在输出的第一列中使用了 amsmath，在第二列中默认不使用 amsmath。在第一行中使用了两个环，如果加载了 amsmath，它们将对齐。在第三行中，\overline两个环之间添加了一个。由于存在嵌套环，因此下部环在右侧具有额外的宽度。这将使第二个环居中在其上方，但作为副作用，它也会使其\overline向右扩展。

第二行只显示一个带有 的环\overline。然后没有嵌套的重音符号，间距也没有改变。