☰
Markdown数学公式模板库:从高频语法到Typora实战导出
2026/9/29 17:22:28 网站建设 项目流程

我刚开始用 Markdown 写技术文档时,最崩溃的不是排版,而是数学公式。每次要输入一个求和符号或者矩阵,都得停下来翻语法手册,今天查一下\sum怎么打,明天查一下\begin{bmatrix}怎么写,一篇带公式的笔记写完,三分之一时间都浪费在“查怎么表达”上面。后来我痛定思痛,在本地建了一个 Markdown 数学公式模板库,把平时写文档、写博客、记笔记时用到的高频公式全部整理到一个文件里,需要哪个直接复制,公式语法这件事才算彻底闭环。这篇就把我搭建这套模板库的思路、里面的核心模板、踩过的坑和最终的使用习惯一次性分享出来,希望对你也有用。

1. 先把需求盘清楚:模板库到底解决什么问题

1.1 真正的痛点不是语法难,而是“每次都要临时查”

LaTeX 语法本身并不难,常用符号就那么几十个,真正让人心烦的是“记忆负担”。我今天写个行内公式$x^2$,明天写个分式\frac{1}{2},后天写个极限\lim_{x \to \infty},每个都是单独查一次。更麻烦的是,查完不一定记得住,下次写还是要再查一遍。

我见过很多人在网上收藏了一堆“LaTeX 语法大全”的帖子,真到写文档的时候还是得从头翻。原因很简单:大全类的内容太全了,从数学符号到排版细节几百条,你根本不知道自己现在该看哪一条。而模板库的逻辑刚好相反,它只收纳你实际用过的、高频复用的那部分公式,更像一个“个人高频快捷键列表”。比如我最常用的是上下标、求和、积分、矩阵、分段函数,模板库里就重点收录这些,冷门符号直接忽略,等真用到再临时补进去。

1.2 模板库的定位:不是教学文档,是即插即用的速查手册

这个定位很关键。模板库不是写给新手看的学习资料,而是写给自己用的“抄作业”工具。它追求的不是系统性,而是“拿来就能用”。我见过有人把模板库做成了几十页的 PDF,里面每个公式都配了详细推导,最后反而因为太重从不打开。

我的做法相反:模板库就是一个.md文件,里面每个模板分成两段,第一段是 LaTeX 源码(放在代码块里方便复制),第二段是渲染效果(放在公式块里确认样式)。通过 Typora 或者任意支持 LaTeX 渲染的 Markdown 编辑器打开,左边是源码,右边(或下方)是效果,复制走就能直接嵌入自己的文档。这套结构非常轻,打开文件到找到公式复制,前后不到十秒。

这样设计还有一个附带好处:因为文档足够轻,我敢把它放在工作目录、临时项目甚至手机里,任何设备打开都能用。反而是那种“完整手册”类的东西,永远不会出现在你的实际写作流里。

1.3 用模板库写作,输出效率能提升多少

我个人体会是,建立模板库之后,带公式的文档写作速度至少提升了一倍。以前写一段带矩阵的推导,从回忆语法到试错可能要五六分钟,现在直接复制模板改几个下标,三十秒就搞定。更重要的是,因为模板库里保存的都是“验证过能正确渲染”的写法,你不会在输出端再踩“公式显示为源码”之类的二次坑。

所以这篇文章后面分享的每一个公式模板,都不是网上抄来的冷冰冰语法,而是我日常写作中反复使用、确认 Typora 和 Pandoc 都能正确处理的版本。你可以在自己的模板库里直接复刻,再按使用频率慢慢增删。

2. 语法基础与高频符号模板:先搞定这些再谈进阶

2.1 行内公式与块级公式:先搞清楚两种模式的区别

所有 Markdown 数学公式都分两种模式:行内公式(inline)和块级公式(block)。行内公式用单个美元符号包裹,比如$E=mc^2$,它嵌在文字段落里,不会把段落拆开;块级公式用双美元符号包裹,比如$$E=mc^2$$,它会另起一行居中显示,适合展示独立的公式或推导过程。

