MathML上下标转换：结构归属怎样检查

MathML上下标转换 后，字母位置看起来接近原式，也可能存在归属错误。例如平方应作用于整个括号，却只挂在最后一个字母上。检查时应把“标记属于谁”单独列为任务，不能只凭上标出现在右上角就通过。

先在源式上圈定每个基底

取出一条含上下标的公式，逐个说清基底、下标内容和上标内容。对于带指标的变量，基底可能只是一个字母；对于括号中的和式，基底应包含整个分组。用自然语言读出这两种关系，往往比盯着密集源码更容易发现范围不一致。

例如下面的两个平方位置不同，含义也不同：

(a+b)^2 \qquad a+b^2

前者的平方针对括号中的和，后者只针对末尾字母。转换前先确认花括号与可见括号各自的作用，不要把只用于源码分组的花括号误当成结果里必须显示的符号。若源式本来就含糊，转出的结构也很难凭外观修正。

把有代表性的式子分成单层上下标、同一基底同时带上下标、嵌套分式三类，各留一个样例。后续按类别核对，比只检查大量相似的简单下标更能覆盖真实问题。

在标记层级中找出承载节点

查看 MathML 文件时，msub 用于下标结构，msup 用于上标结构，msubsup 同时承载两者。检查它们的基底子项是什么，再看相应的标记内容。基底可以是完整分组，不一定是紧挨上标的最后一个字符。

同一变量同时有上下标时，要区分并列挂在基底上与上标挂在下标表达式上。这两种树形关系有时在小字号下很像，放大显示仍不能完全替代层级检查。可用支持结构查看的编辑器展开节点，逐层读出基底和标记，而不是仅搜索数字出现了几次。

分式中若分子带平方，应确认上标节点位于分子那一支；若整个分式平方，上标节点应包住分式作为基底。先确定外层运算，再向内部检查，每向下一层都问一次当前上标修饰谁，能减少在嵌套结构中看错层级的情况。

发现错挂后回源式改分组

看到错误归属时，记录出问题的基底与上标位置，再对照源代码分组。优先在源式中明确范围后重新转换，这样后来更新公式仍能产生一致的结果。只在成品中手工挪动字形，可能让显示暂时正常，却保留错误结构。

有些额外的分组节点只是排版组织，并不自动代表含义改变。应比较它们是否改变上下标的附着对象，而不是要求所有输出文件的节点数量完全一样。检查重点是基底范围和内容顺序，不是追求文本逐字符相同。

把视觉预览与结构复核接起来

本站提供 LaTeX 双模式编辑，可以先确认源式的可见括号和上下标位置；MathML 文件可从导出菜单取得，需登录与会员，并在预览模式下执行。之后应在实际使用 MathML 的目标系统中打开，再核对节点关系。

若面向辅助阅读，还可用目标阅读工具尝试逐层导航，听取或查看它对基底和标记的处理。不同工具的表达方式可能不同，应结合源式含义判断。显示清楚与结构合理各有检查价值，两项都确认后，再处理同类公式的其余条目。

延伸阅读

• LaTeX 转 MathML：了解结构化公式的使用场景。
• MathML公式语义：进一步核对分式、分组与矩阵的层级。