使用括号和数学符号
调整定界符尺寸，并输入常用集合、关系和希腊字母。
本页内容
LaTeX 命令表达数学符号的含义，使间距一致，并让定界符适应其中表达式的尺寸。
查找常用符号命令#
以下命令在数学模式中使用。黑板粗体集合 \mathbb{R} 和 \varnothing 等符号需要加载 amssymb。
| 用途 | 源码 | 结果说明 |
|---|---|---|
| 希腊字母 | \alpha、\beta、\Gamma、\Delta |
小写 alpha、beta 和大写 Gamma、Delta |
| 关系 | =、\neq、\approx、\leq、\geq |
相等、不等、近似和大小关系 |
| 集合 | \in、\notin、\subseteq、\cup、\cap、\mathbb{R} |
属于、包含、并集、交集和实数 |
| 箭头 | \to、\mapsto、\Rightarrow、\leftrightarrow |
映射和蕴含 |
| 算子 | \sum、\prod、\int、\lim、\log |
大型算子和有名称的数学算子 |
| 定界符 | ( )、[ ]、\{ \}、\langle \rangle |
圆括号、方括号、花括号和尖括号 |
优先使用表达含义的命令，不要直接复制外观相似的 Unicode 字符。例如，\in 会获得关系符号间距，而粘贴的字形未必如此。
统一定义绝对值与范数#
示例中的不等式假设 f 是常数为 L 的 Lipschitz 函数，并非任意函数都有此性质。将示例用于数学论证时，请明确该假设。
mathtools 可以为成对定界符定义可复用名称。带星号形式自动调整尺寸；可选尺寸参数（例如 \big）则适合自动尺寸过大的情况。
\documentclass{article}
\usepackage{amssymb,mathtools}
\DeclarePairedDelimiter{\abs}{\lvert}{\rvert}
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
\begin{document}
Let \(f\colon \mathbb{R}^n \to \mathbb{R}\) be Lipschitz with constant \(L\).
For every \(x\in\mathbb{R}^n\),
\[
\abs*{f(x)-f(0)} \leq L\norm*{x}.
\]
The evaluated antiderivative can be written
\[
\left. \frac{x^2}{2} \right|_{0}^{1} = \frac{1}{2}.
\]
The set \(\{x\in\mathbb{R}: x\geq 0\}\) contains the nonnegative reals.
\end{document}
结果展示了语义明确的绝对值和范数定界符、求值竖线前的不可见定界符，以及用转义花括号表示的集合。每个 \left 都必须配对一个 \right；在任一命令后添加句点，表示该侧不可见。
有意识地选择括号尺寸#
分式、矩阵或较高求和式适合 \left(...\right) 自动定界符。较矮内容或精细对齐的多行式中，它可能过大；这时使用普通括号，或 \bigl( 与 \bigr)、\Bigl[ 与 \Bigr] 等手动尺寸。左右尺寸应配对。
含义重要时，不要只写 |：\mid 是“使得”或整除等关系，\lvert...\rvert 表示绝对值，\Vert 是范数定界符。语义清晰的源码更容易审阅和调整格式。
练习将 Lipschitz 不等式改成 \abs[\big]{...}，并与 \abs*{...} 比较。确认只有转义的花括号会打印出来，每个可伸缩定界符都有配对，再学习多行公式对齐。