LaTeX常用符号与语法
符号篇
Logo
当然要先把LaTeX \LaTeXLATEX的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}^ni=1∑n |
求积 | \prod_{i=1}^n | ∏ i = 1 n \prod_{i=1}^ni=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\!bab |
ab | a b abab |
a\,b | a b a\,bab |
a\;b | a b a\;bab |
a\ b | a b a\ ba b |
a\quad b | a b a\quad bab |
a\qquad b | a b a\qquad bab |
括号一家
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
小括号 | () | ( ) ()() |
中括号 | [] | [ ] [][] |
大括号 | \{\} | { } \{\}{} |
下取整 | \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 longlong可以把箭头变长,仅适用于左右箭头,注意双线箭头大写字母的位置:
渲染前(源码) | 渲染后 |
---|---|
\longleftarrow | ⟵ \longleftarrow⟵ |
\longleftrightarrow | ⟷ \longleftrightarrow⟷ |
\Longleftrightarrow 或 \iff | ⟺ \Longleftrightarrow⟺ |
还有只有一边的箭头,名字为harpoon+up/down,表示那一边的位置,这种箭头似乎不支持上面的b u f f buffbuff,但拥有左右双向箭头:
渲染前(源码) | 渲染后 |
---|---|
\leftharpoonup | ↼ \leftharpoonup↼ |
\rightleftharpoons | ⇌ \rightleftharpoons⇌ |
其他符号
中文名称 | 渲染前(源码) | 渲染后 |
---|---|---|
度 | \circ | ∘ \circ∘ |
无穷 | \infty | ∞ \infty∞ |
空集 | \emptyset | ∅ \emptyset∅ |
到 | \sim | ∼ \sim∼ |
角 | \angle | ∠ \angle∠ |
对数 | \log | log \loglog |
下划线 | \_ | _ \__ |
模 | \mod x | m o d x \mod xmodx |
换行符 | \\ 或 \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⋯0n个0
下括号加文字:
\underbrace{0\cdots 0}_{n个0}
→ 0 ⋯ 0 ⏟ n 个 0 \to \underbrace{0\cdots 0}_{n个0}→n个00⋯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个000⋯0n个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 CSDNCSDN更新以后似乎渲染不了了,博主只能靠a l i g n e d alignedaligned度日了,在多数LaTeX \LaTeXLATEX公式环境里,都是用&
来对齐公式,每行的&
从左到右依次对齐,&
的个数不同会让对齐时公式块略有偏移,具体见下:
\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 alignedaligned环境里写表达式,依然可以用&
对齐表达式或者表达式的部分。
\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]