是否有一个工具可以检查我在乳胶中的数学运算？

Question

是否有任何工具可以警告我我在 latex 中计算出的方程式是否错误？例如，当我使用了错误的符号，或者我的算术不正确时。我不需要一个完整的验证器。只要能突出显示我所犯的最明显的数学错误就足够了。我不介意一些假阳性和假阴性结果。我知道有像 coq 这样的证明检查器，但这些东西太复杂了，对我的任务来说太过分了。