添加公式的方法
1、行内公式
$行内公式$
2、行间公式
$$行间公式$$
一些常用特殊符号
表1:
关系运算符代码 | 符号效果 | 集合运算符代码 | 符号效果 | 三角运算符代码 | 符号效果 |
---|---|---|---|---|---|
\pm | ± | \emptyset | ∅ | \bot | ⊥ |
\times | × | \in | ∈ | \angle | ∠ |
\div | ÷ | \notin | ∉ | 30^\circ | 30∘ |
\mid | ∣ | \subset | ⊂ | \sin | sin |
\nmid | ∤ | \supset | ⊃ | \cos | cos |
\cdot | ⋅ | \subseteq | ⊆ | \tan | tan |
\circ | ∘ | \supseteq | ⊇ | \cot | cot |
\ast | ∗ | \bigcap | ⋂ | \sec | sec |
\bigodot | ⨀ | \bigcup | ⋃ | \csc | csc |
\bigotimes | ⨂ | \bigvee | ⋁ | 戴帽符号 | 符号效果 |
\leq | ≤ | \bigwedge | ⋀ | \hat{y} | y^ |
\geq | ≥ | \biguplus | ⨄ | \check{y} | yˇ |
\neq | ≠ | \bigsqcup | ⨆ | \breve{y} | y˘ |
\approx | ≈ | ||||
\equiv | ≡ | ||||
\sum | ∑ | ||||
\prod | ∏ | ||||
\coprod | ∐ |
表2
箭头符号 | 符号效果 | 微积分运算符 | 符号效果 | 逻辑运算符 | 符号效果 |
---|---|---|---|---|---|
\uparrow | ↑ | \prime | ′ | \because | ∵ |
\downarrow | ↓ | \int | ∫ | \therefore | ∴ |
\Uparrow | ⇑ | \iint | ∬ | \forall | ∀ |
\Downarrow | ⇓ | \iiint | ∭ | \exists | ∃ |
\rightarrow | → | \iiiint | ⨌ | \not= | ≠ |
\leftarrow | ← | \oint | ∮ | \not> | ≯ |
\Rightarrow | ⇒ | \lim | lim | \not\subset | ⊄ |
\Leftarrow | ⇐ | \infty | ∞ | ||
\longrightarrow | ⟶ | \nabla | ∇ | ||
\longleftarrow | ⟵ | ||||
\Longrightarrow | ⟹ | ||||
\Longleftarrow | ⟸ |
表三:
对数运算符 | 符号效果 | 连线符号 | 符号效果 |
---|---|---|---|
\log | log | \overline{a+b+c+d} | a+b+c+d¯ |
\lg | lg | \underline{a+b+c+d} | a+b+c+d_ |
\ln | ln | \overbrace{a+\underbrace{b+c}_{1.0}+d}^{2.0} | a+b+c⏟1.0+d⏞2.0 |
希腊字母
Latex 数学公式语法
1、角标(上下标)
- 上标命令^{}
- 下标命令_{}
上下标命令用来放在需要插入上下标的地方,华括弧内为上下标的内容,当角标为单个字符时候,可以不使用花括号;如果角标为多字符或者多层次的时候,必须要使用花括号。
举例:
$$x^2, x_1^2, x^{(n)}_{22}, ^{16}O^{2-}_{32}, x^{y^{z^a}}, x^{y_z}$$
x 2 , x 1 2 , x 22 ( n ) , 16 O 32 2 − , x y z a , x y z x^2, x_1^2, x^{(n)}_{22}, ^{16}O^{2-}_{32}, x^{y^{z^a}}, x^{y_z} x2,x12,x22(n),16O322−,xyza,xyz
如果需要使用文字作为角标,首先要把文字放在\mbox{}文字模式中,另外要加上改变文字大小的命令,例如:
$\partial f_{\mbox{\tiny 极大值}}$
KaTeX parse error: Undefined control sequence: \mbox at position 13: \partial f_{\̲m̲b̲o̲x̲{\tiny 极大值}}
显示为:极大值∂f\tiny 极大值
当角标位置看起来不明显时,可以强制改变角标大小或层次,距离如下:
$$y_N, y_{_N}, y_{_{\scriptstyle N}}$$
显示为:
y N , y N , y N y_N, y_{_N}, y_{_{\scriptstyle N}} yN,yN,yN
第一种输出为正常输出,但输出效果不明显;第二种是将一级角标改为二级角标,字体也自动变为二级角标字体;第三种将一级角标改为二级角标,但是强制字体改为一级角标字体。
2、分式
- 分式命令:\frac{分子}{分母}
举例:
行内分式$\frac{x+y}{y+z}$
,显示为
x + y y + z \frac{x+y}{y+z} y+zx+y
行间分式:$$\frac{x+y}{y+z}$$
显示为:
x + y y + z \frac{x+y}{y+z} y+zx+y
上面的例子表明行内分式字体比行间字体小,因为行内分式使用的是角标字体,可以人工改变行内分式的字体大小,例如:$\displaystyle\frac{x+y}{y+z}$
显示为
x + y y + z \displaystyle\frac{x+y}{y+z} y+zx+y
连分式:$x_0+\frac{1}{x_1+\frac{1}{x_2+\frac{1}{x_3+\frac{1}{x_4}}}}$
,显示为
x 0 + 1 x 1 + 1 x 2 + 1 x 3 + 1 x 4 x_0+\frac{1}{x_1+\frac{1}{x_2+\frac{1}{x_3+\frac{1}{x_4}}}} x0+x1+x2+x3+x41111
可以通过强制改变字体大小使得分子分母字体大小一致,例如:
$\newcommand{\FS}[2]{\displaystyle\frac{#1}{#2}}x0+\FS{1}{X_1+\FS{1}{X_2+\FS{1}{X_3+\FS{1}{X_4}}}}$
显示为:
x
0
+
1
X
1
+
1
X
2
+
1
X
3
+
1
X
4
\newcommand{\FS}[2]{\displaystyle\frac{#1}{#2}}x0+\FS{1}{X_1+\FS{1}{X_2+\FS{1}{X_3+\FS{1}{X_4}}}}
x0+X1+X2+X3+X41111
其中第一行命令定义了一个新的分式命令,规定每个调用该命令的分式都按\displaystyle的格式显示分式;分数线长度值是预设为分子分母的最大长度,如果想要使分数线再长一点,可以在分子或分母两端添加一些间隔,例如12,12,显示为12,1212,12,其中第一个显示是正常的显示,第二个显示是分子分母前后都放入一个间隔命令;
3、根式
-
二次根式命令:\sqrt{表达式}
表 达 式 \sqrt{表达式} 表达式
-
如果表达式是个单个字符,则不需要花括号,但需要在字符和sqrt之间加入一个空格。
-
n次根式命令:\sqrt[n]{表达式}
表 达 式 n \sqrt[n]{表达式} n表达式
被开方表达式字符高度不一致时,根号上面的横线可能不是在同一条直线上;为了使横线在同一条直线上,可以在被开方表达式插入一个只有高度没有宽度的数学支柱\mathstut。
例如: $\sqrt{a}+\sqrt{b}+\sqrt{c},\qquad \sqrt{\mathstrut a}+\sqrt{\mathstrut b}+\sqrt{\mathstrut c}$
显示为:
KaTeX parse error: Undefined control sequence: \mathstrut at position 41: …},\qquad \sqrt{\̲m̲a̲t̲h̲s̲t̲r̲u̲t̲ ̲a}+\sqrt{\maths…
当被开方表达式高时,开方次数的位置显得略低,解决方法为:将开方此时改为上标,并拉近与根式的水平距离,即显示将命令中的[n]改为[n!],其中表示是上标,!表示缩小间隔,例如:$\sqrt{1+\sqrt[p]{1+\sqrt[q]{1+a}}}$
显示为:1+1+1+aqp。$\sqrt{1+\sqrt[^p\!]{1+\sqrt[^q\!]{1+a}}}$
显示为
1 + 1 + 1 + a q p \sqrt{1+\sqrt[^p\!]{1+\sqrt[^q\!]{1+a}}} 1+p1+q1+a
(注意比较两个根式开方次数的显示位置)
4、求和与积分
-
求和命令:\sum_{k=1}^n表达式 _
∑ k = 1 n \sum_{k=1}^n ∑k=1n (求和项紧随其后,下同)
-
积分命令:\int_a^b表达式 ∫ a b \int_a^b ∫ab
例如:无穷级数$\sum_{k=1}^\infty\frac{x^n}{n!}$
显示为:
∑ k = 1 ∞ x n n ! \sum_{k=1}^\infty\frac{x^n}{n!} ∑k=1∞n!xn 。
可以化为积分$\int_0^\infty e^x$
显示为
∫ 0 ∞ e x \int_0^\infty e^x ∫0∞ex。也即是:∑k=1∞xnn!=∫0∞ex。
- 改变上下限位置的命令:\limits(强制上下限在上下侧) 和 \nolimits(强制上下限在左右侧)
例如: $\sum\limits_{k=1}^n$
和 $\sum\nolimits_{k=1}^n$
显示结果为:
∑
k
=
1
n
\sum\limits_{k=1}^n
k=1∑n和
∑
k
=
1
n
\sum\nolimits_{k=1}^n
∑k=1n
5、下划线、上划线等
- 上划线命令: \overline{公式}
- 下划线命令:\underline{公式}
例如:$\overline{\overline{a^2}+\underline{ab}+\bar{a}^3}$
显示为
a 2 ‾ + a b ‾ + a ˉ 3 ‾ \overline{\overline{a^2}+\underline{ab}+\bar{a}^3} a2+ab+aˉ3
- 上花括弧命令:\overbrace{公式}{说明}
- 下花括弧命令:\underbrace{公式}_{说明}
例如:$\underbrace{a+\overbrace{b+\dots+b}^{m\mbox{\tiny 个}}}_{20\mbox{\scriptsize 个}}$
显示为:KaTeX parse error: Undefined control sequence: \mbox at position 39: …e{b+\dots+b}^{m\̲m̲b̲o̲x̲{\tiny 个}}}_{20…
6、数学重音符号
以a为例,;如果字母i或j带有重音,字母i,y应该替换为\imath、\jmath
\hat{a} | a ^ \hat{a} a^ | \vec{a} | a ⃗ \vec{a} a |
---|---|---|---|
\check{a} | a ˇ \check{a} aˇ | \acute{a} | a ˊ \acute{a} aˊ |
\breve{a} | a ˘ \breve{a} a˘ | \grave{a} | a ˋ \grave{a} aˋ |
\tilde{a} | a ~ \tilde{a} a~ | \mathring{a} | a ˚ \mathring{a} a˚ |
\bar{a} | a ˉ \bar{a} aˉ | \dot{a} | a ¨ \ddot{a} a¨ |
7. 数学样式
文字样式
\mathcal{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathbb{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathfrak{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathsf{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathsf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathscr{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathrm{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathit{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathit{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathnormal{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathnormal{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\mathbf{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\textbf{A}
文本样式粗体
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\textbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\text{A}
文本样式
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\text{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
\boldsymbol{A}
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\boldsymbol{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
大小颜色
123 456 789 {\color{red}123} {\color{blue}456} {\color{green}789} 123456789 | {\color{red}123} {\color{blue}456} {\color{green}789} |
---|---|
a b c \tiny{abc} abc | \tiny{abc} |
a b c \scriptsize{abc} abc | \scriptsize{abc} |
a b c \small{abc} abc | \small{abc} |
a b c \normalsize{abc} abc | \normalsize{abc} |
a b c \large{abc} abc | \large{abc} |
a b c \Large{abc} abc | \Large{abc} |
a b c \LARGE{abc} abc | \LARGE{abc} |
a b c \huge{abc} abc | \huge{abc} |
a b c \Huge{abc} abc | \Huge{abc} |
8、堆积符号
- \stacrel{上位符号}{基位符号} 基位符号大,上位符号小
- {上位公式\atop 下位公式} 上下符号一样大
- {上位公式\choose 下位公式} 上下符号一样大;上下符号被包括在圆弧内
例如: $\vec{x}\stackrel{\mathrm{def}}{=}{x_1,\dots,x_n}\\ {n+1 \choose k}={n \choose k}+{n \choose k-1}\\ \sum_{k_0,k_1,\ldots>0 \atop k_0+k_1+\cdots=n}A_{k_0}A_{k_1}\cdots$
显示效果为:
x ⃗ = d e f x 1 , … , x n ( n + 1 k ) = ( n k ) + ( n k − 1 ) ∑ k 0 , k 1 , … > 0 k 0 + k 1 + ⋯ = n A k 0 A k 1 ⋯ \vec{x}\stackrel{\mathrm{def}}{=}{x_1,\dots,x_n}\\ {n+1 \choose k}={n \choose k}+{n \choose k-1}\\ \sum_{k_0,k_1,\ldots>0 \atop k_0+k_1+\cdots=n}A_{k_0}A_{k_1}\cdots x=defx1,…,xn(kn+1)=(kn)+(k−1n)∑k0+k1+⋯=nk0,k1,…>0Ak0Ak1⋯
9、定界符
$$
()\big(\big) \Big(\Big) \bigg(\bigg) \Bigg(\Bigg)
\big(\Big) \bigg(\Bigg)
$$
显示结果为:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ()\big(\big) \Big(\Big) \bigg(\bigg) \Bigg(\Bigg) \big(\Big) \bigg(\Bigg) ()()()()()()()
自适应放大命令:\left 和\right,本命令放在左右定界符前,自动随着公式内容大小调整符号大小。例子:
(
a
2
‾
+
a
b
‾
+
a
ˉ
3
‾
)
\left(\overline{\overline{a^2}+\underline{ab}+\bar{a}^3}\right)
(a2+ab+aˉ3)
10、占位宽度
- 两个quad空格
a \qquad b
两个 m 的宽度, 显示为: a b a \qquad b ab - quad空格
a \quad b
一个 m 的宽度,显示为: a b a \quad b ab - 大空格
a\ b
1/3m 宽度,显示为: a b a\ b a b - 中等空格
a\;b
2/7m宽度,显示为: a b a\;b ab - 小空格
a\,b
1/6m宽度, 显示为: a b a\,b ab - 没有空格
ab
, 显示为: a b ab ab - 紧贴
a\!b
缩进1/6m宽度, 显示为: a b a\!b ab \quad
代表当前字体下接近字符‘M’的宽度(approximately the width of an “M” in the current font)
11、集合相关的运算命令
- 集合的大括号:
\{ ...\}
,显示为: { . . . } \{ ...\} {...} - 集合中的
|:
, 显示为: ∣ : |: ∣: - 属于:
\in
显示为:$ ∈$ - 不属于:
\not\in
显示为:$ ∉$ - A包含于B:
A\subset B
显示为:$ A\subset B$ - A真包含于B:
A \subsetneqq B
显示为: A ⫋ B A \subsetneqq B A⫋B - A包含B:
A supset B
显示为: A s u p s e t B A supset B AsupsetB - A真包含B:
A \supsetneqq B
显示为: A ⫌ B A \supsetneqq B A⫌B - A不包含于B:
A \not \subset B
显示为: A ⊄ B A \not \subset B A⊂B - A交B:
A \cap B
显示为: A ∩ B A \cap B A∩B - A并B:
A \cup B
显示为: A ∪ B A \cup B A∪B - A的闭包:
\overline{A}
显示为: A ‾ \overline{A} A - A减去B:
A\setminus B
显示为: A ∖ B A\setminus B A∖B - 实数集合:
\mathbb{R}
显示为: R \mathbb{R} R - 空集:
\emptyset
显示为: ∅ \emptyset ∅
12、数学公式对齐
- 无需对齐的公式组可以使用 gather 环境,如下实例。
$$
\begin{gather}
a = b+c+d \\
x = y+z
\end{gather}
$$
效果如下:
KaTeX parse error: No such environment: gather at position 8: \begin{̲g̲a̲t̲h̲e̲r̲}̲ a = b+c+d \\ x…
- align环境可以用来对齐公式,使用&符号来标记对齐的位置,如下实例。
$$
\begin{align}
h(x) =& \frac{1}{\int_xt(x)\mathrm{d}x} \tag{1}\\
f(x) =& \frac{1}{\int_x\eta(x)\mathrm{d}x}g(x)\tag{2}
\end{align}
$$
生成结果:
KaTeX parse error: No such environment: align at position 8: \begin{̲a̲l̲i̲g̲n̲}̲ h(x) =& \frac{…
又比如:
$$
\begin{align}
a &= b + c \tag{3}\\
&= d + e + f\tag{4}
\end{align}
$$
生成结果:
KaTeX parse error: No such environment: align at position 8: \begin{̲a̲l̲i̲g̲n̲}̲ a &= b + c \ta…
eqnarray
也可以用来对齐公式,同样使用$
来标记对齐的位置。如下所示:
$$
\begin{eqnarray}
a & = & b + c \\
& = & d + e + f + g + h + i
+ j + k + l\\
&& +\: m + n + o \\
& = & p + q + r + s
\end{eqnarray}
$$
生成结果如下:
$$
\begin{eqnarray}
a & = & b + c \
& = & d + e + f + g + h + i
- j + k + l\
&& +: m + n + o \
& = & p + q + r + s
\end{eqnarray}
$$
13、使用 LaTeX 写矩阵
简单Matrix
使用$$\begin{matrix}…\end{matrix}$$
来生成矩阵,其中… 表示的是LaTeX 的矩阵命令,矩阵命令中每一行以 \\
结束,矩阵的元素之间用&
来分隔开。
例如:
$$
\begin{matrix}
1 & 2 & 3 \\
4 & 5 & 6 \\
7 & 8 & 9
\end{matrix} \tag{1}
$$
生成结果如下:
KaTeX parse error: \tag works only in display equations
- 带括号的Matrix
感觉(1)中的矩阵不是很美观,可以给矩阵加上括号,加括号的方式有很多,大致可分为两种:使用\left … \right 或者把公式命令中的matrix 改成 pmatrix、bmatrix、Bmatrix、vmatrix、Vmatrix等。
使用\left … \right
- {…}
实例:
$$
\left\{
\begin{matrix}
1 & 2 & 3 \\
4 & 5 & 6 \\
7 & 8 & 9
\end{matrix}
\right\} \tag{2}
$$
{ 1 2 3 4 5 6 7 8 9 } (2) \left\{ \begin{matrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{matrix} \right\} \tag{2} ⎩⎨⎧147258369⎭⎬⎫(2)
实例:
$$
\left[
\begin{matrix}
1 & 2 & 3 \\
4 & 5 & 6 \\
7 & 8 & 9
\end{matrix}
\right] \tag{3}
$$
生成结果:
[ 1 2 3 4 5 6 7 8 9 ] (3) \left[ \begin{matrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{matrix} \right] \tag{3} ⎣⎡147258369⎦⎤(3)
替换 matrix
- […]
实例:
$$
\begin{bmatrix}
1 & 2 & 3 \\
4 & 5 & 6 \\
7 & 8 & 9
\end{bmatrix} \tag{4}
$$
得到如下结果:
[ 1 2 3 4 5 6 7 8 9 ] (4) \begin{bmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{bmatrix} \tag{4} ⎣⎡147258369⎦⎤(4)
- {…}
实例:
$$
\begin{Bmatrix}
1 & 2 & 3 \\
4 & 5 & 6 \\
7 & 8 & 9
\end{Bmatrix} \tag{5}
$$
得到如下结果:
{
1
2
3
4
5
6
7
8
9
}
(5)
\begin{Bmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{Bmatrix} \tag{5}
⎩⎨⎧147258369⎭⎬⎫(5)
带省略符号的Matrix
如果矩阵元素太多,可以使用\cdots ⋯ \ddots ⋱ \vdots ⋮ 等省略符号来定义矩阵。
例如:
$$
\left[
\begin{matrix}
1 & 2 & \cdots & 4 \\
7 & 6 & \cdots & 5 \\
\vdots & \vdots & \ddots & \vdots \\
8 & 9 & \cdots & 0 \\
\end{matrix}
\right]
$$
得到如下结果:
[ 1 2 ⋯ 4 7 6 ⋯ 5 ⋮ ⋮ ⋱ ⋮ 8 9 ⋯ 0 ] \left[ \begin{matrix} 1 & 2 & \cdots & 4 \\ 7 & 6 & \cdots & 5 \\ \vdots & \vdots & \ddots & \vdots \\ 8 & 9 & \cdots & 0 \\ \end{matrix} \right] ⎣⎢⎢⎢⎡17⋮826⋮9⋯⋯⋱⋯45⋮0⎦⎥⎥⎥⎤
带参数的Matrix
比如写增广矩阵,可能需要最右边一列单独考虑。可以用array命令来处理:
$$
\left[
\begin{array}{cc|c}
1 & 2 & 3 \\
4 & 5 & 6
\end{array}
\right] \tag{7}
$$
得到如下结果:
[ 1 2 3 4 5 6 ] (7) \left[ \begin{array}{cc|c} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array} \right] \tag{7} [142536](7)
其中\begin{array}{cc|c}中的c表示居中对齐元素,|用来作为分割列的符号。