数学字体 · 黑板体、花体、粗体…… · LaTeX 完全上手指南

实数集的黑板体 R、拉格朗日量的花体 L、李代数的哥特体 g、向量的粗体 x——数学里一个字母换个字体就换个含义。这一章把 mathbb / mathcal / mathfrak / mathbf / boldsymbol 等字体命令讲全，并说清各自的惯用场合。

数学字体 · 黑板体、花体、粗体……

数学里，同一个字母换一种字体，就是另一个意思。 $R$ 是个变量， $\mathbb{R}$ 是实数集， $\mathcal{R}$ 可能是某个算子， $\mathfrak{R}$ 又是另一回事。这些「特殊字体」不是为了好看，而是承载约定俗成的语义。这一章把常用的数学字体命令列全，并说清每种的惯用场合。

九种数学字体一览

每个字体命令都是 \mathXX{...}，把字母放进花括号。同一个字母 R 在各字体下：

命令	效果	名称	典型用途
`\mathrm{R}`	$\mathrm{R}$	直立体(roman)	单位、函数名、常数 e/i/d
`\mathit{R}`	$\mathit{R}$	斜体(italic)	强制斜体（变量默认已斜）
`\mathbf{R}`	$\mathbf{R}$	粗体(bold)	向量、矩阵、张量
`\boldsymbol{R}`	$\boldsymbol{R}$	粗斜体	粗体变量、粗体希腊
`\mathbb{R}`	$\mathbb{R}$	黑板粗体	数集 $\mathbb{N}\mathbb{Z}\mathbb{Q}\mathbb{R}\mathbb{C}$
`\mathcal{R}`	$\mathcal{R}$	花体(calligraphic)	拉格朗日量、σ-代数、范畴
`\mathscr{R}`	$\mathscr{R}$	剧本体(script)	另一种花体
`\mathfrak{R}`	$\mathfrak{R}$	哥特体(Fraktur)	李代数、理想
`\mathsf{R}`	$\mathsf{R}$	无衬线(sans-serif)	范畴、某些特殊记号
`\mathtt{R}`	$\mathtt{R}$	打字机(monospace)	代码式记号

黑板粗体：数集的招牌

\mathbb{} 渲染出中间「空心」的黑板粗体，是数集的标准记号——几乎所有数学文献都这么写：

数集	命令	效果
自然数	`\mathbb{N}`	$\mathbb{N}$
整数	`\mathbb{Z}`	$\mathbb{Z}$
有理数	`\mathbb{Q}`	$\mathbb{Q}$
实数	`\mathbb{R}`	$\mathbb{R}$
复数	`\mathbb{C}`	$\mathbb{C}$

于是「n 维实空间」写作 \mathbb{R}^n → $\mathbb{R}^n$ ，「x 属于实数」写作 x \in \mathbb{R} → $x \in \mathbb{R}$ 。

\mathbb 和 \mathcal 通常只对大写字母有效。 黑板粗体、花体设计上只有大写（\mathbb{R} 有，\mathbb{r} 多数环境给不出小写黑板体）。所以看到有人写 $\mathbb{R}$ 、 $\mathcal{L}$ 全是大写，不是巧合——这两种字体本来就只服务大写字母。

粗体的两种：\mathbf 与 \boldsymbol

「粗体」有两个命令，区别在斜不斜，别用混了：

\mathbf{}：粗体 + 直立。适合用拉丁字母命名的向量、矩阵—— $\mathbf{x}$ 、 $\mathbf{A}$ 。
\boldsymbol{}：粗体 + 斜体。当你要粗体希腊字母，或希望粗体变量保持斜体的「变量感」时用它。

对比最能说明问题——想要粗体的 $\alpha$ ：

你敲的	效果	结果
`\mathbf{\alpha}`	$\mathbf{\alpha}$	✗ 希腊字母没变粗
`\boldsymbol{\alpha}`	$\boldsymbol{\alpha}$	✓ 粗体 α
`\mathbf{v}`	$\mathbf{v}$	✓ 粗体向量 v（直立）
`\boldsymbol{v}`	$\boldsymbol{v}$	✓ 粗体向量 v（斜体）

规律：\mathbf 对希腊字母基本无效（它只加粗直立的拉丁字母），要粗体希腊必须用 \boldsymbol。向量到底用直立粗体( $\mathbf{v}$ )还是斜粗体( $\boldsymbol{v}$ )，看你或期刊的偏好，一致即可。

花体与哥特体：各有各的地盘

这两种字体在特定领域是「行话」：

花体 \mathcal{}： $\mathcal{L}$ 拉格朗日量 / 损失函数、 $\mathcal{F}$ σ-代数或傅里叶变换、 $\mathcal{O}$ 大 O 记号、 $\mathcal{P}$ 幂集、 $\mathcal{C}$ 范畴。
哥特体 \mathfrak{}： $\mathfrak{g}$ 、 $\mathfrak{h}$ 李代数， $\mathfrak{p}$ 、 $\mathfrak{m}$ 环的素理想 / 极大理想。

\mathcal{L}(\theta)          % 损失函数
\mathcal{F}\{f\}(\omega)     % 傅里叶变换
\mathfrak{su}(2)             % 李代数

$\mathcal{L}(\theta)$ 、 $\mathfrak{su}(2)$ ——换个字体，读者一眼就知道这不是普通变量，而是某个特定对象。

\mathrm 与 \text 的区别

最后厘清一对容易混的：\mathrm{} 和 \text{} 都能得到「直立正体」，但不一样：

\mathrm{} 是数学字体：内部仍是数学模式（空格被忽略），只是字形变直立。适合单位、函数名、常数——\mathrm{d}x、\mathrm{km}。
\text{} 是切回文本模式：空格有效、字体跟随正文，适合插入真正的自然语言——\text{当且仅当}。

一句话：排「直立的数学符号 / 单位」用 \mathrm，插「一段人话」用 \text。 二者都很常用，别混。

小结与下一章

数学字体的核心是语义： $\mathbb{R}$ 是数集、 $\mathcal{L}$ 是算子、 $\mathfrak{g}$ 是李代数、 $\mathbf{x}$ 是向量——换字体等于换含义。记住 \mathbb/\mathcal 只有大写、粗体希腊要用 \boldsymbol、以及 \mathrm 与 \text 之别，常见场合就够用了。

字母这一站到此结束——变量的「原料」齐了。下一站进入常用构造：把这些字母符号拼成公式。第一个就是数学里最日常的分数与根式： $\frac{a}{b}$ 、 $\sqrt{x}$ 。👉 分数与根式。

参考文献

[1] Overleaf.「Mathematical fonts.」https://www.overleaf.com/learn/latex/Mathematical_fonts —— 数学字体命令与用途。
[2] KaTeX.「Supported Functions — Font.」https://katex.org/docs/supported.html#font —— 本站可用的数学字体。

数学字体 · 黑板体、花体、粗体……

本页目录