LaTeX常用符号与语法
符号篇
Logo
当然要先把
LaTeX
\LaTeX
LATEX的
L
o
g
o
\mathcal{Logo}
Logo记下来啊虽然不常用,源码:\LaTeX
。
运算符
二元运算符
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
加 | + | + + + |
减 | - | − - − |
乘 | \times | × \times × |
除 | \div | ÷ \div ÷ |
点乘 | \cdot | ⋅ \cdot ⋅ |
交 | \cap | ∩ \cap ∩ |
并 | \cup | ∪ \cup ∪ |
属于 | \in | ∈ \in ∈ |
加减 | \pm | ± \pm ± |
减加 | \mp | ∓ \mp ∓ |
大型运算符
注:一般情况下使用两个美元符号括起来,否则与大写希腊字母效果相同。
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
求和 | \sum_{i=1}^n | ∑ i = 1 n \sum_{i=1}^n i=1∑n |
求积 | \prod_{i=1}^n | ∏ i = 1 n \prod_{i=1}^n i=1∏n |
积分 | \int_{0}^{+\infty} | ∫ 0 + ∞ \int_{0}^{+\infty} ∫0+∞ |
求偏导 | \frac{\partial f}{\partial x} | ∂ f ∂ x \frac{\partial f}{\partial x} ∂x∂f |
关系符
注:如无特殊说明下面的关系符的否定形式都为肯定形式的源码前加上not
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
小于 | < | < < < |
大于 | > | > > > |
等于 | > | > > > |
不等于 | \neq 或 \not= | ≠ \neq = |
约等于 | \approx | ≈ \approx ≈ |
同余 | \equiv | ≡ \equiv ≡ |
小于等于 | \le 或 \leq | ≤ \le ≤ |
大于等于 | \ge 或 \geq | ≥ \ge ≥ |
属于 | \in | ∈ \in ∈ |
含于 | \subseteq | ⊆ \subseteq ⊆ |
整除 | \mid | ∣ \mid ∣ |
希腊字母
仅列举常用字母
小写字母
渲染前(源码) | 渲染后 |
---|---|
\alpha | α \alpha α |
\beta | β \beta β |
\gamma | γ \gamma γ |
\theta | θ \theta θ |
\lambda | λ \lambda λ |
\mu | μ \mu μ |
\xi | ξ \xi ξ |
\pi | π \pi π |
\rho | ρ \rho ρ |
\sigma | σ \sigma σ |
\varphi | φ \varphi φ |
\omega | ω \omega ω |
\varepsilon | ε \varepsilon ε |
大写字母
大概就是小写形式源码的第一个字符大写
渲染前(源码) | 渲染后 |
---|---|
\Sigma | Σ \Sigma Σ |
\Pi | Π \Pi Π |
\Delta | Δ \Delta Δ |
点点一家
渲染前(源码) | 渲染后 |
---|---|
\cdot | ⋅ \cdot ⋅ |
\cdots | ⋯ \cdots ⋯ |
\vdots | ⋮ \vdots ⋮ |
\ddots | ⋱ \ddots ⋱ |
\ldots | … \ldots … |
空格一家
渲染前(源码) | 渲染后 |
---|---|
a\!b | a b a\!b ab |
ab | a b ab ab |
a\,b | a b a\,b ab |
a\;b | a b a\;b ab |
a\ b | a b a\ b a b |
a\quad b | a b a\quad b ab |
a\qquad b | a b a\qquad b ab |
括号一家
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
小括号 | () | ( ) () () |
中括号 | [] | [ ] [] [] |
大括号 | \{\} | { } \{\} {} |
下取整 | \lfloor\rfloor | ⌊ ⌋ \lfloor\rfloor ⌊⌋ |
上取整 | \lceil\rceil | ⌈ ⌉ \lceil\rceil ⌈⌉ |
箭头一家
家族成员繁多,不便一一列举,但是箭头符号的名字很有规律,一般命名规则为方向+箭头种类:
渲染前(源码) | 渲染后 |
---|---|
\leftarrow 或 \gets | ← \gets ← |
\rightarrow 或 \to | → \to → |
\uparrow | ↑ \uparrow ↑ |
四个基本方向上下左右不多说,斜着的箭头的方向部分为\ne \se \nw \sw
,为东北、东南、西北、西南简写:
栗子:\nearrow
↗
\nearrow
↗
还有左右、上下两个方向的箭头:
渲染前(源码) | 渲染后 |
---|---|
\leftrightarrow | ↔ \leftrightarrow ↔ |
\updownarrow | ↕ \updownarrow ↕ |
上面的箭头只有一根线,可以通过大写第一个字母变成双线:
渲染前(源码) | 渲染后 |
---|---|
\Leftrightarrow | ⇔ \Leftrightarrow ⇔ |
\Uparrow | ⇑ \Uparrow ⇑ |
在前面加上 l o n g long long可以把箭头变长,仅适用于左右箭头,注意双线箭头大写字母的位置:
渲染前(源码) | 渲染后 |
---|---|
\longleftarrow | ⟵ \longleftarrow ⟵ |
\longleftrightarrow | ⟷ \longleftrightarrow ⟷ |
\Longleftrightarrow 或 \iff | ⟺ \Longleftrightarrow ⟺ |
还有只有一边的箭头,名字为harpoon+up/down,表示那一边的位置,这种箭头似乎不支持上面的 b u f f buff buff,但拥有左右双向箭头:
渲染前(源码) | 渲染后 |
---|---|
\leftharpoonup | ↼ \leftharpoonup ↼ |
\rightleftharpoons | ⇌ \rightleftharpoons ⇌ |
其他符号
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
度 | \circ | ∘ \circ ∘ |
无穷 | \infty | ∞ \infty ∞ |
空集 | \emptyset | ∅ \emptyset ∅ |
到 | \sim | ∼ \sim ∼ |
角 | \angle | ∠ \angle ∠ |
对数 | \log | log \log log |
下划线 | \_ | _ \_ _ |
模 | \mod x | m o d x \mod x modx |
换行符 | \\ 或 \newline | \newline |
因为 | \because | ∵ \because ∵ |
所以 | \therefore | ∴ \therefore ∴ |
存在 | \exists | ∃ \exists ∃ |
任意 | \forall | ∀ \forall ∀ |
语法篇
上/下标
源码(渲染前)
x_{1+2_i}^{999^2}
渲染后: x 1 + 2 i 99 9 2 x_{1+2_i}^{999^2} x1+2i9992
支持多重嵌套,当没有大括号时默认渲染后面第一个字符。
开根
大括号定界,基本用法如下:
\sqrt{x}
→
x
\to \sqrt{x}
→x
可以在大括号前面添加方括号,方括号里为开根的次数:
\sqrt[5]{x}
x
5
\sqrt[5]{x}
5x
符号大小自动调整,支持嵌套,方括号与大括号内的内容无特殊限制。
特殊的,可以不显示上方的横线:
\surd{x}
√
x
\surd{x}
√x
上/下划线
上划线:
\overline{a+b}
→
a
+
b
‾
\to \overline{a+b}
→a+b
下划线:
\underline{a+b}
→
a
+
b
‾
\to \underline{a+b}
→a+b
嵌套:
\overline{\underline{\sqrt{a+b}}}
→
a
+
b
‾
‾
\to \overline{\underline{\sqrt{a+b}}}
→a+b
上/下括号
单独的上括号:
\overbrace{0\cdots 0}
→
0
⋯
0
⏞
\to \overbrace{0\cdots 0}
→0⋯0
单独的下括号:
\underbrace{0\cdots 0}
→
0
⋯
0
⏟
\to \underbrace{0\cdots 0}
→
0⋯0
也可以为括起来的部分加上文字,上括号用^
,下括号用_
上括号加文字:
\overbrace{0\cdots 0}^{n个0}
→
0
⋯
0
⏞
n
个
0
\to \overbrace{0\cdots 0}^{n个0}
→0⋯0
n个0
下括号加文字:
\underbrace{0\cdots 0}_{n个0}
→
0
⋯
0
⏟
n
个
0
\to \underbrace{0\cdots 0}_{n个0}
→n个0
0⋯0
上下括号嵌套:
\underbrace{\overbrace{0\cdots 0}^{n个0}}_{n个0}
→
0
0
⋯
0
⏞
n
个
0
0
⏟
n
+
2
个
0
\to \underbrace{0\overbrace{0\cdots 0}^{n个0}0}_{n+2个0}
→n+2个0
00⋯0
n个00
向量
直接定义,会有一个小箭头在大括号定界范围的中央:
\vec {abcdas}
→
a
b
c
d
a
s
⃗
\to\vec {abcdas}
→abcdas
无大括号时默认渲染后面第一个字符:
\vec a
→
a
⃗
\to \vec a
→a
可以使用在上方加箭头的语法来达到向量的效果:
\overrightarrow{a}
→
a
→
\to\overrightarrow{a}
→a
\overleftarrow{ba}
→
b
a
←
\to\overleftarrow{ba}
→ba
拓展用法,在下方加箭头:
\underleftarrow{Ab}
→
A
b
←
\to\underleftarrow{Ab}
→Ab
还有一种向量表示方式是在字符上加点,语法与\vec{}
类似:
\dot{abcd}
→
a
b
c
d
˙
\to\dot{abcd}
→abcd˙
分数
用法比较单一,可以放到其他与法的定界符里,大小自动调整,两个大括号定界分子分母:
\frac{x^8}{4132}
→
x
8
4132
\to \frac{x^8}{4132}
→4132x8
组合数
用法与分数类似:
\binom{233}{x^2}
→
(
233
x
2
)
\to \binom{233}{x^2}
→(x2233)
对齐
好多以前的公式环境在
C
S
D
N
CSDN
CSDN更新以后似乎渲染不了了,博主只能靠
a
l
i
g
n
e
d
aligned
aligned度日了,在多数
LaTeX
\LaTeX
LATEX公式环境里,都是用&
来对齐公式,每行的&
从左到右依次对齐,&
的个数不同会让对齐时公式块略有偏移,具体见下:
\begin{aligned}
f(x) &= (x+a)(x+b) &(1)\\
&= x^2 + (a+b)x + ab&&(2)\\
&=x\times x + ax+bx+ab&(3)
\end{aligned}
f ( x ) = ( x + a ) ( x + b ) ( 1 ) = x 2 + ( a + b ) x + a b ( 2 ) = x × x + a x + b x + a b ( 3 ) \begin{aligned} f(x) &= (x+a)(x+b) &(1)\\ &= x^2 + (a+b)x + ab&&(2)\\ &=x\times x + ax+bx+ab&(3) \end{aligned} f(x)=(x+a)(x+b)=x2+(a+b)x+ab=x×x+ax+bx+ab(1)(3)(2)
居中的话直接在两个$$
之间写就好了,默认居中。
大括号表达式
前后加一行,中间在
a
l
i
g
n
e
d
aligned
aligned环境里写表达式,依然可以用&
对齐表达式或者表达式的部分。
\left\{
\begin{aligned}
&a=b+c\\
&c=x
\end{aligned}
\right.
{ a = b + c c = x \left\{ \begin{aligned} &a=b+c\\ &c=x \end{aligned} \right. {a=b+cc=x
更多用法,将限制写在&&
后面,用大括号定界,可以左对齐,只用单个&
是右对齐:
左对齐:
f(T)=\left\{
\begin{aligned}
&\mu(1)&&{T\in P}\\
&\mu(i)&&{i\ mod\ p[j]=0}\\
&-f(i)+\mu(i)&&{i\ mod\ p[j]\ne 0}
\end{aligned}
\right.
f ( T ) = { μ ( 1 ) T ∈ P μ ( i ) i m o d p [ j ] = 0 − f ( i ) + μ ( i ) i m o d p [ j ] ≠ 0 f(T)=\left\{ \begin{aligned} &\mu(1)&&{T\in P}\\ &\mu(i)&&{i\ mod\ p[j]=0}\\ &-f(i)+\mu(i)&&{i\ mod\ p[j]\ne 0} \end{aligned} \right. f(T)=⎩⎪⎨⎪⎧μ(1)μ(i)−f(i)+μ(i)T∈Pi mod p[j]=0i mod p[j]=0
右对齐:
f(T)=\left\{
\begin{aligned}
&\mu(1)&{T\in P}\\
&\mu(i)&{i\ mod\ p[j]=0}\\
&-f(i)+\mu(i)&{i\ mod\ p[j]\ne 0}
\end{aligned}
\right.
f ( T ) = { μ ( 1 ) T ∈ P μ ( i ) i m o d p [ j ] = 0 − f ( i ) + μ ( i ) i m o d p [ j ] ≠ 0 f(T)=\left\{ \begin{aligned} &\mu(1)&{T\in P}\\ &\mu(i)&{i\ mod\ p[j]=0}\\ &-f(i)+\mu(i)&{i\ mod\ p[j]\ne 0} \end{aligned} \right. f(T)=⎩⎪⎨⎪⎧μ(1)μ(i)−f(i)+μ(i)T∈Pi mod p[j]=0i mod p[j]=0
矩阵
利用\begin{array}{l}
({l}
为对齐方式)与\end{array}
环境,中间写表格内容,用&
划分列\\
划分行。
如下:
\left[\begin{array}{l}
a & b\\
c & d\\
\end{array}
\right]
其中\left
+左括号是为了给一个可以自适应大小的左括号,样式自选,右括号同理,效果如下:
[
a
b
c
d
]
\left[\begin{array}{l} a & b\\ c & d\\ \end{array} \right]
[acbd]
把括号拆了还可以用来写表达式:
\begin{array}{l}
y=x+1 & x<0\\
y=x-1 & x>0\\
\end{array}
y
=
x
+
1
x
<
0
y
=
x
−
1
x
>
0
\begin{array}{l} y=x+1 & x<0\\ y=x-1 & x>0\\ \end{array}
y=x+1y=x−1x<0x>0
此外,还可以用专门的矩阵环境matrix
,此时就不用指定对齐方式了:
[
a
b
c
d
]
\left[\begin{matrix} a & b\\ c & d\\ \end{matrix} \right]
[acbd]