LaTeX2e项目中`\dots`与`\cong`符号的交互问题解析

在LaTeX2e项目的数学排版中，\dots命令的智能行为是一个非常有用的特性——它能够根据上下文自动选择居中(\cdots)或底部(\ldots)的省略号。然而，用户发现当\dots后面跟随\cong符号时，这一智能行为失效了。

问题现象

当使用\dots连接两个\equiv符号时，LaTeX能正确显示居中的省略号。但当连接两个\cong符号时，却显示为底部对齐的省略号，这与数学排版惯例不符。

技术分析

这一问题的根源在于\cong命令的定义方式。在amsmath包中，许多数学运算符都使用了\DOTSB宏来帮助\dots判断上下文。但\cong作为LaTeX内核命令，其定义为：

\DeclareRobustCommand{\cong}{\mathrel{\mathpalette\@vereq\sim}}

这种定义方式导致\dots无法正确识别\cong的数学关系属性。具体来说：

1. \DeclareRobustCommand生成的命令具有保护机制
2. 保护机制阻碍了\dots对后续命令的解析
3. 无法检测到\mathrel属性，导致默认使用底部对齐的省略号

解决方案探讨

开发团队讨论了多种解决方案：

1. 简单方案：将\DOTSB移出保护范围，但这可能影响命令的健壮性

2. 改进解析逻辑：增强\dots对保护命令的解析能力，使其能识别\protected\def定义的命令

3. 全面支持保护命令：不仅处理\protected\def，还要处理\DeclareRobustCommand生成的\protect\command形式

最终采用的方案是第三种，通过修改\dots的解析逻辑，使其能够：

• 跳过\protect前缀
• 识别被保护命令的实际定义
• 正确判断数学关系属性

实现细节

关键修改是在解析命令含义时增加对保护机制的处理：

\def\stripprotect@#1#2\stripprotect@#3{
  \ifx#1\protect
    \meaning#2
  \else
    \meaning#3
  \fi. }

这一修改使得\dots能够：

1. 检测到命令是否被\protect保护
2. 获取被保护命令的实际定义
3. 根据实际定义判断省略号的对齐方式

影响范围

这一修改不仅解决了\cong的问题，还改善了所有使用\DeclareRobustCommand定义的数学符号与\dots的交互行为，包括：

• 核心LaTeX定义的稳健命令
• 第三方包定义的数学符号
• 用户自定义的稳健数学命令

用户建议

对于需要使用\dots连接数学符号的情况，建议：

1. 优先使用amsmath包提供的符号定义
2. 自定义数学符号时，考虑使用\DOTSB宏
3. 遇到类似问题时，可临时使用\cdots或\ldots明确指定省略号样式

这一改进已包含在LaTeX2e的最新开发版本中，将显著提升数学排版中省略号的智能表现。