常用数学符号速查手册：从加减乘除到微积分，一篇看懂所有数学”记号”#

引言：符号是数学的”字母表”#

上一篇文章《数学知识扫盲》里我们走完了从小学到研究生的数学地图。但很多读者会卡在同一个地方：看公式的时候，符号不认识—— $\sum$ 是什么？ $\forall$ 又是什么？ $\mathbb{R}$ 和 $R$ 有啥区别？

数学符号就是数学的”字母表”。不认识符号，就看不懂数学的语言。这篇文章把数学中最常用的符号整理成一本速查手册：每个符号给出含义、读法、举例和 LaTeX 写法（方便你自己写文档/博客时使用）。本博客支持 KaTeX 公式渲染，所有符号都能直接显示。

建议收藏本文，遇到不认识的符号随时回来查。

第一章：算术与代数符号#

最基础、最常用的运算符号。

符号	含义	举例	LaTeX
$+$	加	$2 + 3 = 5$	`+`
$-$	减	$5 - 3 = 2$	`-`
$\times$	乘（叉乘）	$3 \times 4 = 12$	`\times`
$\cdot$	乘（点乘）	$3 \cdot 4 = 12$	`\cdot`
$\div$	除	$12 \div 3 = 4$	`\div`
$/$	除（分数线）	$a / b = \frac{a}{b}$	`/` 或 `\frac{a}{b}`
$\pm$	正负号	$x = \pm 3$	`\pm`
$\mp$	负正号	$\mp$	`\mp`
$\sqrt{x}$	平方根	$\sqrt{9} = 3$	`\sqrt{x}`
$\sqrt[n]{x}$	n 次方根	$\sqrt[3]{8} = 2$	`\sqrt[n]{x}`
$x^n$	n 次方	$2^3 = 8$	`x^n`
$x^{-1}$	倒数/逆	$x \cdot x^{-1} = 1$	`x^{-1}`
$a \bmod b$	取模（余数）	$17 \bmod 5 = 2$	`a \bmod b`
$\lvert x \rvert$	绝对值	$\lvert -3 \rvert = 3$	`\lvert x \rvert`
$\lfloor x \rfloor$	向下取整	$\lfloor 2.7 \rfloor = 2$	`\lfloor x \rfloor`
$\lceil x \rceil$	向上取整	$\lceil 2.1 \rceil = 3$	`\lceil x \rceil`
$!$	阶乘	$5! = 120$	`!`
$a \equiv b$	同余	$17 \equiv 2 \pmod{5}$	`\equiv`

第二章：关系符号#

表示两个量之间的大小、相等、近似等关系。

符号	含义	举例	LaTeX
$=$	等于	$a = b$	`=`
$\neq$	不等于	$a \neq b$	`\neq`
$\approx$	约等于	$\pi \approx 3.14$	`\approx`
$\cong$	全等/同构	$\triangle ABC \cong \triangle DEF$	`\cong`
$\sim$	相似/服从分布	$X \sim N(\mu, \sigma^2)$	`\sim`
$\propto$	成正比	$y \propto x$	`\propto`
$<$	小于	$a < b$	`<`
$>$	大于	$a > b$	`>`
$\leq$	小于等于	$x \leq 5$	`\leq`
$\geq$	大于等于	$x \geq 0$	`\geq`
$\ll$	远小于	$a \ll b$	`\ll`
$\gg$	远大于	$a \gg b$	`\gg`
$\infty$	无穷大	$\lim_{x \to \infty} \frac{1}{x} = 0$	`\infty`

第三章：集合论符号#

集合是现代数学的通用语言，这些符号出现频率极高。

