LaTeX
是一种基于 TEX 的排版系统,由美国计算机科学家莱斯利·兰伯特(Leslie Lamport)在 20 世纪 80 年代初期开发,利用这种格式系统的处理,即使用户没有排版和程序设计的知识也可以充分发挥由 TEX 所提供的强大功能,不必一一亲自去设计或校对,能在几天,甚至几小时内生成很多具有书籍质量的印刷品生成复杂表格和数学公式,这一点表现得尤为突出。因此它非常适用于生成高印刷质量的科技和数学、物理文档。这个系统同样适用于生成从简单的信件到完整书籍的所有其他种类的文档。
KaTeX
是一个在 Web 浏览器上显示数学符号的跨浏览器的 JavaScript 库,它特别强调快速和易于使用,最初由可汗学院开发。不过,与 MathJax 相比,它只处理 LaTeX 的数学符号的一个更小的子集。在 hexo 里 KaTeX 是一款轻量化的公式渲染器,据说拥有比 MathJax3 更快的效率。
- 快速: 它以同步的方式渲染数学公式,不需要重排页面。
- 印刷质量: 它的布局基于 TeX 。
- 自包含: 它没有依赖项,所以可以很方便引用。
- 能够进行服务器端渲染: 可以选择在服务器上生成 HTML(因此可以用 Node.js 预先渲染公式,然后作为纯 HTML 发送)。
语法
- 行内(inline)公式包在 $ 内
- 行间(display)公式包在 $$ 内
希腊字母
名称 | 小写 | 语法 | 大写 | 语法 |
---|---|---|---|---|
阿尔法 | \alpha |
\Alpha |
||
贝塔 | \beta |
\Beta |
||
伽马 | \gamma |
\Gamma |
||
德尔塔 | \delta |
\Delta |
||
伊普西隆 | \epsilon |
\Epsilon |
||
泽塔 | \zeta |
\Zeta |
||
伊塔 | \eta |
\Eta |
||
西塔 | \theta |
\Theta |
||
约塔 | \iota |
\Iota |
||
卡帕 | \kappa |
\Kappa |
||
兰布达 | \lambda |
\Lambda |
||
缪 | \mu |
\mu |
||
纽 | \nu |
\Nu |
||
克西 | \xi |
\xi |
||
奥密克戎 | \omicron |
\Omicron |
||
派 | \pi |
\Pi |
||
肉 | \rho |
\RHo |
||
西格玛 | \sigma |
\Sigma |
||
套 | \tau |
\Tau |
||
宇普西龙 | \upsilon |
\Upsilon |
||
佛爱 | \phi |
\Phi |
||
西 | \chi |
\Chi |
||
普西 | \psi |
```\Psi | ||
欧米伽 | \omega |
\Omega |
||
派的变体 | \varpi |
\varPi |
||
西格玛的变体 | \varsigma |
\varSimag |
||
西塔的变体 | \vartheat |
\varTheta |
||
佛爱的变体 | \varphi |
\varPhi |
||
伽马的变体 | - | - | \varGamma |
|
伊普西隆 | \varesilon |
- | - | |
德尔塔的变体 | - | - | \varDelta |
|
卡帕的变体 | \varkappa |
- | - | |
兰布达的变体 | - | - | \varLambda |
|
西塔的变体 | \thetasym |
- | - | |
克西的变体 | - | - | \varXi |
|
肉的变体 | \varrho |
- | - | |
宇普西龙的变体 | - | - | \varUpsilon |
|
迪伽马(已弃) | \digamma |
- | - | |
普西的变体 | - | - | \varPsi |
|
欧米伽的变体 | - | - | \varOmega |
|
- | \Game |
- | - | |
- | \Bbbk |
- | - | |
吉梅尔(希伯来字母) | \gimel |
- | - | |
达列斯(希伯来字母) | \daleth |
- | - | |
艾丝(希伯来字母) | \eth |
- | - | |
- | \text{\AE} |
- | - | |
- | \text{\oe} |
- | - |
特殊符号
- 左箭头 ,
\leftarrow
。 - 右箭头 ,
\rightarrow
。 - 左右箭头 ,
\leftrightarrow
。 - 左大箭头 ,
\Leftarrow
。 - 右大箭头 ,
\Rightarrow
。 - 左右大箭头 ,
\Leftrightarrow
。 - 带文字的左箭头 ,
\xleftarrow{note}
。 - 带文字的右箭头 ,
\xrightarrow{note}
。 - 带文字的左右箭头 ,
\xleftrightarrow{note}
。 - 带文字的左大箭头 ,
\xLeftarrow{note}
。 - 带文字的右大箭头 ,
\xRightarrow{note}
。 - 带文字的左右大箭头 ,
\xLeftrightarrow{note}
。
在 中, \imath
和 \jmath
都是用于表示虚数单位 和 的变体符号,通常用于避免与数字 或 字母 本身产生混淆。它们特别用于数学中表示虚数单位时,用于区别不同的符号。
- 虚部 (
imath
):- 符号:
- 用途:
imath
用来表示虚数单位 ,其形态稍有不同,特别是在某些数学和物理应用中,避免与数字 混淆,其为复数的基础,满足 ,通常表示复数的虚部。
- 实部 (
jmath
):- 符号:
- 用途:
\jmath
用来表示虚数单位 ,这是某些工程学(特别是电气工程和信号处理)中常用的虚数单位符号, 作为虚数单位,满足 ,有时用于替代 ,尤其是在电子工程和电路学中。
在 中, \mho
用于表示西门子单位(Siemens)的符号,通常用于电导(conductance)的表示。西门子单位是电导的标准单位,等于电阻的倒数,符号 ,描述物质导电能力的物理量。
而 就是西门子单位的旧称,用于表示电导。
在 中, \ell
通常用于表示一些特定的数学量,尤其在几何、物理和统计学中,例如长度、线段、路径长度或光学路径长度等物理量。
- 符号:
在 中, \wp
和 \weierp
表示同一个符号 ,即 Weirstrass 函数的符号,表示 Weirerstrass p 函数,通常用于复分析和数学分析中。 Weierstrass p 函数是复变函数理论中的一个重要函数,特别是在椭圆函数的理论中应用广泛,用于描述由代数方程定义的曲线性质。
在 中, \aleph
() 是希伯来字母,广泛用于集合论和数学中,尤其是在描述基数时。它通常用来表示无限集合的大小,尤其是在集合论中的无限基数。
在集合论中, \aleph
用来表示无限集合的基数,也就是集合的大小。特别地, \aleph
数字描述了不同种类地无限集合的大小。
- ,表示最小的无限基数,通常用于表示可数无限集合,例如自然数集合 。
- ,表示下一个更大的基数,通常用于表示不可数集合的基数,例如实数集合 。
注: \alef
也同样表示一个符号 。
在 中, \Finv
表示集合的逆映射(逆运算),或表示函数的逆或矩阵的逆。 表示函数 的逆(或操作的逆)。
在 中, \text{\AA}
表示 ,这个符号是安格斯特朗 (Ångström) ,用于表示长度单位,简称 埃米 。 1 等于 米,通常用于表示原子和分子尺度的长度。
这是一个非常小的长度单位,常用于物理学和化学中,尤其是在描述原子半径、分子结构、光波长等方面。
注: \text{\aa}
是埃米的小写形式 。
在 中, \beth
是一个特殊符号,表示 Beth 数。这是集合论中用于描述无限集合大小的一种符号,由数学家 Georg Cantor 提出,用来标示不可数无限集的大小,尤其是与 艾列夫数() 对应的大小。
- 通常表示与紫衫树集合等势的可数无限集(其基数等同于自然数集的基数,即 。
- 是下一个更大的无穷基数,通常表示实数集的基数,等同于 ,即可数无限集合的幂集的大小。
在 中, \hbar
表示约化普朗克常数 ,通常用于物理学,尤其是在量子力学和统计力学中:
它在量子力学中有着广泛的应用,特别是在描述量子态的角动量、能量量子化等方面。其数值大约为:
注: 有时,也会在文章中看到 ,其也表示约化普朗克常数,写为 \hslash
。
常用标记
- ,下标。
- ,上标。
- ,帽子。
- ,短线。
,上弧形,特定的标记或符号,如加法、差异、复数部分等。
- ,小上钩。
- ,大上钩。
- ,小波浪。
- ,大波浪。
- ,下波浪。
- ,表示在字母 上方加上一个 “急音符” ,即一个倾斜向右上的短横线。通常表示元音的发音带有重音或升高的音调。
- ,表示在字母 上方加上一个 “重音符” ,即一个倾斜向右下的短横线。通常表示原因的发音带有较低的音调。
运算符号
一元运算 | 符号 | 语法 |
---|---|---|
对数 | \log_{3}(10) |
|
自然对数 | \ln |
|
指数 | \exp |
|
向上取整 | \lceil a lrceil |
|
向下取整 | \lfloor a \rfloor |
|
最接近的整数 | \lfloor a \rceil |
|
根号 | \sqrt{3} \sqrt{n}{x} |
二元运算 | 符号 | 语法 | 基本运算 | 符号 | 语法 |
---|---|---|---|---|---|
等于 | = |
井号 | \# |
||
约等于 | \approx |
反斜杠 | \backslash |
||
全等于 | \cong |
正斜杠 | \not |
||
不等于 | \neq |
或 | \veev |
||
渐进等于 | \simeq |
且 | \wedge |
||
恒等于 | \equiv |
非 | \neg |
||
定义等于 | \coloneqq |
交集 | \cap |
||
正比于 | \propto |
并集 | \cup |
||
加号 | + |
偏导 | \partial |
||
减号 | - |
上标 | X^{3} |
||
加减号 | \pm |
下标 | X_{3} |
||
减加号 | \mp |
正上下标 | \sum\limits^{n}_{i=1} |
||
乘号 | \times |
平均和 | \bar{X} |
||
点乘 | \cdot |
观测值 | \hat{X} |
||
星号 | \ast |
离散求和 | \sum |
||
除号 | \div |
积分 | \int |
||
小于 | \lt |
环路积分 | \oint |
||
大于 | \gt |
连乘 | \prod |
||
远小于 | \ll \lll |
min | \min |
||
远大于 | \gg \ggg |
max | \max |
||
小于等于 | \le |
正弦 | \sin |
||
大于等于 | \ge |
余弦 | \cos |
||
分号 | \frac{分子}{分母} |
正切 | \tan |
||
大分号 | \dfrac{分子}{分母} |
余切 | \cot |
||
小分号 | \tfrac{分子}{分母} |
向量微分算子 | \nabla |
逻辑符号
名称 | 符号 | 语法 | 示例 |
---|---|---|---|
因为 | \because |
- | |
所以 | \therefore |
- | |
逻辑非 | \neg \lnot \sim |
||
逻辑与 | \land |
- | |
逻辑或 | \lor |
- | |
异或 | \oplus \veebar |
- | |
等价,当且仅当 | - | ||
条件运算,如果…那么… | \Rarr \rarr |
- | |
左箭头 | \Larr \larr |
- | |
定义 | \triangleq |
- | |
任意 | \forall |
- | |
存在 | \exists |
- | |
唯一存在 | \exists! |
- | |
满足符 | \vDash |
- | |
推断出 | \vdash |
- |
注释符号
名称 | 符号 | 语法 | 示例 |
---|---|---|---|
分节 | text{\sect} |
- | |
星号 | \start |
||
左划线 | \cancel{5} |
- | |
右划线 | \bcancel{5} |
- | |
交叉划线 | \xcancel{5} |
- | |
划线 | \sout{5} |
- | |
方框 | \boxed{\pi = \frac{c}{d}} |
- | |
上备注 | \overbrace{a + b + c}^{text{up note}} |
- | |
下备注 | \underbrace{a + b + c}_{text{down note}} |
- |
特殊字体
字母加粗
1 | $$ |
文本
1 |
|
花体
1 |
|
空心体 (仅针对大写)
1 |
|
线性代数
基本符号
名称 | 符号 | 语法 | 备注 |
---|---|---|---|
向量(粗体) | \mathbf{a} |
- | |
矩阵(大写) | A |
- | |
张量 | \overleftrightarrow{T} |
- | |
张量(花体) | \mathcal{T} |
- | |
变换 | \to |
- | |
矩阵转置 | A^{\top} |
- | |
矩阵等价 | A \cong B |
- | |
矩阵相似 | A \sim B |
- | |
矩阵合同 | A \simeq B |
- | |
增广矩阵 | \bar{A} |
- | |
伴随矩阵 | A^{*} |
- | |
矩阵的行列式 | \det A |
- | |
对角阵 | \mathrm{diag}(a_1, a_2, a_3) |
- | |
克罗内克积 | \otimes |
- | |
横点 | \codts |
- | |
竖点 | \vodts |
- | |
对角点 | \ddots |
- |
方程类
定义方程(线性方程)是描述线性关系的数学表达式。
1 | f(x) = \begin{cases} |
方程组是由多个线性方程组成的集合,通常表示为多个未知数之间的多个线性关系。方程组通常包含两个或更多的方程,它们共同约束着同一组未知数。
1 | \begin{alignedat}{2} |
多行等式(或称为多步等式)通常用于表示一些步骤或过程的逐步推导,尤其是在求解线性方程组、矩阵运算、线性变换等问题时。它指的是多个等式通过一系列步骤逐步推导出结果,每个等式表示一个中间的结果。
1 | \begin{aligned} |
矩阵类
数组(Array)这个术语通常用于表示一组数据元素,和矩阵很类似。数组通常用于存储多个数据项,而在线性代数中,数组通常用来表示向量或矩阵。数组在编程中是一个常见的数据结构,它可以帮助我们存储和处理大量的数字或其他数据。
1 | \begin{array}{cc} |
矩阵是一个非常重要的数学概念。它是一个按行列排列的数字集合,用于表示 线性变换、方程组、系统解等问题。矩阵不仅仅是数据结构,它在线性代数中有特定的数学意义和运算规则。
矩阵
不带边框的矩阵
实现代码:
1 | $$ |
带边框的矩阵
-
替换
matrix
:pmatrix
: 小括号边框bmatrix
: 中括号边框Bmatrix
: 大括号边框vmatrix
: 单竖线边框Vmatrix
: 双竖线边框
-
使用left、right:
- 在起始、结束标记外围增加
\left
、\right
标签 \left(
,\right)
: 小括号边框\left[
,\right]
: 中括号边框\left{
,\right}
: 大括号边框
- 在起始、结束标记外围增加
小括号边框
1 | \begin{pmatrix} |
中括号边框
1 | \begin{bmatrix} |
大括号边框
1 | \begin{Bmatrix} |
单竖线边框
1 | \begin{vmatrix} |
双竖线边框
1 | \begin{Vmatrix} |
省略元素
- 横省略号:
\cdots
- 竖省略号:
\vdots
- 斜省略号:
\ddots
带省略元素的矩阵
1 | \begin{bmatrix} |
带参数的矩阵
- 需要
array
环境: 起始、结束处以{array}
声明 - 对齐方式: 在
{array}
以后{}逐行统一声明 - 对齐参数: l、c、r依次为左、居中、右对齐。
- 竖直线: 在声明对齐时,插入
|
建立竖直线 - 水平线:
\hline
做表格
1 | $$ |
强调某行数据
1 | $$ |
行内矩阵
我们使用作为因子
1 |
|
方程组
- 需要
cases
环境: 起始、结束处以{cases}
声明
方程组
1 | $$ |