这个区别看起来简单,实际使用中踩坑最多。行内公式里你不能用\\换行,因为行内公式根本没有“多行”这个概念,你一换行,Typora 直接给你渲染成一坨乱码;而块级公式内部可以用\\换行,也可以嵌套aligned这类多行环境。另一个坑是行内公式和中文之间的间距,比如“当 $x=1$ 时”这种写法,有的编辑器会渲染出很别扭的贴边效果,我一般在行内公式前后手动加一个英文空格,比如“当 $x=1$ 时”,视觉效果会舒服很多。

在 Typora 里插入块级公式最快的办法是直接输入$$然后按回车,它会自动生成一个公式编辑区域,你也可以用菜单栏“段落-公式块”或者快捷键Ctrl+Shift+M。输入过程中公式是实时渲染的,但如果遇到复杂的矩阵或多行结构,Typora 的实时预览会卡顿甚至暂时错乱,这时候不需要慌,把光标点开再点回来,或者切换一下源码模式,渲染就会刷新。网上经常搜到“Typora 刷新数学公式”的提问,说的就是这个现象,本质是编辑器的渲染引擎在复杂表达式下需要一次强制重绘。

2.2 上下标、分式、根式:最常用的一批基础模板

上下标是公式的地基。上标用^,下标用_,单个字符直接跟在后面就行,比如$x^2$、$a_i$。如果是多位数字或字母组合,必须用花括号包起来,$x^{2n}$、$a_{i+1}$,不写花括号会只作用于第一个字符,渲染出来完全不是你想要的。

分式用\frac{分子}{分母},这个命令我建议你直接记住,别用斜杠/代替。斜杠写出来的分式在文章里丑且不规范,更严重的是,嵌套场景下斜杠分式会变得极难阅读,比如$a/b/c$到底是从左算还是从右算,读者根本看不出来。用\frac可以嵌套,比如\frac{1}{1+\frac{1}{x}}能渲染出连分式,结构清晰。

根式用\sqrt{表达式},开任意次方用\sqrt[n]{表达式}。实操中我有个建议:别把太长的式子整个塞进根号里,比如写\sqrt{a^2+b^2+c^2+d^2+e^2}虽然语法没错,但视觉上根号内部内容过长,排版会很重。更好的做法是拆成多个根式组合,或者定义中间变量。模板库里我存了标准根式、连分式、组合上下标三个模板,覆盖了日常 80% 的基础场景。

2.3 求和、积分、极限:三个高频运算符模板

这三个运算符在“上下限”的表现上跟上下标很相似,但有一个关键差异需要记住:在行内模式下,\sum、\int、\lim的上下限会显示在符号的右侧,这是为了不撑高行内文字;在块级模式下,上下限会显示在符号的正上下方,这是约定俗成的正式排版。所以你写全量公式、推导步骤时,尽量用块级展示,行内写简写形式就好。

求和模板:\sum_{i=1}^{n} x_i,块级效果是上下标在符号正上下。积分模板:\int_{a}^{b} f(x) dx,注意积分号前的dx我习惯用正体加一个空格,即\mathrm{d}x或者\, dx,这样不会跟变量x混淆。极限模板:\lim_{x \to \infty} f(x),这里的\to是箭头,如果你用\rightarrow也行,效果一样。还有一个容易忽略的:多个条件的下标,比如\max_{0 \le x \le 1} f(x),直接用\le表示小于等于,不需要写\leq,两者是一个命令。

2.4 希腊字母与常用数学符号:组一张你自己的速查表

公式里难免出现希腊字母,但不用特意背全量表。我的经验是:先记\alpha、\beta、\gamma、\theta、\lambda、\mu、\pi、\sigma、\omega,日常写数学推导基本覆盖了。大写形式把首字母改成大写即可,比如\Gamma、\Delta、\Theta、\Lambda、\Sigma、\Omega。真正容易出问题的是大写\Pi(圆周积)和\prod(连乘)的区别,\Pi是一个字母,\prod是一个运算符,两者渲染位置完全不同。

