LaTeX 公式自动纠错能查出什么，查不出什么

LaTeX 公式自动纠错 能否信任，要先看它检查的是哪一层。少了一个结束括号与把质量 m 写成另一个变量，虽然都是作者眼中的错误，工具面对的任务却不同。前者可能违反语法，后者完全可以构成一条合法公式，因此“没有报错”不能作为交稿验收标准。

报错提示主要寻找不完整的写法

括号不配对、命令拼写不被识别、环境没有正确结束，都是语法检查可能发现的问题。遇到提示时，应先定位最近改动的位置，检查结构的起止和参数数量，再查看是否使用了当前环境不认识的命令。

不同解析环境的覆盖范围并不相同。某个命令在完整文稿中依靠宏包定义，在单条公式预览中可能无法使用。这种报错不一定表示原式写错，也可能是环境缺少相应定义。处理前要确认命令的来源，不能盲目删掉它来换取正常显示。

还有一些错误不会触发提示。例如 x^12 可能没有按作者预期把两个数字共同作为指数；它仍是可解析写法，却不等于 x^{12}。因此，即使问题发生在分组层面，也不能期待所有漏写花括号的情况都会被自动抓住。

合法但不符原意需要作者判断

把不等号方向写反、将小写换成大写、让求和从零而不是一开始，都可能正常排版。解析器通常没有题目条件，也不知道原作者的定义，无法根据“能否显示”判断这些关系是否成立。

若工具提出自动修订，应把它看成候选方案。先看建议改变了哪几个字符，再确认有没有扩大根号范围、改变下标归属或替换某个符号。修完之后应重新读出数学含义，而不是只确认红色提示消失。

排查长公式可以逐段缩小范围：先留下最外层结构，再恢复各个参数。如果某个子式单独能显示，合回去却出错，就检查连接处的括号与环境边界。每次只改一类问题，并保留正确部分，避免连续试改后已经不知道原式是什么。

人工检查四项可见的含义差异

第一项看正斜体。变量、函数名和说明文字各自有角色，不能为了样式统一把它们全部变成斜体。第二项看记号语义，对照定义确认字母身份、大小写以及变体，尤其检查相似的拉丁字符与希腊字符。

第三项看上下限归属。多重求和和积分中的每组范围应跟随正确运算符，积分变量也要对应被积函数。第四项看单位，数值后的单位字符通常应使用正体，并与变量区别开来；例如表示克的 g 和表示加速度的 g 不是同一角色。

这份清单可以放在原稿旁边逐项勾选。碰到不确定处，回到定义或目标文稿要求核实，不要让自动修订代替作者决定术语。字体与语义的关系在不同学科里可能有细节差异，统一前先确认约定。

用两条都能显示的式子自测

(x+1)^2 \qquad x+1^2

两条写法都能排版，但平方作用范围不同。若原意是“和的平方”，右侧就不符合要求。再把一个表示单位的字符故意改成变量样式，观察预览是否仍正常，就能体会语法通过与内容正确之间的距离。

本站可用 LaTeX 模式检查源码并同步观察预览，也可在「可视化」模式中修正结构。这里应把实时显示当作排版反馈，不要把它说成能自动证明数学正确或替你完成全部纠错。需要修改哪一层，仍应根据报错位置与人工清单来判断。

当公式准备插入文档时，再与题目或原稿逐项比对一次。保存已经确认的版本，后续每次改动都重新检查受影响的结构与定义，才能避免一个局部修正带入新的含义错误。

延伸阅读

• g字母的latex格式：具体区分变量与单位的正斜体。
• AI 生成 LaTeX 公式：给合法但可能不准确的初稿安排复核。