如果你曾经在文档里写数学公式,一定经历过这样的时刻:上下标一个一个点,括号大小反复调,写完一页公式,眼睛都花了。我当年也是这么过来的,直到某天被一个稍微复杂的长公式卡了整整一个下午,才下决心试试 LaTeX 公式。结果出乎意料——只要掌握了那二十多个最常用的命令,日常用到的公式基本都能十分钟内打出来。这篇文章就是一份纯粹的 LaTeX 公式编辑快速入门手册,写给那些不想啃几百页教程、只想赶紧把公式写漂亮的人。
LaTeX 公式语法和完整的 LaTeX 排版系统是两回事。你不需要先学会写整篇论文,再从零学起那些宏包和编译流程;只需要知道"数学公式是怎么用纯文本表达的"这件事就够了。这套语法适用于论文排版、技术博客、课件制作、甚至日常笔记,凡是要写公式的地方,几乎都能用上。
1. 为什么公式编辑绕不开 LaTeX:从一次真实的排版崩溃说起
先讲一个几乎所有写过技术文档的人都经历过的场景。某天我在文档里写一个带求和、分数和希腊字母的公式,光是在界面上点符号就花了二十分钟,然后发现公式里的括号大小不协调,想微调一下间距,又要重新摆弄老半天。最崩溃的是,把文档发给别人之后,对方机器上字体缺失,公式整体走样,之前的所有调整全部作废。
这个时候你才会真正理解 LaTeX 公式的价值。它本质上是"用文字描述数学符号的规则",把排版交给编译引擎自动处理。我只需敲出\sum_{i=1}^{n} \frac{x_i^2}{2}这样的纯文本,引擎就会自动计算符号大小、间距和行高——这些肉眼调多少遍都很难调准的细节,它一次性全部搞定。同一段源码,在论文里是这个样子,放到网页上也是这个样子,跨环境的一致性对写技术内容的人来说太重要了。
有人觉得"我又不搞出版,不需要学 LaTeX",这也是一种常见的误解。LaTeX 公式语法已经渗透到了各种你每天都在用的工具里:技术博客的数学渲染、笔记软件的内嵌公式、甚至文档软件都可以直接识别$...$包裹的公式代码并转换成数学对象。你可以不写 LaTeX 文档,但只要有一天需要打公式,就躲不开这套语法。
1.1 公式语法和完整 LaTeX 写作的区别
这两个概念容易被混在一起,导致很多人误以为学公式等于学 LaTeX。区分很关键:
- 完整 LaTeX 写作:需要安装发行版、学习文档结构、掌握宏包引用、处理编译流程,要写论文或出书才需要全套。
- LaTeX 公式语法:只需要记住"数学模式的表达规则",在任何支持数学渲染的编辑器里都能用。
打个比方,完整 LaTeX 像学开车考驾照,需要懂交规、会保养、能处理各种路况;而公式语法就像学骑自行车,掌握平衡就能走,你不需要成为汽车维修工。我现在写技术博客、做笔记、做课件,都只是用这一小套公式语法,完全没有被复杂的 LaTeX 文档知识拖住。因此这篇文章也只讲公式语法本身——快速上手,不需要额外买书。
1.2 公式语法的底层优势
为什么各平台不约而同都支持这套语法?因为这确实是被验证了四十多年的排版方案。字符间的间距、运算符前后的空隙、括号的自动缩放,这些规则内嵌在设计逻辑里,使用者不用关心,也不会出现"明明打了空格却不生效"的尴尬。另一个隐性优势是纯文本可维护性:公式可以直接放进代码仓库、可以复制粘贴到聊天窗口、可以参与版本对比,哪怕半年后回头改公式,搜一下源码就能定位。出于这些原因,几乎所有工具都把"适配公式语法"做成了基础能力。
2. 最速上手路线:三套热身环境按需选
学公式的第一件事不是背命令,而是找一个"所见即所得"的练习环境。新手最怕的就是环境配了三天、公式一行没写。所以我建议根据你自己的场景选择一条最简单的路径。
2.1 方案一:在线 LaTeX 平台(推荐新手)
浏览器打开一个在线 LaTeX 平台,左边写代码,右边出渲染结果,无需安装任何东西。我把这类平台叫做"公式的草稿纸",因为每个公式都可以先在这上面验证,确认无误再贴回自己的文档里。
从零到第一条公式,流程大概是:
- 打开任意在线 LaTeX 编辑器,新建一个空白项目;
- 在正文区输入
$\frac{a}{b}$这样的源码; - 点击编译,看右侧是否渲染成规范的分数。
- 把参考代码替换成自己想要的公式,反复验证。
这个方案的优点是零安装成本,而且几乎所见即所得,入门阶段效率极高。缺点是依赖网络,并且在线平台的操作界面需要一点点熟悉时间,但这些都比不上"快速看到输出"带来的正反馈。我强烈建议新手把在线平台作为第一站,先写熟二十个常用命令再说。
2.2 方案二:本地完整环境(写论文/出书再说)
如果你确实要写长文档,那就需要一套本地完整环境。传统做法是安装完整的 LaTeX 发行版,再配合一个顺手的编辑器以及公式编译插件。完整的发行版体积较大,安装后第一次编译往往还要下载额外宏包,半天时间可能就耗进去了。
我的经验是:新手不要一上来就搞"全家桶"。先把在线平台用熟,确认自己真的需要完整写作环境时,再动手安装本地环境。否则很容易陷入"配环境两小时、写公式五分钟"的恶性循环。环境本身不是目标,写出公式才是。
2.3 方案三:轻量笔记工具(日常记录最优先)
如果你只是做学习笔记、技术博客、课件素材,完全用不上完整环境。很多现代笔记软件和 Markdown 编辑器内置了数学渲染能力,只需要用$...$或$$...$$把公式包起来,保存后自动变成数学符号。这种轻量方案的启动成本几乎为零:打开笔记软件就能写,写出来就能看,还能随时导出成图片或 HTML。
日常使用中我大部分公式都是在轻量笔记工具里直接完成的,只有遇到较复杂的排版问题才打开在线平台验证。这有点像一个平时骑共享单车的人,偶尔需要用货车时才会去租车。用这样的思路学公式,上手速度会快很多。
3. 数学模式与最常用命令:这几十个命令够用很久
热身环境准备好之后,核心就是学会"数学模式"。这是 LaTeX 公式和普通文字最根本的区别。普通文本里,你可以随意打字、空格、换行;而在公式区域里,输入方式完全变了——英文状态下手打命令,渲染出来的是数学符号。
3.1 先理解数学模式的三个特性
第一,公式必须包在$...$(行内公式)或$$...$$(独立成行公式)里面。第二,数学模式下所有字母默认使用数学斜体,功能上类似于"变量体",写x输出的就是变量 $x$ 的形态。第三,也是最容易让新手困惑的一点:数学模式下你直接敲的空格基本不生效,间距主要由命令控制,比如\,表示小间隔,\quad表示一个标准空格。理解了这三点,很多"为什么渲染出来不对劲"的问题就迎刃而解了。
3.2 高频命令速查表
下面是几十个日常使用频率最高的命令,配合用途说明。先把这张表过一遍,重要的是动手敲一遍——不需要死记硬背,敲个三五次自然就形成了肌肉记忆。
| 目标 | LaTeX 写法 | 用途提示 |
|---|---|---|
| 上标 | x^2 | 幂、转置、指数 |
| 下标 | x_1 | 序号、索引 |
| 分数 | \frac{a}{b} | 分子/分母,最常用 |
| 求和 | \sum_{i=1}^{n} | 求和符号及上下限 |
| 积分 | \int_{a}^{b} | 定积分 |
| 根式 | \sqrt{x} | 二次根号 |
| n 次根式 | \sqrt[n]{x} | n 次方根 |
| 希腊字母 | \alpha\beta\theta | 对应希腊字母 |
| 无穷 | \infty | 无穷大 |
| 偏导 | \partial | 偏微分符号 |
| 梯度 | \nabla | 向量微分算子 |
| 正比 | \propto | 成正比符号 |
| 加减乘除 | \pm\times\div\cdot | 日常运算 |
| 大括号 | \left\{ \right\} | 自动缩放的括号 |
| 向量箭头 | \vec{v} | 向量符号 |
光是这一张表,就能覆盖本科理科课程里 80% 以上的公式需求。剩下的符号多半是查表即得,不需要提前记忆。比如你某天要用\leq(小于等于)、\geq(大于等于)、\neq(不等于),搜一下或随手查一下速查表就能写出来。
3.3 手把手理解一段公式代码
看一个综合小例子,理解如何把"一段文字"翻译成"一段公式代码"。目标公式是:求和式$S = \sum_{i=1}^{n} i^2$,也就是自然数平方和。拆开看:
S:字母 S,渲染为斜体变量;=:等号,在数学模式里直接输入即可;\sum:求和符号;_{i=1}^{n}:_后是下标,^后是上标,下标写i=1,上标写n,组合起来就是求和上下限;i^2:变量 i 的上标 2。
整体写出来就是$S = \sum_{i=1}^{n} i^2$。这个例子的价值在于建立了"结构拆分"思维:写公式时,不是把符号逐个打出来,而是先看清楚公式有几层结构(求和、上下标、幂),再逐层用对应命令表达。
3.4 多行公式与矩阵
单个公式学会之后,迟早会遇到"多行公式对齐"和"矩阵"的需求。这两类在论文、课件里都很常见,但写法也有固定的套路。
多行公式用aligned环境,&表示对齐点,\\表示换行:
\begin{aligned} a &= b + c \\ &= d + e \end{aligned}这个写法把多行公式的等号对齐到同一纵线上,排版立刻整洁。矩阵用pmatrix(圆括号矩阵)或bmatrix(方括号矩阵):
\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}&在这里是列分隔符,\\是行分隔符。矩阵其实就是"把一堆元素按行列摆放",和表格的排版思路类似,逻辑非常直观。
3.5 括号与符号的规范使用
还有一类细节容易被忽略,那就是"条件概率里的竖线"。很多新手直接写P(A|B),渲染出来竖线两侧的间距不对,看起来像绝对值符号。规范写法应该用\mid:P(A \mid B)。这类细节不会导致编译失败,但会明显影响公式的正式程度。另一个高频问题是大括号的自动缩放,随意写的(...)在分数外面会显得很小,正确写法是\left( ... \right),左右配合实现自适应大小:
\left( \frac{1}{2} \right)这个写法是"伸手党"最该记住的公式之一,因为它解决的是视觉效果问题,而新手往往最容易忽略视觉效果。把这些细节都注意到,你打出来的公式就已经超过很多"能用就行"的人了。
4. 一个复杂公式到底怎么拆:三个场景拆给你看
公式语法最大的障碍看起来是"记不住命令",其实是"看不出结构"。拿到一个复杂公式,最怕的就是一句一句地翻译,而是应该先分层。我常用一个三步法:找主体、填细节、调间距。
- 找主体:先看整个公式最大的结构是什么,是分数、求和、还是矩阵?这就是最外层。
- 填细节:在主体内部继续拆,看有哪些上下标、希腊字母、运算符,逐层填进去。
- 调间距:结构都对了之后,再检查符号之间的空隙是否自然,必要时用
\,\quad微调。
下面用三个真实场景演示这个过程。
4.1 场景一:论文里的贝叶斯定理
贝叶斯公式是生物统计、机器学习文章里的常客,自然语言描述是"后验概率等于似然乘以先验再除以边缘概率"。
P(\theta \mid D) = \frac{P(D \mid \theta) \, P(\theta)}{P(D)}拆解思路:
- 主体是右边的分数,用
\frac{分子}{分母}; - 分子是两项的乘积,
P(D \mid \theta)和P(\theta),中间用\,加一点间隔,避免两个字母贴在一起; - 分母
P(D)很简单; - 左边条件概率的竖线用
\mid,规范又美观。
整个公式代码不过一行,写完之后再回来看,会发现其实就是"把一句话逐层翻译成嵌套的命令"。
4.2 场景二:机器学习笔记里的梯度更新公式
梯度下降更新公式长这样:参数等于旧参数减去学习率乘以梯度。它同时包含下标、希腊字母、偏导符号、分数,非常适合练习拆解。
\theta_j := \theta_j - \alpha \frac{\partial}{\partial \theta_j} J(\theta)这里的结构要点:
:=表示"赋值",在公式里用:=输入即可;\alpha是学习率,\theta是参数,都是希腊字母;- 重点是
\frac{\partial}{\partial \theta_j}这一项,分子是偏导符号\partial,分母是对参数求偏导,对应的是函数对参数的偏微分; - 最后接
J(\theta)是目标函数。
第一次看到这个公式时,我盯着 "偏导分数里为何分子只有一个符号" 疑惑了很久。后来想明白了:分子表示"对什么东西求导",分母表示"关于哪个变量求导",写成\frac{\partial}{\partial x}是约定俗成的偏导算子写法。这也是一个典型的"光看代码不如亲手拆一遍"的例子。
4.3 场景三:博客里的 Softmax 表达式
Softmax 公式在深度学习的科普文章里出现率极高,涉及分数、求和、指数,组合起来对新手很有练习价值。
P(y=i \mid x) = \frac{e^{x_i}}{\sum_{j=1}^{n} e^{x_j}}拆解思路:
- 最外层是分数:
\frac{e^{x_i}}{\sum_{j=1}^{n} e^{x_j}}; - 分子是
e^{x_i},注意指数部分要整体放在上标里,所以用e^{x_i}而不是e^xi——后者只会对第一个字符生效; - 分母是求和式
\sum_{j=1}^{n} e^{x_j},求和符号上下限写在_和^后面; - 左边同样用
\mid表示条件概率。
把这三个场景各自在练习环境里完整敲一遍,基本就能建立起"公式翻译"的手感。以后再看到新公式,你会有意识地去辨认哪部分是主体、哪部分是嵌套,而不再是逐个字符复制粘贴。
5. 新手必踩的五个坑与排查思路
学公式的过程中,"报错"和"渲染不对"都是正常的,谁都会遇到。这里我把新手最常踩的坑按频率排序,逐个说清楚原因和解决办法。
5.1 报错 "Missing $ inserted":绝大多数是忘记数学模式
这个报错几乎排在所有 LaTeX 公式新手问题第一位。原因很简单:你直接在一段普通文本里写了\frac{1}{2}之类的公式命令,系统认为"你正在输入普通文字,却发现了一个数学命令",于是提示你缺少$。
解决方案:检查公式代码是否被$...$或$$...$$完整包裹。有时也可能是把$写成了中文全角符号$,这类隐藏问题尤其隐蔽,我遇到过不止一次。排查方法:把公式代码复制到在线平台里跑一遍,通常立刻能定位。
5.2 空格不起作用:数学模式的间距规则
新手第一次发现"我打了几个空格,输出完全没有变化"时,都会怀疑是不是软件坏了。其实这正是数学模式的特性:普通文字的空格规则在公式里完全不适用,所有间距必须用命令显式控制。
解决方法是记住几个间距命令:\,小间隔,\quad标准间隔,\;中等间隔。实际使用中,\,用得多,\quad在分隔"文字性提示"和公式主体时很顺手。比如\text{其中} \quad x > 0的效果就比直接敲空格好得多。记住:在公式里,你不再用"空格键"控制间距,而是用"间距命令"。
5.3 括号大小不随内容缩放
写(\frac{1}{2})时,括号依然保持默认大小,看起来就像一个小括号括着一个大分数,特别别扭。原因是普通括号命令不会根据内容缩放,需要显式地告诉系统"我这里要一对自适应大小的括号"。
统一写法是\left(和\right)配对出现,系统会根据中间内容的高度自动调整括号大小。同理,大括号用\left\{和\right\},中括号用\left[和\right]。左边写了\left(,右边就必须写对应的\right),否则也会报错。这个成对原则刚用时会经常忘记,习惯之后就自然了。
5.4 公式里不能直接写中文
数学模式里直接出现中文几乎都会出问题,因为数学字体里没有中文字形。所以"分数中的文字说明""公式末尾的注释"这些尽量放到正文里,不要放进公式。
如果你确实需要在公式里显示正常文本(比如"当且仅当"这种表述),有两种常见思路:一是写在公式外面作正文;二是用\text{...}包裹并确认当前引擎支持中文字体。我的建议是,入门阶段先老老实实把文字放在公式外面,既安全又清爽。等需要排正式文档时,再研究字体与引擎配合的问题。
5.5 多行公式对齐乱
多行公式的常见问题是各行等号不在同一竖直线上,整体显得乱。解决办法是用前面提过的aligned环境配合&对齐符:
\begin{aligned} a &= b + c \\ &= d + e \end{aligned}这里&的位置就是"想要对齐的位置",通常放在等号前面。所有的行都在&处对齐,效果立竿见影。很多报错表面上是系统提示"环境不匹配",实际原因就是aligned环境的结尾漏写了\end{aligned}。这类"标签闭合"思维和写代码的括号配对是一样的,时刻检查开头和结尾是否成对。
5.6 排查链路:一个真实的新手错误从出现到解决
假设你在笔记软件中写\theta = \frac{1}{2},结果渲染出来仍然是原始代码文本。多数情况下原因如下:
- 检查是否用了正确的定界符:行内要写
$\theta = \frac{1}{2}$,两个美元符缺一不可; - 检查是否在支持公式渲染的编辑器里操作:有些纯文本框不支持数学模式,需要开启对应设置;
- 检查代码块是否被当成普通文本:如果粘贴到的是"行内代码"区域,公式自然不会被渲染;
- 把公式源码复制到在线平台验证:如果在线平台能正常渲染,说明代码本身没问题,问题出在所在环境的设置。
这个链路几乎能解决 90% 以上的"公式没渲染"问题。核心思路是先确认"代码对不对",再确认"环境支不支持",不要一开始就怀疑命令写错。
6. 公式写完之后的搬运与移植:别让公式被平台困住
学会写公式之后,下一步自然就是"去哪儿用它"。常见的使用出口有几种,各自有不同的注意事项。
6.1 在线平台与本地文档的代码迁移
在在线平台验证过的公式代码,可以直接复制到本地文档源码、笔记软件、博客编辑器里,因为这背后都是同一套数学渲染语法。迁移时要注意一点:不同环境对公式语法的支持范围有差异,在线平台通常支持更多宏包,而轻量编辑器可能只支持一个子集。稳妥的做法是:迁移之后立即预览一遍,重点检查aligned环境、left/right之类的高级语法是否被完整解释。如果目标环境不支持,可以退回到更基础的写法,比如用手动括号代替自动缩放。
6.2 网页与演示文稿的使用技巧
网页上插入公式,通常是借助前端数学渲染库,你只需要在页面源里用$...$或$$...$$包裹公式代码,渲染库会自动把它变成矢量图形。这里有一个细节:有些渲染库对$$行间公式的默认样式是"独占一行且居中",如果你希望公式靠左或不用居中,可能需要加参数调整,或者用行内模式。
演示文稿里则可以借助支持公式的插件或工具,把公式代码放在内容里,编译后自动渲染。做课件时我最常用的做法是"在线平台验证 + 抓图插入",因为抓图可以保证字体和排版在任何电脑上都不变形。代价是不能后续修改,需要修改时得回去改源码再重新导出。衡量清楚"可维护性"和"稳定性"的取舍,按场景选择即可。
6.3 与日常文档的互通
很多文档软件都支持把$...$公式转换为原生数学对象。你只需要在输入方式里选择"LaTeX 公式"模式,把代码粘贴进去,一键转换即可。这种转换出来的公式已经变成文档原生的数学对象,可以直接调整字体、颜色、对齐等样式。值得注意的是,转换后源代码不会保留,相当于"一次翻译、无法还原",所以修改前最好先存一份源码备份。我有过转换后发现需要改一个符号、却找不到原始代码的教训,从那之后养成了"公式代码统一存在单独速查文件里"的习惯。
7. 写在最后的一点个人经验
学了这么多命令和技巧,最后再分享一个改变我使用习惯的小方法:把常用公式做成自己的速查模板库。我平时用行内代码加注释的方式,把贝叶斯公式、泰勒展开、梯度下降、Softmax 这些高频公式整理在一个速查文件里,每次需要用对应公式时,直接复制改参数,比从零敲一遍快得多。真正写熟公式语法之后你会发现,难点从来不是某个命令记不住,而是"把公式的结构看清"这件事。结构清晰了,代码自然水到渠成。建议你先找三五个自己领域最常用的公式,按文中这套三步拆法练一遍,剩下的就是在实际写作中不断重复,直到形成肌肉记忆。