☰

哪些 \dots_ 变体与 \times 匹配？

tag-icon • tag-icon math-mode amsmath ellipsis mathematics
哪些 \dots_ 变体与 \times 匹配？

假设你写了如下内容

f\colon A_1 \times \dots \times A_n \to A_{n+1}

它声明了一个函数，分别f接受 n 个类型为 的参数，并返回一个类型为 的值。打印输出大致如下：A_1A_nA_{n+1}

f: A₁ ×⋯ × Aₙ → Aₙ₊₁

不同符号和斜体拉丁字母之间的间距稍微更舒适一些。

我们知道 AMS 宏\dots试图自动排版出视觉上令人愉悦的“正确”省略号。现在，如果您希望手动执行此操作（例如，因为您有一些格式化命令打包了所有符号，或者因为您希望拥有语义更丰富的文档），那么这里应该使用哪种省略号：\dotsm或\dotsb？

答案1

来自amsmath 文档（部分4.3 点)：

对于省略号（凸起或在线）在不同语境中的首选位置，没有普遍的共识。因此，这可以被视为个人喜好问题。通过使用语义导向命令

  • \dotsc表示“带逗号的点”
  • \dotsb对于“带二元运算符/关系的点”
  • \dotsm对于“乘法点”
  • \dotsi表示“带积分的点”
  • \dotso对于“其他点”（以上都不是）

而不是\ldots和\cdots，[...]

因此，如果您希望手动使用\dots_规范，那么\dotsb将在您的案例中使用，因为\times是二元关系。如果您删除并使用，\dotsm将会被使用\times

f \colon A_1 \dots A_n \to A_{n+1}

和应该表示通过\dots元素之间的隐式乘法。A_1A_n

以下是不同用途的示意图：

enter image description here

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\verb|\dots |:  $f \colon A_1 \times \dots \times A_n \to A_{n+1}$

\verb|\dotsb|: $f \colon A_1 \times \dotsb \times A_n \to A_{n+1}$

\verb|\dotsm|: $f \colon A_1 \times \dotsm \times A_n \to A_{n+1}$

\verb|\dots |:  $f \colon A_1 \dots A_n \to A_{n+1}$

\verb|\dotsb|: $f \colon A_1 \dotsb A_n \to A_{n+1}$

\verb|\dotsm|: $f \colon A_1 \dotsm A_n \to A_{n+1}$

\end{document}

很明显，\dotsb并\dotsm产生类似的输出 -他们\let都是\cdots但在不同的语境下，\dots打印方式有所不同。

相关内容