其他高频符号里,比较关系用\leq、\geq、\neq、\approx,运算关系用\times、\div、\pm、\cdot、\infty、\partial,箭头用\to、\Rightarrow、\Leftrightarrow。这些符号没有特殊格式,记住一个最简版本就行,比如“不等于”我用\neq,有些编辑器也支持\ne,但为了统一我模板库里只保留\neq。

我整理了一张常用符号速查表,直接放在模板库的开头位置:

类别LaTeX 写法渲染效果备注
上标x^{2n}$x^{2n}$多字符必须加花括号
下标a_{i+1}$a_{i+1}$同上
分式\frac{a}{b}$\frac{a}{b}$可嵌套
根式\sqrt[n]{x}$\sqrt[n]{x}$开方次数可选
求和\sum_{i=1}^{n}$\sum_{i=1}^{n}$块级上下限在正上下
积分\int_{a}^{b}$\int_{a}^{b}$加\mathrm{d}区分变量
极限\lim_{x \to \infty}$\lim_{x \to \infty}$行内显示在侧边
不等于\neq$\neq$也可用\ne
小于等于\leq$\leq$上下标变体用\leqslant
偏导\partial$\partial$常用于微积分
无穷\infty$\infty$
箭头\Rightarrow$\Rightarrow$更常用的还有\to

这张表不用多背,写的时候看一眼模板库就能快速定位。

3. 进阶模板:矩阵、多行公式、分段函数与公式编号

3.1 矩阵的五种括号写法,分别用在什么场景

矩阵在 Markdown 公式里其实不复杂,核心是一个\begin{环境名}...\end{环境名}结构,行与行之间用\\分隔,同一行的列与列之间用&分隔。区别在于环境名不同,边框样式就不同。

我按照使用频率给你列一下:

  • matrix:无边框矩阵,最朴素的排列。适合表示纯元素集合,但一般只用于内部推导。
  • pmatrix:圆括号矩阵( ),适合表示行向量、列向量或者数学意义上需要括号包裹的矩阵。
  • bmatrix:方括号矩阵[ ],这是我最常用的,写一般矩阵、线性方程组时都用它。
  • vmatrix:单竖线矩阵| |,通常表示行列式。
  • Vmatrix:双竖线矩阵|| ||,通常表示矩阵范数。

给你一个直接可复制的方括号矩阵模板,书写线性代数笔记时最常用:

$$ \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix} $$

渲染出来就是一个标准的 $m \times n$ 矩阵。注意里面的\cdots(横向省略号)、\vdots(竖向省略号)、\ddots(斜向省略号)我都是直接复制的,记不住也不影响,模板在手就行。

行内矩阵用matrix环境配合\bigl括号可以避免撑高行距,比如$\bigl( \begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix} \bigr)$,但实际写作中涉及矩阵的公式几乎都值得单独占一块,没必要硬塞进行内,所以我的模板库里只放块级版本,行内小矩阵作为一个补充条目放在旁边。

3.2 多行公式如何对齐:aligned、cases、align 的选用逻辑

写推导过程时经常需要多行公式对齐,这里最容易混淆的是aligned和align。简单记:align环境自带公式编号,每一行会默认生成(1)(2)(3),如果你只想展示推导过程不想带编号,就别用它;aligned环境不带自动编号,它必须嵌在$$...$$里面用,配合&符号指定对齐位置。

我模板库里的对齐模板长这样:

$$ \begin{aligned} S &= \sum_{i=1}^{n} x_i^2 \\ &= \sum_{i=1}^{n} (x_i - \bar{x} + \bar{x})^2 \\ &= \sum_{i=1}^{n} (x_i - \bar{x})^2 + 2\sum_{i=1}^{n}(x_i - \bar{x})\bar{x} + n\bar{x}^2 \end{aligned} $$

这里的&放在=前面,可以让每一行的等号严格对齐。你会看到第二行等号后面的表达式我主动拆成了多行,这是长公式排版的常见技巧:在+、-这类运算符前换行,比在中间硬拆更易读。

分段函数用cases环境,这是它的经典场景。写法如下:

$$ f(x) = \begin{cases} x^2, & x > 0 \\ 0, & x = 0 \\ -x^2, & x < 0 \end{cases} $$

