LaTeX常用符号与语法

符号篇

Logo

当然要先把$\text{LATEX}$的$\mathcal{L}ogo$记下来啊虽然不常用，源码：\LaTeX。

运算符

二元运算符

中文名称	渲染前(源码)	渲染后
加	+	$+$
减	-	$-$
乘	\times	$\times$
除	\div	$÷$
点乘	\cdot	$\cdot$
交	\cap	$\cap$
并	\cup	$\cup$
属于	\in	$\in$
加减	\mp	$\pm$
减加	\pm	$\mp$

大型运算符

注：一般情况下使用两个美元符号括起来，否则与大写希腊字母效果相同。

中文名称	渲染前(源码)	渲染后
求和	\sum_{i=1}^n	$$\sum _{i=1}^n$$
求积	\prod_{i=1}^n	$$\prod _{i=1}^n$$

关系符

注：如无特殊说明下面的关系符的否定形式都为肯定形式的源码前加上not

中文名称	渲染前(源码)	渲染后
小于	<	$<$
大于	>	$>$
等于	>	$>$
不等于	\neq 或 \not=	$\ne$
约等于	\approx	$\approx$
同余	\equiv	$\equiv$
小于等于	\le 或 \leq	$\le$
大于等于	\ge 或 \geq	$\ge$
属于	\in	$\in$
含于	\subseteq	$\subseteq$
整除	\mid	$\mid$

希腊字母

仅列举常用字母

小写字母

渲染前(源码)	渲染后
\alpha	$\alpha$
\beta	$\beta$
\gamma	$\gamma$
\theta	$\theta$
\pi	$\pi$
\varphi	$\phi$
\mu	$\mu$
\sigma	$\sigma$
\omega	$\omega$

大写字母

大概就是小写形式源码的第一个字符大写

渲染前(源码)	渲染后
\Sigma	$\Sigma$
\Pi	$\Pi$
\Delta	$\Delta$

点点一家

渲染前(源码)	渲染后
\cdot	$\cdot$
\cdots	$\cdots$
\vdots	$⋮$
\ddots	$\ddots$
\ldots	$\dots$

空格一家

渲染前(源码)	渲染后
a\!b	$ab$
ab	$ab$
a\,b	$ab$
a\;b	$ab$
a\ b	$ab$
a\quad b	$ab$
a\qquad b	$ab$

括号一家

中文名称	渲染前(源码)	渲染后
小括号	()	$()$
中括号	[]	$[]$
大括号	\{\}	$\{\}$
下取整	\lfloor\rfloor	$\lfloor \rfloor$
上取整	\lceil\rceil	$\lceil \rceil$

箭头一家

家族成员繁多，不便一一列举，但是箭头符号的名字很有规律，一般命名规则为方向+箭头种类：

渲染前(源码)	渲染后
\leftarrow 或 \gets	$\leftarrow$
\rightarrow 或 \to	$\to$
\uparrow	$\uparrow$

四个基本方向上下左右不多说，斜着的箭头的方向部分为\ne \se \nw \sw，为东北、东南、西北、西南简写：
栗子：\nearrow$\nearrow$

还有左右、上下两个方向的箭头：

渲染前(源码)	渲染后
\leftrightarrow	$\leftrightarrow$
\updownarrow	$\updownarrow$

上面的箭头只有一根线，可以通过大写第一个字母变成双线：

渲染前(源码)	渲染后
\Leftrightarrow	$\iff$
\Uparrow	$\Uparrow$

在前面加上$long$可以把箭头变长，仅适用于左右箭头，注意双线箭头大写字母的位置：

渲染前(源码)	渲染后
\longleftarrow	$⟵$
\longleftrightarrow	$⟷$
\Longleftrightarrow 或 \iff	$⟺$

还有只有一边的箭头，名字为harpoon+up/down，表示那一边的位置，这种箭头似乎不支持上面的$buff$，但拥有左右双向箭头：

渲染前(源码)	渲染后
\leftharpoonup	$\leftharpoonup$
\rightleftharpoons	$\rightleftharpoons$

其他符号

中文名称	渲染前(源码)	渲染后
度	\circ	$\circ$
无穷	\infty	$\infty$
空集	\emptyset	$\varnothing$
到	\sim	$\sim$
角	\angle	$\angle$
对数	\log	$\log$
下划线	\_	$\_$
模	\mod x	$\mathrm{m}\mathrm{o}\mathrm{d}x$
换行符	\\ 或 \newline	\newline
因为	\because	$\because$
所以	\therefore	$\therefore$

语法篇

上/下标

源码（渲染前）

x_{1+2_i}^{999^2}

渲染后： $x_{1+2_i}^{999^2}$

支持多重嵌套，当没有大括号时默认渲染后面第一个字符。

开根

大括号定界，基本用法如下：
\sqrt{x}$\to \sqrt{x}$

可以在大括号前面添加方括号，方括号里为开根的次数：
\sqrt[5]{x}$\sqrt[5]{x}$

符号大小自动调整，支持嵌套，方括号与大括号内的内容无特殊限制。

特殊的，可以不显示上方的横线：
\surd{x}$\surd x$

上/下划线

上划线：
\overline{a+b}$\to \overline{a+b}$

下划线：
\underline{a+b}$\to \underline{a+b}$

嵌套：
\overline{\underline{\sqrt{a+b}}}$\to \overline{\underline{\sqrt{a+b}}}$

向量

直接定义，会有一个小箭头在大括号定界范围的中央：
\vec {abcdas}$\to abcdas$

无大括号时默认渲染后面第一个字符：
\vec a$\to a$

可以使用在上方加箭头的语法来达到向量的效果：
\overrightarrow{a}$\to a$
\overleftarrow{ba}$\to ba$

拓展用法，在下方加箭头：
\underleftarrow{Ab}$\to Ab$

分数

用法比较单一，可以放到其他与法的定界符里，大小自动调整，两个大括号定界分子分母：
\frac{x^8}{4132}$\to \frac{x^8}{4132}$

组合数

用法与分数类似：
\binom{233}{x^2}$\to \left(\genfrac{}{}{0ex}{}{233}{x^2}\right)$

对齐

好多以前的公式环境在$CSDN$更新以后似乎渲染不了了，博主只能靠$aligned$度日了，在多数$\text{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}

$$\begin{array}{rlrl}f(x)& =(x+a)(x+b)& (1)& \\ & =x^2+(a+b)x+ab& & (2)\\ & =x\times x+ax+bx+ab& (3)& \end{array}$$

居中的话直接在两个$$之间写就好了，默认居中。

大括号表达式

前后加一行，中间在$aligned$环境里写表达式，依然可以用&对齐表达式或者表达式的部分。

\left\{
\begin{aligned}
&a=b+c\\
&c=x
\end{aligned}
\right.

$$\{\begin{array}{rl}& a=b+c\\ & c=x\end{array}$$

更多用法，将限制写在&&后面，用大括号定界，可以左对齐，只用单个&是右对齐：

左对齐：

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)=\{\begin{array}{rlrl}& \mu (1)& & T\in P\\ & \mu (i)& & imodp[j]=0\\ & -f(i)+\mu (i)& & imodp[j]\ne 0\end{array}$$

右对齐：

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)=\{\begin{array}{rlr}& \mu (1)& T\in P\\ & \mu (i)& imodp[j]=0\\ & -f(i)+\mu (i)& imodp[j]\ne 0\end{array}$$

表格

咕咕咕。。。