符号	含义	举例	LaTeX
$\in$	属于	$2 \in \mathbb{N}$	`\in`
$\notin$	不属于	$0 \notin \mathbb{N}^+$	`\notin`
$\subset$	真子集	$A \subset B$	`\subset`
$\subseteq$	子集（含等于）	$A \subseteq B$	`\subseteq`
$\cup$	并集	$A \cup B$	`\cup`
$\cap$	交集	$A \cap B$	`\cap`
$\setminus$	差集	$A \setminus B$	`\setminus`
$\emptyset$	空集	$A \cap \overline{B} = \emptyset$	`\emptyset` 或 `\varnothing`
$\overline{A}$	补集	$\overline{A}$	`\overline{A}`
$\mathbb{N}$	自然数集	$\mathbb{N} = \{1, 2, 3, \dots\}$	`\mathbb{N}`
$\mathbb{Z}$	整数集	$\mathbb{Z} = \{\dots, -1, 0, 1, \dots\}$	`\mathbb{Z}`
$\mathbb{Q}$	有理数集	$\mathbb{Q}$	`\mathbb{Q}`
$\mathbb{R}$	实数集	$\mathbb{R}$	`\mathbb{R}`
$\mathbb{C}$	复数集	$\mathbb{C}$	`\mathbb{C}`
$\{a, b, c\}$	集合	$\{1, 2, 3\}$	`\{a, b, c\}`
$\mid$	整除/满足条件	$\{x \mid x > 0\}$	`\mid`
$\Rightarrow$	推出	$A \Rightarrow B$	`\Rightarrow`
$\Leftrightarrow$	等价	$A \Leftrightarrow B$	`\Leftrightarrow`

记忆技巧： $\cup$ 像”碗”（开口朝上，把东西装进去）； $\cap$ 像”帽子”（盖住共同的部分）； $\in$ 像”字母 e”（element 元素的缩写）。

第四章：逻辑符号#

数学论证的语言，尤其在”证明”中必不可少。

符号	含义	举例	LaTeX
$\land$	逻辑与（且）	$A \land B$	`\land` 或 `\wedge`
$\lor$	逻辑或	$A \lor B$	`\lor` 或 `\vee`
$\neg$	逻辑非	$\neg A$	`\neg`
$\Rightarrow$	蕴含（如果…那么）	$x > 2 \Rightarrow x > 0$	`\Rightarrow`
$\Leftrightarrow$	当且仅当	$A \Leftrightarrow B$	`\Leftrightarrow`
$\forall$	任意/所有	$\forall x > 0, x^2 > 0$	`\forall`
$\exists$	存在	$\exists x, x^2 = 2$	`\exists`
$\exists!$	唯一存在	$\exists! x, x^2 = 0$	`\exists!`
$\therefore$	因此	$a > b, b > c \therefore a > c$	`\therefore`
$\because$	因为	$\because AB = AC$	`\because`
$\vdash$	可推出（证明论）	$\Gamma \vdash \phi$	`\vdash`
$\models$	语义蕴含（模型论）	$\mathcal{M} \models \phi$	`\models`

读法提示： $\forall$ 读作 “for all”（任意）； $\exists$ 读作 “there exists”（存在）； $\Rightarrow$ 读作 “implies”（蕴含）。

第五章：微积分与分析符号#

大学数学的核心符号，也是理工科学生最先接触的”高级符号”。

符号	含义	举例	LaTeX
$\lim$	极限	$\lim_{x \to 0} \frac{\sin x}{x} = 1$	`\lim`
$f'(x)$	一阶导数	$f'(x) = 2x$	`f'(x)` 或 `f^{\prime}(x)`
$f''(x)$	二阶导数	$f''(x) = 2$	`f''(x)`
$\frac{dy}{dx}$	莱布尼茨导数记号	$\frac{dy}{dx} = 2x$	`\frac{dy}{dx}`
$\frac{\partial f}{\partial x}$	偏导数	$\frac{\partial f}{\partial x}$	`\frac{\partial f}{\partial x}`
$\int$	积分	$\int_0^1 x^2 \, dx = \frac{1}{3}$	`\int`
$\iint$	二重积分	$\iint_D f(x,y)\, dxdy$	`\iint`
$\iiint$	三重积分	$\iiint_V \rho \, dV$	`\iiint`
$\oint$	环路积分	$\oint_C \mathbf{F} \cdot d\mathbf{r}$	`\oint`
$\nabla$	梯度/纳布拉算子	$\nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}\right)$	`\nabla`
$\Delta$	变化量/拉普拉斯算子	$\Delta x = x_2 - x_1$	`\Delta`
$\delta$	微小变化/狄拉克函数	$\delta x$	`\delta`
$\to$	趋近于	$x \to a$	`\to` 或 `\rightarrow`
$\mapsto$	映射到	$x \mapsto x^2$	`\mapsto`
$\sum$	求和	$\sum_{i=1}^{n} i = \frac{n(n+1)}{2}$	`\sum`
$\prod$	连乘	$\prod_{i=1}^{n} i = n!$	`\prod`
$e$	自然常数	$e \approx 2.71828$	`e`
$\pi$	圆周率	$\pi \approx 3.14159$	`\pi`