这个模板我几乎每周都会用到,尤其是写算法复杂度分析、分段定义函数的时候。cases环境里&前面是公式部分,后面是条件部分,第二个&之后可以留一个空格再来写条件,排版上更清晰。

3.3 公式编号与引用:什么时候用编号,什么时候不用

学术写作里公式编号是个硬需求,但 Markdown 本身对公式编号的支持非常有限。我的经验是:绝大多数个人笔记和博客文章根本不需要给公式编号,因为编号的目的是让读者能在文中“引用”,而个人文档里你不会真的写“由公式(3-2)可得”这种话。需要编号的场景主要是论文、报告、实验手册这类需要正式引用的文档。

如果你确实需要编号,最不折腾的方案是手动用\tag{编号}命令,比如$$E=mc^2 \tag{1}$$,Typora 能正确渲染成带编号的公式。但要注意,这个编号是写死的,文档改动了它不会自动更新。还有更进阶的\label加\ref跨位置引用方案,在 Typora 里支持得非常有限,我试过几次都放弃了,最终方案是写文档时手动维护一个编号文本,导出前再检查一遍。

用 Pandoc 把 Markdown 转成 Word 或 LaTeX 时,公式编号的表现又不一样。Pandoc 会自动识别tag并处理成输出格式的编号吗?实测下来\tag在导出 Word 时经常丢失或者变成普通文本,所以如果你要走 Pandoc 导出流程,建议不要过度依赖\tag,尽量让公式在输出端“无编号”,然后把编号放到正文里以文本形式写出,这样最保险。热词里提到的“markdown转word序号自动编号”问题,多半就出在这里,Markdown 公式编号本质是 LaTeX 世界的东西,到了 Word 的 OMML 原生化流程中兼容性并不好。

3.4 字体与样式:黑板体、花体、正体与实际场景

公式里的字体也值得单列一节。最常见的需求是写实数集\mathbb{R}、复数集\mathbb{C}、拉普拉斯算子\mathcal{L}、傅里叶变换\mathcal{F},这些符号在数学排版里有专门写法。模板库我存了这几个:

  • \mathbb{R}渲染为黑板粗体 $\mathbb{R}$,用于数集。
  • \mathcal{L}渲染为花体 $\mathcal{L}$,用于算子或函数空间。
  • \mathrm{d}渲染为正体 $\mathrm{d}$,用于微分符号,避免跟变量d混淆。
  • \boldsymbol{x}渲染为粗斜体向量,我写向量推导时经常用。

还有一个高频问题是公式里要写中文注释,比如“其中”后面跟一段解释。直接用中文写在$...$里会显示成斜体,非常难看。正确做法是用\text{...}把中文包起来,比如\text{其中 } x \text{ 为变量},这样中文保持正体、与公式混排也协调。这个细节我经常提醒别人,公式和文字混排时,\text{}是你的朋友。

3.5 在公式里标注颜色与重点:推导过程的高亮技巧

写推导笔记时,我经常想标出“这一步用了替换”或者“这个项是关键”。在公式里用颜色高亮确实能做到,写法是\textcolor{red}{内容}或\color{red} 内容。Typora 对\textcolor的支持不错,推荐用这种。

比如我想在一堆推导中强调某个关键项:

$$ x = \frac{-b \pm \sqrt{b^2 - 4\textcolor{red}{ac}}}{2a} $$

渲染出来后,ac会变成红色,一眼就能定位。颜色这个功能要慎用,整篇公式全花里胡哨反而失去重点,我一般只在一页文档里挑一两处关键节点上色。

4. 编辑器与导出实战:Typora 里的坑和文档转换方案

4.1 Typora 公式不渲染或渲染不刷新的排查思路

热词里有一个特别具体的词条“typora刷新数学公式作用”,这说明这个问题很多人遇到过。我自己也踩过,最常见的情况是:在块级公式区域输入到一半,发现后面的文字全部消失了,或者公式显示成源码。其实这不是 Typora 坏了,而是它处于源码模式,或者公式块因为某些特殊符号卡住了。

