LaTeX2e 项目中的 equation 环境与 latexrelease 兼容性问题分析

问题背景

在 LaTeX2e 项目中，当用户使用 equation 环境并同时指定 latexrelease 日期在 2023-06-01 至 2024-06-01 之间时，会出现 TeX 容量超出的错误。这个问题表现为系统提示"! TeX capacity exceeded, sorry [input stack size=10000]"的错误信息。

问题现象

具体表现为：

• 使用 equation 环境时出现堆栈溢出错误
• 仅在使用 latexrelease 指定 2023-06-01 至 2024-06-01 之间的日期时出现
• 使用更早(2022-11-01 或之前)或更晚(2024-11-01 或之后)的日期则不会出现此问题

技术分析

这个问题源于 LaTeX 内核中对 \eqno 和 \leqno 命令的处理方式变更。在 2023/06/01 版本中，LaTeX 团队为这些命令添加了忽略空格的功能，但这一改动意外导致了递归调用的问题。

核心问题在于：

1. 新版本中 \eqno 和 \leqno 被重新定义为非原始命令
2. 这些重新定义的命令又调用了自身，形成了无限递归
3. 最终导致 TeX 的输入堆栈被耗尽

解决方案

LaTeX 开发团队提供了两种解决方案：

临时解决方案

用户可以手动修改 latexrelease.sty 文件，注释掉相关代码块：

\IncludeInRelease{2023/06/01}%
                 {\eqno}{add ignorespaces to eqno}%
%\let\@kernel@eqno\eqno
%\let\@kernel@leqno\leqno

永久解决方案

更彻底的解决方案是将 \@kernel@eqno 和 \@kernel@leqno 直接设置为原始命令。这种方法确保了无论何时调用这些命令，都会使用 TeX 的原始实现，避免了递归问题。

技术建议

对于 LaTeX 用户遇到类似问题时，建议：

1. 首先确认是否使用了特定版本的 latexrelease
2. 尝试回退到更早或更新版本的 latexrelease 进行测试
3. 关注 LaTeX 官方更新，及时获取修复补丁

对于 LaTeX 开发者而言，这个案例提醒我们在重新定义核心命令时需要特别注意递归调用的风险，特别是在处理数学环境相关的底层命令时。

总结

这个问题展示了 LaTeX 内核开发中版本兼容性的重要性，也体现了 LaTeX 团队对用户反馈的快速响应。通过这个案例，我们可以看到即使是看似简单的命令重定义，也可能因为复杂的调用关系而产生意想不到的问题。对于用户来说，保持 LaTeX 系统更新是避免此类问题的最佳实践。