注意： $\Delta$ （大写 Delta）表示”变化量”， $\delta$ （小写 delta）表示”微小变化”，在物理和数学里用法不同，别混。

第六章：线性代数符号#

矩阵、向量、空间——现代科技的数学地基。

符号	含义	举例	LaTeX
$\mathbf{v}$	向量（粗体）	$\mathbf{v} = (1, 2, 3)$	`\mathbf{v}`
$\vec{v}$	向量（箭头）	$\vec{v} = v_1 \hat{i} + v_2 \hat{j}$	`\vec{v}`
$v_i$	向量第 i 个分量	$v_2 = 2$	`v_i`
$\hat{i}, \hat{j}, \hat{k}$	单位向量	$\hat{i} = (1,0,0)$	`\hat{i}`
$A^T$	转置矩阵	$(A^T)_{ij} = A_{ji}$	`A^T`
$A^{-1}$	逆矩阵	$A A^{-1} = I$	`A^{-1}`
$\det(A)$	行列式	$\det(A) \neq 0$	`\det(A)`
$\lvert A \rvert$	行列式（另一种写法）	$\lvert A \rvert = ad - bc$	`\lvert A \rvert`
$\langle \mathbf{u}, \mathbf{v} \rangle$	内积	$\langle \mathbf{u}, \mathbf{v} \rangle = u_1 v_1 + u_2 v_2$	`\langle \mathbf{u}, \mathbf{v} \rangle`
$\mathbf{u} \cdot \mathbf{v}$	点积	$\mathbf{u} \cdot \mathbf{v} = \lVert \mathbf{u} \rVert \lVert \mathbf{v} \rVert \cos \theta$	`\mathbf{u} \cdot \mathbf{v}`
$\mathbf{u} \times \mathbf{v}$	叉积	$\mathbf{u} \times \mathbf{v}$	`\mathbf{u} \times \mathbf{v}`
$\lVert \mathbf{v} \rVert$	向量的模（长度）	$\lVert \mathbf{v} \rVert = \sqrt{v_1^2 + v_2^2}$	`\lVert \mathbf{v} \rVert`
$\lambda$	特征值	$A\mathbf{v} = \lambda \mathbf{v}$	`\lambda`
$I$	单位矩阵	$AI = A$	`I`
$\mathbf{0}$	零向量/零矩阵	$\mathbf{0}$	`\mathbf{0}`
$\dim(V)$	维度	$\dim(\mathbb{R}^n) = n$	`\dim(V)`
$\text{span}\{\dots\}$	张成	$\text{span}\{\mathbf{e}_1, \mathbf{e}_2\}$	`\text{span}\{...\}`
$\oplus$	直和	$V = U \oplus W$	`\oplus`
$\otimes$	张量积	$A \otimes B$	`\otimes`

第七章：概率统计符号#

数据分析、机器学习、金融风控的常用符号。

符号	含义	举例	LaTeX
$P(A)$	事件 A 的概率	$P(A) \in [0, 1]$	`P(A)`
$P(A \mid B)$	条件概率	$P(A \mid B) = \frac{P(A \cap B)}{P(B)}$	`P(A \mid B)`
$X$	随机变量	$X$	`X`
$X \sim N(\mu, \sigma^2)$	服从正态分布	$X \sim N(0, 1)$	`X \sim N(\mu, \sigma^2)`
$E[X]$	期望（均值）	$E[X] = \sum_i x_i p_i$	`E[X]` 或 `\mathbb{E}[X]`
$\mathrm{Var}(X)$	方差	$\mathrm{Var}(X) = E[(X - \mu)^2]$	`\mathrm{Var}(X)`
$\sigma$	标准差	$\sigma = \sqrt{\mathrm{Var}(X)}$	`\sigma`
$\mu$	总体均值	$\mu = E[X]$	`\mu`
$\bar{x}$	样本均值	$\bar{x} = \frac{1}{n}\sum_{i=1}^{n} x_i$	`\bar{x}`
$\hat{\theta}$	参数估计值	$\hat{\theta}$	`\hat{\theta}`
$\rho$	相关系数	$\rho \in [-1, 1]$	`\rho`
$\mathrm{Cov}(X,Y)$	协方差	$\mathrm{Cov}(X,Y)$	`\mathrm{Cov}(X,Y)`
$\binom{n}{k}$	组合数	$\binom{n}{k} = \frac{n!}{k!(n-k)!}$	`\binom{n}{k}`
$n!$	阶乘	$n! = n \times (n-1) \times \dots \times 1$	`n!`
$\chi^2$	卡方分布	$\chi^2$	`\chi^2`
$t$	t 分布	$t$	`t`
$F$	F 分布	$F$	`F`