我的排查顺序很简单:第一步看右下角是否显示“源代码模式”(Typora 左下角有个模式切换入口),如果是,切回“所见即所得”模式。第二步是处理公式块内的空行,比如矩阵环境里不小心多敲了一个空行,Typora 会误判为公式结束,导致后半截全变成文字。第三步是检查特殊符号,比如在公式里直接输入了#、_这种在 Markdown 里有特殊意义的字符,有的编辑器会跟公式语法冲突,建议用\#、\_转义。

如果上述都排查完还是不刷新,就手动做一个“强制刷新”:光标移到公式外,随便点击别处,或者按Ctrl+Z再Ctrl+Y撤销恢复一次,Typora 就会重绘公式。这个操作虽然看起来笨,但实测有效,本质就是让编辑器重新执行一次渲染。

4.2 表格里写公式:竖线符号和单元格对齐的坑

Markdown 表格本身不支持块级公式,所以表格里的公式一律用行内写法$...$。这里有一个隐藏很深的坑:行内公式里如果用到竖线|(比如集合符号\{x | x > 0\}),Typora 和很多渲染器会把|误认为是表格分隔符,导致整个表格列数错乱。

解决办法有两个:一是用\mid代替竖线,写成\{x \mid x > 0\},渲染效果一样且不会破坏表格结构;二是在表格单元格里用\|转义,但我更推荐前一种,因为\mid在公式语义上本来就更规范。另一个表格内公式的问题是垂直对齐,Typora 表格默认居中,而公式可能自带行高,导致单元格看起来高低不齐。遇到这种情况别硬调 Markdown 源码,导出后用 Word 或者在线文档微调一下对齐即可。

4.3 从 Markdown 导出 Word/PDF:公式怎么处理才不变形

这是所有 Markdown 公式用户都绕不开的终极问题。我的标准答案是:用 Pandoc。Pandoc 能把 Markdown 里的 LaTeX 公式转换成 Word 的原生公式(OMML),导出后的 Word 文档公式可编辑、可排版,不会变成图片。命令也很简单:

pandoc input.md -o output.docx

这个流程里有个细节要提醒:Pandoc 转换时默认对数学公式处理比较保守,如果你在模板库里用了\textcolor、\tag这类高级命令,Word 导出时大概率出现兼容性问题。我的做法是,凡是准备导出 Word 的文档,写作时尽量只用基础命令(分式、根式、上下标、矩阵、\begin{aligned}),颜色和编号留到 PDF 输出时再用。

如果你用 Typora 自带的导出功能,也可以选择“复制为 MathJax”或“复制为 LaTeX”等选项,但最稳定的还是 Pandoc 命令行。还有些人习惯于直接把公式截图粘贴进 Word,这个方案“看似成功实则灾难”:截图不可编辑、字号不统一、后续修改只能重截,在正式报告里绝对不推荐。

4.4 在不同平台发布:公众号、语雀、Notion 的公式兼容性

Markdown 公式在不同的发布平台上支持程度差异很大。我的经验是:Typora 本地写作是一回事,发布又是另一回事。公众号文章如果你用常见的“公众号 Markdown 格式化工具”,很多工具对公式的支持是通过 MathJax 或图片实现的,效果不稳定,最好先在预览里确认。语雀本身支持 LaTeX 公式,但你从 Markdown 粘贴时要注意一些空格和转义符可能发生变化。Notion 对公式的支持也存在类似情况,公式编辑界面跟 Typora 有出入,有些命令不兼容。

所以我的策略是:核心内容在本地用 Typora + Markdown 维护,公式全部用标准 LaTeX 语法书写;换平台发布时,先导出为 HTML 再粘贴到目标编辑器,或者在目标编辑器里用原生公式编辑器重新录入一次。模板库的价值在这里就体现出来了,不管换到哪个平台,公式源码都是一样的,我只需要重新渲染确认一次,不用重新回忆语法。

5. 我的模板库结构与常见问题速查

5.1 模板库文件怎么组织才不落灰

我见过不少人下载了一堆模板文件,装进收藏夹就再也没打开过。要避免这个问题,模板库本身必须极端轻便。我的做法是:在本地建一个formula-library.md文件,顶部用 Typora 的[TOC]生成目录,然后按分类往下排。

