符号篇

Logo

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

运算符

二元运算符

大型运算符

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

关系符

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

希腊字母

仅列举常用字母

小写字母

大写字母

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

点点一家

空格一家

括号一家

箭头一家

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

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

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

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

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

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

其他符号

语法篇

上/下标

源码（渲染前）

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}}}$

上/下括号

单独的上括号：
\overbrace{0\cdots 0}$\to \overbrace{0\cdots 0}$

单独的下括号：
\underbrace{0\cdots 0}$\to \underbrace{0\cdots 0}$

也可以为括起来的部分加上文字，上括号用^，下括号用_

上括号加文字：
\overbrace{0\cdots 0}^{n个0}$\to \stackrel{n个0}{\overbrace{0\cdots 0}}$

下括号加文字：
\underbrace{0\cdots 0}_{n个0}$\to \underset{n个0}{\underbrace{0\cdots 0}}$

上下括号嵌套：
\underbrace{\overbrace{0\cdots 0}^{n个0}}_{n个0}$\to \underset{n+2个0}{\underbrace{0\stackrel{n个0}{\overbrace{0\cdots 0}}0}}$

向量

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

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

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

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

还有一种向量表示方式是在字符上加点，语法与\vec{}类似：
\dot{abcd}$\to \dot{abcd}$

分数

用法比较单一，可以放到其他与法的定界符里，大小自动调整，两个大括号定界分子分母：
\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}$$

矩阵

利用\begin{array}{l}（{l}为对齐方式）与\end{array}环境，中间写表格内容，用&划分列\\划分行。
如下：

\left[\begin{array}{l}
a & b\\
c & d\\
\end{array}
\right]

其中\left+左括号是为了给一个可以自适应大小的左括号，样式自选，右括号同理，效果如下：
$$\left[\begin{array}{lc}a& b\\ c& d\end{array}\right]$$
把括号拆了还可以用来写表达式：

\begin{array}{l}
y=x+1 & x<0\\
y=x-1 & x>0\\
\end{array}

$$\begin{array}{lc}y=x+1& x<0\\ y=x-1& x>0\end{array}$$
此外，还可以用专门的矩阵环境matrix，此时就不用指定对齐方式了：
$$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$$