第八章：希腊字母表（完整 24 个）#

希腊字母在数学中无处不在（角度、常数、算子都用它）。这是完整对照表，按大小写排列。

大写	小写	英文名	中文名	常见用途	LaTeX
$A$	$\alpha$	Alpha	阿尔法	角度、显著性水平、系数	`\alpha`
$B$	$\beta$	Beta	贝塔	回归系数、第二类错误	`\beta`
$\Gamma$	$\gamma$	Gamma	伽马	伽马函数、欧拉常数	`\gamma`
$\Delta$	$\delta$	Delta	德尔塔	变化量、狄拉克函数	`\delta`
$E$	$\epsilon$	Epsilon	艾普西龙	任意小的正数、误差	`\epsilon`
$Z$	$\zeta$	Zeta	泽塔	黎曼 zeta 函数	`\zeta`
$H$	$\eta$	Eta	伊塔	效率、学习率	`\eta`
$\Theta$	$\theta$	Theta	西塔	角度、参数	`\theta`
$I$	$\iota$	Iota	约塔	很少用	`\iota`
$K$	$\kappa$	Kappa	卡帕	曲率、卡帕系数	`\kappa`
$\Lambda$	$\lambda$	Lambda	兰布达	特征值、波长、拉格朗日乘子	`\lambda`
$M$	$\mu$	Mu	缪	均值、磁导率	`\mu`
$N$	$\nu$	Nu	纽	频率、自由度	`\nu`
$\Xi$	$\xi$	Xi	克西	随机变量、黎曼 xi 函数	`\xi`
$O$	$o$	Omicron	奥密克戎	大 O 记号（复杂度）	`o`
$\Pi$	$\pi$	Pi	派	圆周率、连乘	`\pi`
$P$	$\rho$	Rho	柔	相关系数、密度	`\rho`
$\Sigma$	$\sigma$	Sigma	西格玛	求和、标准差	`\sigma`
$T$	$\tau$	Tau	陶	角度（2π）、时间常数	`\tau`
$\Upsilon$	$\upsilon$	Upsilon	宇普西龙	很少用	`\upsilon`
$\Phi$	$\phi$	Phi	斐	黄金比例、分布函数	`\phi`
$X$	$\chi$	Chi	凯	卡方分布、特征函数	`\chi`
$\Psi$	$\psi$	Psi	普赛	波函数、Psi 函数	`\psi`
$\Omega$	$\omega$	Omega	欧米伽	角频率、样本空间	`\omega`

特别提醒： $\pi$ （圆周率）与 $\Pi$ （连乘）是两个不同的符号； $\sigma$ （标准差）与 $\Sigma$ （求和）也不同——大小写含义不同是希腊字母的常见”坑”。

第九章：数学常数与特殊符号#