每个分类的排版方式固定:先用一个代码块放一行可以直接复制的公式源码,紧接着用公式块放同一个公式的渲染效果。比如“矩阵”分类下,先给bmatrix的源码块,再给渲染效果;然后给pmatrix的源码块和效果。这样你找到分类后,上下两秒就能确认“这个确实是我想用的”,然后复制走,非常顺畅。

还有一个我个人觉得非常关键的做法:每一条模板条目后面加一行注释,写清楚“这个模板用在什么场景”。比如分式模板后面写“用于分数、比例、概率公式”;矩阵模板后面写“用于线性方程组、线性变换、行列式”。注释不参与渲染,但长期维护时你一眼就能看到它为什么存在于模板库里。

5.2 常见问题速查表:把踩过的坑直接列出来

公式输出端的报错和异常非常多,我把踩过的坑汇总成一张速查表,放在模板库末尾,遇到问题先查这里:

问题表现主要原因解决方法
公式显示为源码\frac{1}{2}编辑器未启用数学公式渲染检查 Typora 设置里的“数学公式”开关;切换源码/预览模式
块级公式不换行公式块内没有启用多行环境用aligned、cases或直接\\换行
大括号大小不自动适配用了普通()/{}改用\left(\right)或\left\{\right\}
公式中竖线导致表格错乱表格里用了 `` 符号
\begin{aligned}报错忘了嵌在$$...$$中确保aligned环境外层有公式包裹
中文在公式里变斜体直接把中文写在公式中用\text{中文}包裹
公式编号不更新用了写死的\tag{}手动维护编号或用 Pandoc 转换后校正
粘贴到 Word 变图片直接复制预览内容用 Pandoc 转换生成.docx

这张表对我的价值非常大,因为很多公式渲染问题并不是语法错误,而是工具链的兼容性限制。你不需要记住每个命令的完整规格,只要知道“遇到这种问题的常规解法是查这张表”就够了。

5.3 模板库的后续扩展:从数学公式到算法、物理和化学

模板库建好之后不是固定不变的,它会随着你的使用场景不断生长。我现在模板库里除了纯数学公式,还扩展了三个分区:物理公式、算法伪代码、化学方程式。物理公式主要是麦克斯韦方程组和热力学公式,算法伪代码其实就是 Markdown 代码块加$内嵌公式,化学方程式则用\ce{}语法(需要开启 Typora 的化学公式支持)。

我建议你根据职业和写作内容来扩展分类。比如你是做机器学习笔记的,重点收藏下标、矩阵、概率相关的模板;你是做工程计算的,把常用常微分方程、偏微分方程的表达式放进去。模板库的最终形态应该是“记录你真实使用轨迹”的个人工具,它不追求大而全,追求的是每次打开都有用。

5.4 最后分享一个我自己的使用习惯

模板库这件事我坚持了大半年,最大的改变不是公式写得快了,而是“写公式”这个动作本身变得没有心理负担了。以前遇到一个不常用的符号,我会纠结要不要为了它打开搜索引擎翻半天;现在我的习惯是先翻模板库,没有就直接用最朴素的写法临时代替,写完再抽空补进模板库。每补一条模板,下次写同类文档的时间就缩短一点。

我还有一个习惯值得推荐:模板库文件本身也用 Git 管理,每次新增模板都提交一次。这样万一某次我改坏了某个模板的排版,可以随时回退到上一个版本。虽然听起来有点小题大做,但这恰恰保证了模板库的长期可用性。用 Git 管一个几百行的 Markdown 文件,成本几乎为零,长期收益却很实在。

这些经验基本覆盖了 Markdown 数学公式模板库从搭建、使用到维护的完整闭环。你现在就可以建一个属于自己的公式模板库,不用求全,从这篇文章里出现的\frac、\sqrt、\sum、\begin{bmatrix}、\begin{cases}这五个模板开始,写几篇带公式的文档后,再按需往里面加东西。一套自己亲手整理、亲手验证过的模板库,比任何网上下载的“最全公式手册”都顺手得多。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询