我在乳胶中定义布尔代数，并且需要在空格上划线以引入 NOT 运算符。
这是我使用的乳胶代码
$$\mathcal{A} = (\mathcal{B},+,\cdot, \overline{ })$$
问题在于，它不显示上划线的空白，而是什么也不显示，就好像没有上划线一样。
编辑：我刚刚尝试\overline{}用替换\overline{\ }，出现了上划线，但高度不对。它看起来更像是下划线而不是上划线。
结果如下：
答案1
您\overline{<text>}将获得一条同时调整了宽度和高度的上划线<text>。因此\overline{}不会产生任何结果，但\overline{\ }会将上划线放在没有高度的项目上。
使用\overline{\phantom{x}}您可以克服这两个问题。
一个对比：
\documentclass{article}
\begin{document}
\begin{tabular}{lc}
\verb|\overline{}| & $x\overline{}x$ \\
\verb|\overline{\ }| & $x\overline{\ }x$ \\
\verb|\overline{\phantom{x}}| & $x\overline{\phantom{x}}x$ \\
\end{tabular}
\end{document}
当然，如果你定义一个命令就更好了，例如
\newcommand{\overblank}{\overline{\phantom{x}}}