符号	值	含义	LaTeX
$\pi$	3.14159265…	圆周率：圆周长与直径之比	`\pi`
$e$	2.71828182…	自然常数：自然对数的底	`e`
$i$	$\sqrt{-1}$	虚数单位	`i`
$\varphi$	1.61803398…	黄金比例	`\varphi`
$\gamma$	0.57721566…	欧拉-马歇罗尼常数	`\gamma`
$\infty$	—	无穷大	`\infty`
$0$	0	零（数轴的原点）	`0`
$1$	1	单位元	`1`
$\%$	0.01	百分比	`\%`
$\circ$	—	度（角度）	`^{\circ}`
$'$	—	分（角度/导数）	`'`
$''$	—	秒（角度/二阶导数）	`''`

第十章：进阶记号（数学系/研究生常用）#

学有余力，或者准备读研、看论文的同学，认识这些”高段位”符号：

符号	含义	举例	LaTeX
$\mathbb{E}$	期望（双写 E，概率论进阶记号）	$\mathbb{E}[X]$	`\mathbb{E}`
$\mathbb{P}$	概率测度	$\mathbb{P}(A)$	`\mathbb{P}`
$\mathcal{F}$	西格玛代数/函数空间	$\mathcal{F}$	`\mathcal{F}`
$\sigma$ -代数	事件域（测度论）	$\mathcal{F} \subseteq 2^{\Omega}$	`\sigma`
$\Omega$	样本空间	$\Omega$	`\Omega`
$\mathfrak{g}$	李代数	$\mathfrak{g}$	`\mathfrak{g}`
$\hom(A,B)$	同态集	$\hom(G, H)$	`\hom`
$\ker(f)$	核（同态映射核）	$\ker(f) = \{x \mid f(x) = 0\}$	`\ker(f)`
$\text{Im}(f)$	像	$\text{Im}(f)$	`\text{Im}(f)`
$\cong$	同构	$G \cong H$	`\cong`
$\simeq$	同伦等价	$X \simeq Y$	`\simeq`
$\sim$	等价关系/同调	$a \sim b$	`\sim`
$\hookrightarrow$	单射嵌入	$A \hookrightarrow B$	`\hookrightarrow`
$\twoheadrightarrow$	满射	$A \twoheadrightarrow B$	`\twoheadrightarrow`
$\partial$	偏导/边界算子	$\frac{\partial f}{\partial x}$	`\partial`
$\Box$	达朗贝尔算子	$\Box \phi = 0$	`\Box`
$\nabla \times$	旋度	$\nabla \times \mathbf{F}$	`\nabla \times`
$\nabla \cdot$	散度	$\nabla \cdot \mathbf{F}$	`\nabla \cdot`

附录：写作速查——最常用的 20 个 LaTeX 命令#

如果你要自己写数学文档（Markdown、Typora、Notion、LaTeX），下面 20 个命令覆盖 80% 的场景：

命令	效果	说明
`\frac{a}{b}`	$\frac{a}{b}$	分数
`\sqrt{x}`	$\sqrt{x}$	根号
`\sum_{i=1}^{n}`	$\sum_{i=1}^{n}$	求和
`\int_a^b`	$\int_a^b$	积分
`\lim_{x \to 0}`	$\lim_{x \to 0}$	极限
`\partial`	$\partial$	偏导符号
`\alpha` `\beta`	$\alpha \ \beta$	希腊字母
`\times` `\div` `\pm`	$\times \ \div \ \pm$	运算
`\leq` `\geq` `\neq` `\approx`	$\leq \ \geq \ \neq \ \approx$	关系
`\in` `\subset` `\cup` `\cap`	$\in \ \subset \ \cup \ \cap$	集合
`\forall` `\exists` `\Rightarrow`	$\forall \ \exists \ \Rightarrow$	逻辑
`\infty`	$\infty$	无穷
`\mathbb{R}`	$\mathbb{R}$	黑板粗体（数集）
`\mathbf{v}`	$\mathbf{v}$	粗体（向量）
`\hat{x}`	$\hat{x}$	帽子（估计量）
`\bar{x}`	$\bar{x}$	横线（均值）
`\vec{v}`	$\vec{v}$	箭头（向量）
`\dots`	$\dots$	省略号
`\left( \right)`	$\left( \frac{a}{b} \right)$	自适应括号
`\text{中文}`	$\text{中文}$	公式内中文

结语#

数学符号看似繁多，但规律性很强：希腊字母表（24 个） + 关系/逻辑/集合符号 + 算子符号（ $\sum$ 、 $\int$ 、 $\lim$ 、 $\partial$ ），掌握这三类，就能读懂 95% 的数学公式。

遇到不认识的符号，三步走：一看它的形状（属于哪类符号）→ 二查本文表格 → 三结合上下文理解。符号是工具，不是障碍。祝你阅读数学愉快！

💡 本文是「知识扫盲」系列第 2 篇（第 1 篇为《数学知识扫盲：从小学算术到研究生数学》）。本博客支持 KaTeX 公式渲染，文中所有符号均可直接显示。如需转载，请注明出处。