LaTeX2e 项目中的 `firstaid` 补丁与 `cleveref` 引用问题解析

问题背景

在 LaTeX 文档排版中，数学公式的交叉引用是一个常见需求。amsmath 宏包提供了 \tag 命令，允许用户为公式指定自定义标签，而 cleveref 宏包则提供了智能的交叉引用功能。然而，近期 firstaid 补丁包更新至 1.1g 版本后，用户发现使用 cleveref 引用带 \tag 的公式时出现了异常。

问题现象

当用户在 equation 环境中使用 \tag 命令自定义公式标签，并通过 cleveref 引用时，引用结果显示为"eq. (0)"而非预期的自定义标签。例如：

\documentclass{article}
\usepackage{amsmath,cleveref}
\begin{document}
\cref{eq:a}
\begin{equation}\tag{$*$}\label{eq:a}
  a
\end{equation}
\end{document}

预期输出应为"eq. (*)"，但实际输出为"eq. (0)"。

技术分析

根本原因

这一问题源于 firstaid 补丁包对 cleveref 宏包的修改。补丁包在 label 钩子中添加了处理逻辑，导致对带 \tag 的公式引用时，cleveref 无法正确识别自定义标签。

深层机制

1. amsmath 的 \tag 机制：\tag 命令会覆盖公式的自动编号，但原始编号信息仍保留在内部数据结构中。

2. cleveref 的引用机制：cleveref 通过分析 LaTeX 的标签系统来生成智能引用，需要正确识别公式的实际显示标签。

3. firstaid 的干预：补丁包修改了标签处理流程，导致 cleveref 获取的是公式的内部编号而非显示标签。

解决方案

临时解决方案

对于简单文档，可以使用 equation* 环境替代 equation 环境：

\begin{equation*}\tag{$*$}\label{eq:a}
  a
\end{equation*}

官方修复方案

开发团队已提交修复补丁，通过检测 \iftag@ 条件来正确处理带 \tag 的公式引用：

\makeatletter
\RemoveFromHook{label}[firstaid/cleveref]
\ExplSyntaxOn
 \newif\iftag@ \tag@false %if amsmath is not loaded
 \AddToHook{label}[firstaid/cleveref]
         {%
          \ifx
           \@currentcounter\@empty
          \else
          \iftag@\else
           \firstaid@cref@updatelabeldata{\@currentcounter}%
          \fi 
          \fi}
\ExplSyntaxOff          
\makeatother

最佳实践建议

1. 当使用 \tag 时，优先考虑 equation* 环境而非 equation 环境
2. 在复杂文档结构中（如列表内的公式），注意测试引用是否正确
3. 及时更新 LaTeX 发行版以获取官方修复

技术延伸

hyperref 兼容性问题

值得注意的是，即使在修复此问题后，hyperref 宏包与带 \tag 的 equation 环境仍存在兼容性问题。这种情况下，点击引用可能跳转到错误位置。这是 amsmath 和 hyperref 交互的长期问题，建议用户：

1. 在需要 \tag 时使用 equation* 环境
2. 避免在 equation 环境中使用 \tag 命令

文档结构影响

在列表等环境中引用带 \tag 的公式时，即使使用 equation* 也可能遇到引用格式问题。这需要额外注意测试和可能的样式调整。

结论

这一问题展示了 LaTeX 宏包间复杂交互可能导致的意外行为。通过理解各宏包的工作原理和相互作用，用户可以更好地诊断和解决类似问题。开发团队的快速响应也体现了 LaTeX 社区的活跃维护状态。建议用户关注官方更新，并遵循最佳实践来确保文档稳定性。