\dots=\bot 在 mathtools/amsmath 中的行为与在纯 LaTeX 中不同

Question

考虑以下输入：

\documentclass{standalone}
\usepackage{mathtools}%%% culprit. Same with amsmath
\begin{document}
The formulas of the form \(\dots=\bot\) and \(\bot=\dots\) can be simplified to \(\neg\mathrm{defined}(\dots)\).
\end{document}

众所周知，等式是可交换的：

具体来说，第一个省略号是垂直居中，而第二个省略号位于基线。为什么？哪个心智健全的人会根据等式的一边而以不同的方式呈现它们？如果没有 mathtools（也没有 amsmath），这两个省略号的位置都会降低。我不太在意使用了哪种变体，但我在意示例中的前两个省略号看起来相同，因为它们的含义相同。哪种变体在印刷上更易于阅读？amsmath（amsldoc）的文档没有提到等号，所以我会想到\dotsb和\dotso。在上述上下文中应该使用哪一个（些）以及为什么？

Answer 1

按您的喜好定义\lellipsis并使用它：

\documentclass{article}
\usepackage{geometry} % just to avoid an overfull box in the example
\usepackage{amsmath}

\newcommand{\lellipsis}{{\cdots}}

\begin{document}

The formulas of the form \(\lellipsis=\bot\) and \(\bot=\lellipsis\)
can be simplified to \(\neg\operatorname{defined}(\lellipsis)\).

\end{document}

不对称的原因是，使用 时amsmath，\dots会查找后面的内容，以便根据上下文打印最理想的点（低点或居中点）。 在您的例子中，您希望独立于上下文，并且使符号变得普通，而不是标点符号，因此需要额外的括号。