一. LaTeX公式#
LaTeX 公式本质是一套用纯文本字符描述数学结构的语法,把”怎么写”和”怎么排”彻底分离。你写 \frac{a}{b},引擎负责画成分式;写
\int_0^\infty,引擎负责画出带上下限的积分号
这套语法的魔力在于跨平台通用:GitHub 的 Markdown 渲染、知乎编辑器、Notion、Typora、Obsidian、Overleaf,全部统一采用 LaTeX
语法规范——学一遍,所有平台通用.
两种公式模式#
| 模式 | 语法 | 用途 |
|---|
| 行内公式 | $E = mc^2$ | 嵌在正文里,随文字流排版 |
| 独立公式 | $$E = mc^2$$ | 单独成行并居中,用于重要公式 |
行内效果:E=mc2vs 独立效果:
E=mc2注意独立公式的 $$ 必须独占一行,否则部分渲染器(尤其 KaTeX)会解析失败。
Typora 中的快捷键#
插入公式块: Ctrl/Cmd + Shift + M或输入 $$ 后回车
二. 常用语法#
上下标#
| 渲染 | 源码 | 说明 |
|---|
| x2 | x^2 | 上标 |
| xi | x_i | 下标 |
| xi2 | x_i^2 | 同时上下标 |
| ai,j(t) | a_{i,j}^{(t)} | 多字符必须加花括号 |
| ex2 | e^{x^2} | 嵌套上标 |
| i=1∑n | \sum\limits_{i=1}^{n} | 强制上下(行内也上下排) |
⚠️ x^10 只渲染成 x10(只有 1 在上标),必须写 x^{10} → x10。
分式与根号#
| 渲染 | 源码 | 说明 |
|---|
| ba | \frac{a}{b} | 分式 |
| ba | \dfrac{a}{b} | 强制 display 大小 |
| ba | \tfrac{a}{b} | 强制行内大小 |
| ∂xf 或 ∂x∂f | \frac{\partial f}{\partial x} | 偏导 |
| x | \sqrt{x} | 平方根 |
| 3x | \sqrt[3]{x} | n 次根 |
| 1+x11 | \cfrac{1}{1 + \cfrac{1}{x}} | 连分式 |
括号与定界符#
| 渲染 | 源码 | 说明 |
|---|
| (21) | (\frac{1}{2}) | 固定小括号(不缩放) |
| (21) | \left(\frac{1}{2}\right) | 自适应高度 |
| [x] | \left[ x \right] | 方括号 |
| {x} | \left\{ x \right\} | 花括号(要转义) |
| ∣x∣ | \left\lvert x \right\rvert | 绝对值 |
| dxdyx=0 | \left. \frac{dy}{dx} \right\vert_{x=0} | 单侧括号(. 占位) |
\left 与 \right 必须成对出现,缺一个就编译报错。
求和、积分、极限#
| 渲染 | 源码 | 说明 |
|---|
| ∑i=1nxi | \sum_{i=1}^{n} x_i | 求和 |
| ∑i∈Sxi | \sum_{i \in \mathcal{S}} x_i | 带条件求和 |
| ∏i=1nxi | \prod_{i=1}^{n} x_i | 连乘 |
| ∫0∞f(x)dx | \int_0^\infty f(x) \, dx | 定积分 |
| ∬Df | \iint_{\mathcal{D}} f | 二重积分 |
| limn→∞an | \lim_{n \to \infty} a_n | 极限 |
| limx→0+f(x) | \lim_{x \to 0^+} f(x) | 右极限 |
三. 速查表#
希腊字母(高频)#
| 渲染 | 源码 | 读音/用途 | 渲染 | 源码 | 读音/用途 |
|---|
| α | \alpha | alpha,学习率 | β | \beta | beta,动量 |
| γ | \gamma | gamma,折扣因子 | δ | \delta | delta,增量 |
| ϵ | \epsilon | epsilon,噪声/精度 | ε | \varepsilon | 变体写法 |
| ζ | \zeta | zeta | η | \eta | eta,学习率 |
| θ | \theta | theta,模型参数 | ϑ | \vartheta | 变体写法 |
| λ | \lambda | lambda,正则系数 | μ | \mu | mu,均值 |
| ν | \nu | nu | π | \pi | pi |
| ρ | \rho | rho | σ | \sigma | sigma,标准差/激活 |
| τ | \tau | tau,温度系数 | ϕ | \phi | phi |
| φ | \varphi | 变体写法 | ψ | \psi | psi |
| ω | \omega | omega,权重/角频率 | ξ | \xi | xi |
| Γ | \Gamma | 大写 | Δ | \Delta | 差分 |
| Θ | \Theta | 参数集合 | Λ | \Lambda | 对角矩阵 |
| Σ | \Sigma | 协方差矩阵 | Φ | \Phi | 特征映射 |
| Ω | \Omega | 样本空间 | Π | \Pi | 连乘 |
运算符与关系符#
| 渲染 | 源码 | 含义 | 渲染 | 源码 | 含义 |
|---|
| × | \times | 叉乘 | ⋅ | \cdot | 点乘 |
| ÷ | \div | 除 | ± | \pm | 正负 |
| ∘ | \circ | 复合/逐元素 | ⊙ | \odot | Hadamard 积 |
| ⊗ | \otimes | 卷积/Kronecker 积 | ⊕ | \oplus | 直和/拼接 |
| ∗ | \ast | 卷积运算符 | ⋆ | \star | 星号 |
| = | \neq | 不等于 | ≈ | \approx | 约等于 |
| ≡ | \equiv | 恒等于 | ∼ | \sim | 服从/同阶 |
| ≤ | \leq | 小于等于 | ≥ | \geq | 大于等于 |
| ≪ | \ll | 远小于 | ≫ | \gg | 远大于 |
| ∝ | \propto | 正比于 | ∥ | \parallel | 平行/分布间 |
| ⊥ | \perp | 垂直/独立 | ≺ | \prec | 优于 |
集合与数集#
| 渲染 | 源码 | 含义 |
|---|
| R | \mathbb{R} | 实数集 |
| Rn | \mathbb{R}^{n} | n 维实向量空间 |
| Rm×n | \mathbb{R}^{m \times n} | 实矩阵空间 |
| N,Z,Q,C | \mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{C} | 自然数/整数/有理数/复数 |
| E[X] | \mathbb{E}[X] | 期望 |
| 1[⋅] | \mathbb{1}[\cdot] | 指示函数 |
| ∈ | \in | 属于 |
| ∈/ | \notin | 不属于 |
| ⊂ | \subset | 子集 |
| ⊆ | \subseteq | 子集(含相等) |
| ∪ | \cup | 并集 |
| ∩ | \cap | 交集 |
| ∖ | \setminus | 差集 |
| ∅ | \emptyset 或 \varnothing | 空集 |
| ∀ | \forall | 任意 |
| ∃ | \exists | 存在 |
| ∄ | \nexists | 不存在 |
| ∞ | \infty | 无穷 |
| ∣D∣ | \lvert \mathcal{D} \rvert | 集合基数 |
线性代数符号#
| 渲染 | 源码 | 含义 |
|---|
| x | \mathbf{x} | 向量 |
| A | \mathbf{A} | 矩阵 |
| X | \mathsf{X} | 张量(无衬线) |
| A⊤ | \mathbf{A}^\top | 转置(推荐 \top) |
| A−1 | \mathbf{A}^{-1} | 逆矩阵 |
| A+ | \mathbf{A}^{+} | 伪逆 |
| I | \mathbf{I} | 单位矩阵 |
| ∥x∥2 | \lVert \mathbf{x} \rVert_2 | L2 范数 |
| ∥x∥1 | \lVert \mathbf{x} \rVert_1 | L1 范数 |
| ∥x∥p | \lVert \mathbf{x} \rVert_p | p 范数 |
| ∥x∥F | \lVert \mathbf{x} \rVert_F | Frobenius 范数 |
| ⟨x,y⟩ | \langle \mathbf{x}, \mathbf{y} \rangle | 内积 |
| x⊤y | \mathbf{x}^\top \mathbf{y} | 内积(列向量) |
| det(A) | \det(\mathbf{A}) | 行列式 |
| tr(A) | \text{tr}(\mathbf{A}) | 迹 |
| rank(A) | \text{rank}(\mathbf{A}) | 秩 |
| diag(v) | \text{diag}(\mathbf{v}) | 对角矩阵 |
| span(v1,v2) | \text{span}(\mathbf{v}_1, \mathbf{v}_2) | 张成空间 |
| N(A) | \mathcal{N}(\mathbf{A}) | 零空间 |
微积分符号#
| 渲染 | 源码 | 含义 |
|---|
| dxdy | \frac{dy}{dx} | 导数 |
| ∂x∂y | \frac{\partial y}{\partial x} | 偏导数 |
| ∂xf | \partial_x f | 偏导简写 |
| ∇f | \nabla f | 梯度 |
| ∇θJ(θ) | \nabla_\theta J(\theta) | 对 θ 求梯度 |
| ∇2f | \nabla^2 f | Hessian / 拉普拉斯 |
| ∇⋅F | \nabla \cdot \mathbf{F} | 散度 |
| f′(x),f′′(x) | f'(x), f''(x) | 一阶/二阶导 |
| ∫abf(x)dx | \int_a^b f(x) \, dx | 定积分 |
| ∬D | \iint_D | 二重积分 |
| ∮C | \oint_C | 曲线积分 |
| limx→0 | \lim_{x \to 0} | 极限 |
| ∑i=1n | \sum_{i=1}^{n} | 求和 |
| ∏i=1n | \prod_{i=1}^{n} | 连乘 |
| dx | \mathrm{d}x | 正体微分号 |
概率与统计符号#
| 渲染 | 源码 | 含义 |
|---|
| P(A) | P(A) | 概率 |
| P(A∣B) | P(A \mid B) | 条件概率 |
| p(x) | p(x) | 概率密度 |
| p(x;θ) | p(x; \theta) | 带参数的密度 |
| X∼N(μ,σ2) | X \sim \mathcal{N}(\mu, \sigma^2) | 服从高斯分布 |
| E[X] | \mathbb{E}[X] | 期望 |
| Ex∼p[f(x)] | \mathbb{E}_{x \sim p}[f(x)] | 关于分布的期望 |
| Var(X) | \text{Var}(X) | 方差 |
| Cov(X,Y) | \text{Cov}(X, Y) | 协方差 |
| KL(p∥q) | \text{KL}(p \parallel q) | KL 散度 |
| X⊥Y | X \perp Y | 独立 |
| X⊥Y∣Z | X \perp Y \mid Z | 条件独立 |
| H(X) | \mathcal{H}(X) | 熵 |
| I(X;Y) | \mathcal{I}(X; Y) | 互信息 |
| argmaxθf(θ) | \arg\max_\theta f(\theta) | 取最大参数 |
| argminθf(θ) | \arg\min_\theta f(\theta) | 取最小参数 |
机器学习 / 深度学习专用符号#
| 渲染 | 源码 | 含义 |
|---|
| θ,Θ | \theta, \Theta | 模型参数(全集) |
| W,b | \mathbf{W}, \mathbf{b} | 权重矩阵、偏置 |
| x,y | \mathbf{x}, \mathbf{y} | 输入、标签 |
| y^ | \hat{y} | 预测值 |
| L | \mathcal{L} | 损失函数 |
| D | \mathcal{D} | 数据集 |
| X,Y | \mathcal{X}, \mathcal{Y} | 输入空间、输出空间 |
| α,η | \alpha, \eta | 学习率 |
| λ | \lambda | 正则化系数 |
| γ | \gamma | 折扣因子 / 衰减 |
| ϵ | \epsilon | 数值稳定项 / 噪声 |
| τ | \tau | 温度系数 |
| σ(⋅) | \sigma(\cdot) | Sigmoid |
| Q,K,V | \mathbf{Q}, \mathbf{K}, \mathbf{V} | Query/Key/Value |
| dk,dmodel | d_k, d_{\text{model}} | 维度 |
| N,B,T | N, B, T | 样本数 / 批大小 / 序列长度 |
| ⊙ | \odot | 逐元素乘 |
| ∗ | * | 卷积运算 |
| ⊕ | \oplus | 残差/拼接 |
| softmax(z) | \text{softmax}(\mathbf{z}) | Softmax |
| ReLU(⋅) | \text{ReLU}(\cdot) | 激活函数 |