MathOCR (v1.0)

MathOCR 是一款 macOS 公式识别软件：框选屏幕截图即转 LaTeX，完全离线识别，内置公式编辑器与实时预览，支持以 Word 原生公式（OMML）插入并自动编号，兼容 Intel 与 Apple Silicon。

MathOCR 是一款面向 macOS 的数学公式截图识别软件：框选屏幕上的任意公式 → 立刻得到 LaTeX 源码 → 在内置编辑器里改到满意 → 一键复制，或以 Word 原生公式对象插入文档。它常驻菜单栏，全局快捷键 ⇧⌘2 随时呼出，核心识别完全离线，图片不出你的电脑。

写论文时翻到 PDF 里的老公式、看网课时想抄下黑板上的推导、把扫描版讲义整理成电子笔记——这些场景都绕不开同一个动作：把"公式图片"变成"可编辑的公式"。MathOCR 把这条链路压缩到了一次截图。

核心功能一览

三步上手：截图 → 识别 → 用起来

1. 截图：任何界面下按 ⇧⌘2，框选公式所在区域，松手即开始识别；
2. 识别：结果自动写入当前公式笔记，实时预览同步渲染，原图缩略图留在顶部备查；
3. 取用：⇧⌘C 复制 LaTeX 粘到 Overleaf / Markdown / 网页，或点 W 按钮把公式插进 Word 光标处。

不想截图也行：从任何地方复制一张公式图片后在 MathOCR 窗口里按 ⌘V，图片进来自动识别；访达里 ⌘C 复制的图片文件同样能直接粘，按文件本身读像素，不会被文件图标顶替。

三种识别引擎，按场景切换

这是 MathOCR 和"单一引擎识别工具"最大的不同——三个引擎随时切换，互不影响历史记录：

两个离线引擎不联网、不传图，识别在本地完成；AI 引擎则需要自己填 API Key，测试连接时会真发一张公式图验证配置是否可用。

不只是识别：一个真能改公式的编辑器

识别结果很少一次全对，通常还要补个下标、换个分式、套个括号。MathOCR 的编辑区为此做了完整的公式编辑能力：

• 常用公式库：按小学 / 初中 / 高中 / 大学四段分类的成品公式，搜"面积""勾股""求导"都能跨学段命中，点一下插到光标处；
• 符号与结构面板（⌘⌥E）：结构、希腊字母、运算、关系、箭头、函数等九类符号，支持搜索，点击插入到光标处而非追加到末尾；
• 选中即可包裹：先选中 a^2+b^2 再点分式，选中内容直接进分子，光标落在分母，不用重敲；
• Tab 跳空位：模板里的空格子按顺序排好，Tab 依次跳转填空；
• ⌥Esc 命令补全：输入 \in 补全会列出 \infty、\int、\iint 等候选；
• 边写边体检：括号未闭合、\begin 缺 \end、^ 后面空着、未转义的 %（会静默吃掉后半条公式）等错误实时标红并定位，点一下就跳到出错位置。

预览由内置 MathJax 驱动（完全离线），化学式 \ce、约分线 \cancel、颜色、交换图等扩展都能渲染。预览区还能调字号、颜色、字母与数字的斜体/粗体，导出的图和 Word 里看到的样子一致。

插入 Word：原生公式对象 + 自动编号

这是 MathOCR 最硬核的一块。工具栏 W 按钮（⇧⌘W）把当前公式插到 Word 光标处，落到文档里的是 Word 自己的公式对象（OMML），而不是图片：

• 双击进 Word 公式工具继续改，字号随文档样式走，行内公式基线天然对齐；
• 插入版式可选行内 / 独立成行 / 左编号 / 右编号，带编号时自动重排全文公式号码；
• 内置公式编号格式面板：编号位置、括号、章号 / 节号分段都可配置，适配论文排版规范；
• 回环编辑：在 Word 里点一下公式（或选中公式图片点选项卡按钮），公式连同原始 LaTeX 回到 MathOCR 编辑器，改完再插回来；
• 原生公式表达不了的公式（化学式、约分线、交换图等）会自动降级为高清 SVG 插入，并在状态栏说明——宁可丢"可编辑"，也不插一条缺结构的公式。

MathOCR 还会往 Word 装一个自己的功能区选项卡：在 Word 里直接"截图识别、插入、编辑、复制 LaTeX、转 MathML"，以及公式编号、章节管理、交叉引用与自动更新。选项卡上的"插入"由 Word 进程内的 VBA 完成，一次系统授权都不需要。

模糊截图也能救：识别前的画质体检

截图来源五花八门——PDF 缩小、二次缩放、投影仪翻拍，糊是常态。MathOCR 识别前会先量一遍画质：清晰度、高频细节、对比度三个指标；明显失焦就做轻度锐化，灰蒙蒙就拉伸对比度，其余情况一律不动原图。界面上有画质角标（"画质清晰" / "图像模糊 · 已增强"）提示处理结果，自动增强也可以在设置里整体关掉。

公式笔记：识别结果自动沉淀成个人公式库

MathOCR 的主界面是一叠公式笔记：左栏常用公式库，中间当前笔记与实时预览，右栏全部公式记录。每条记录带原图缩略图和所用引擎，可搜索、可切换、可删除；停止输入约 0.3 秒自动保存，切走前也会先补存。识别历史越攒越多，就变成了你自己的公式素材库。

隐私：图片不出电脑

• 快速识别、混排识别两个引擎完全本地运行，截图与上传的图片不经过任何服务器；
• AI 引擎的 API Key 保存在 macOS 系统钥匙串（Keychain），不写入明文配置文件；
• 无账号、无登录、无遥测。

系统要求与下载

快捷键速查

常见问题（FAQ）

Q：MathOCR 需要联网吗？ 不需要。两个离线引擎在本地完成识别；只有 AI 高精度引擎按你的配置访问所选的大模型服务。

Q：支持手写公式吗？ 离线引擎以印刷体为主，工整的手写有一定识别率但不保证；疑难公式可切到 AI 引擎兜底。

Q：能识别中文吗？ 混排识别（PP-FormulaNet）支持中英文混排的公式截图；纯文字（非公式）OCR 不在功能范围内。

Q：插入 Word 的是图片还是真公式？ 默认是 Word 原生公式对象（OMML），可以在 Word 里继续编辑、参与自动编号与交叉引用；特定公式自动降级为高清 SVG 插入。

Q：识别结果能用到哪里？ LaTeX 可粘进 Overleaf、Markdown、Typst、网页；SVG 可粘进 HTML / Figma；也可导出 PNG、MathML 文件。

Q：识别错了我能改吗？ 能。编辑器带符号条、结构模板、命令补全和语法体检，改到满意再复制或插入；改完的版本会保存回同一条笔记。

总结：适合谁用

• 研究生与科研人员：论文里补公式、改公式、自动编号，LaTeX 与 Word 双端取用；
• 教师与内容创作者：把讲义、课件、教材截图里的公式变成可编辑素材；
• 学生：整理错题本和笔记，公式截图秒变 LaTeX；
• 在意隐私的用户：离线识别，图片永不出机。

如果你经常在 Mac 上和数学公式打交道，MathOCR 值得常驻菜单栏。