Typora Markdown常用数学编辑公式

一、基本公式

1、上下标

$$\begin{gathered} A_1^2 \\ {B}_{12} \\ {2}^{x^2+y} \end{gathered}$$
代码：

$$
A_1^2
\\
B_{12}
\\
2^{x^2+y}
$$

2、分数

$$\begin{gathered} \frac{x}{1+x^2} \\ \frac{\frac{1}{2}+x}{y} \\ \frac{a}{b}\frac{a}{b} \end{gathered}$$
代码：

$$
\frac{x}{1+x^2}
\\
\frac{\frac{1}{2}+x}{y}
\\
\tfrac{a}{b}
\frac{a}{b}
$$

3、根号

$$\sqrt{x}\sqrt[3]{x}$$
代码：

$$
\sqrt{x}
\sqrt[3]{x}
$$

4、组合数

$$\left(\genfrac{}{}{0ex}{}{n}{k}\right)\left(\genfrac{}{}{0ex}{}{n}{k}\right)$$
代码：

$$
\binom{n}{k}
\tbinom{n}{k}
$$

5、导数

$$a^{\prime }{a}^{\prime \prime }{a}^{\prime }$$
代码：

$$
a'
a''
a^{\prime}
$$

6、取模

$$\begin{gathered} x(\mathrm{mod}a) \\ 2\mathrm{mod}x \end{gathered}$$
代码：

$$
x \pmod a
\\
2\mod{x}
$$

7、积分

$$\begin{gathered} {\int }_1^2\underset{2}{\overset{1}{\int }}\oint \int \\ \iint \iint \iiint \iiint \end{gathered}$$
代码：

$$
\int_{1}^{2}
\intop_{2}^{1}
\oint
\smallint
\\
\iint
\oiint
\iiint
\oiiint
$$

8、微分

$$\begin{gathered} \nabla \\ \partial x \\ \mathrm{d}x \\ \dot{x} \\ \ddot{y} \\ \Delta \end{gathered}$$
代码：

$$
\nabla		
\partial x			
\mathrm{d}x	
\dot x		
\ddot y     
\Delta
$$

9、累加、累乘、极限

$$\begin{gathered} \sum _{i=1}^k\sum _{i=1}^n{\sum }_{i=1}^n \\ {\prod }_{i=1}^k\prod _{i=1}^n{\prod }_{i=1}^n \\ {\lim }_{k\to \infty }\underset{k\to \infty }{\lim }{\lim }_{k\to \infty }] \end{gathered}$$
代码：

$$
\sum_{i=1}^{k}
\displaystyle\sum_{i=1}^n
\textstyle\sum_{i=1}^n
\\
\prod_{i=1}^{k}
\displaystyle\prod_{i=1}^n
\textstyle\prod_{i=1}^n
\\
\lim_{k \to \infty}
\lim\limits_{k \to \infty}
\lim\nolimits_{k \to \infty}]
$$

二、修饰符

1、简单的帽子

$$\begin{gathered} \hat{\theta }\widehat{AB} \\ \bar{y}\overline{AB} \\ \tilde{a}\widetilde{ac} \\ \bar{a}\acute{a}\check{a}\grave{a} \\ \dot{a}\ddot{a} \end{gathered}$$
代码：

$$
\hat{\theta}
\widehat{AB}
\\
\bar{y}
\overline{AB}
\\
\tilde{a}
\widetilde{ac}
\\
\bar{a}
\acute{a}
\check{a}
\grave{a}
\\
\dot{a}
\ddot{a}
$$

2、帽子和袜子

$$\begin{gathered} \overleftarrow{AB}\overrightarrow{AB}\overleftrightarrow{AB} \\ \underleftarrow{AB}\underrightarrow{AB}\underleftrightarrow{AB} \\ \overbrace{AB}\underbrace{AB} \\ \overline{AB}\underline{AB} \end{gathered}$$
代码：

$$
\overleftarrow{AB}
\overrightarrow{AB}
\overleftrightarrow{AB}
\\
\underleftarrow{AB}
\underrightarrow{AB}
\underleftrightarrow{AB}
\\
\overbrace{AB}
\underbrace{AB}
\\
\overline{AB}
\underline{AB}
$$

3、盒子和帽子

$$\begin{gathered} \stackrel{\text{note}}{\overbrace{a+b+c}} \\ \underset{\text{note}}{\underbrace{a+b+c}} \\ \boxed{\pi =3.14} \end{gathered}$$
代码：

$$
\overbrace{a+b+c}^{\text{note}}
\\
\underbrace{a+b+c}_{\text{note}}
\\
\boxed{\pi=3.14}
$$

4、各种括号

$$((\left(\right(($$
代码：

$$
(
\big(
\Big(
\bigg(
\Bigg(
$$

[ ] < > ∣ − 2 ∣ { } [] <> |-2| \{\} []<>∣−2∣{}
代码：

$$
[]
<>
|-2|
\{\}
$$

$$⟮x⟯\Vert a\Vert \lceil 2.6\rceil \lfloor 1.2\rfloor$$
代码：

$$
\lgroup x \rgroup
\lVert a \rVert
\lceil 2.6 \rceil
\lfloor 1.2 \rfloor
$$

$$┌┐└┘$$
代码：

$$
\ulcorner
\urcorner
\llcorner
\lrcorner
$$

三、希腊字母

No.	Lowercase	Uppercase	English	IPA
$1$	$\alpha$	$A$	$alpha$	/'ælfə/
$2$	$\beta$	$B$	$beta$	/'bi:tə/or/'beɪtə/
$3$	$\gamma$	$\Gamma$	$gamma$	/'gæmə/
$4$	$\delta$	$\Delta$	$delta$	/'deltə/
$5$	$ϵ$	$E$	$epsilon$	/'epsɪlɒn/
$6$	$\zeta$	$Z$	$zeta$	/'zi:tə/
$7$	$\eta$	$H$	$eta$	/'i:tə/
$8$	$\theta$	$\Theta$	$theta$	/'θi:tə/
$9$	$\iota$	$I$	$iota$	/aɪ’əʊtə/
$10$	$\kappa$	$K$	$kappa$	/'kæpə/
$11$	$\lambda$	$\lambda$	$lambda$	/'læmdə/
$12$	$\mu$	$M$	$mu$	/mju:/
$13$	$\nu$	$N$	$nu$	/nju:/
$14$	$\xi$	$\Xi$	$xi$	/ksi/or/'zaɪ/or/'ksaɪ/
$15$	$o$	$O$	$omicron$	/əu’maikrən/or/'ɑmɪ,krɑn/
$16$	$\pi$	$\Pi$	$pi$	/paɪ/
$17$	$\rho$	$P$	$rho$	/rəʊ/
$18$	$\sigma$	$\Sigma$	$sigma$	/'sɪɡmə/
$19$	$\tau$	$T$	$tau$	/tɔ:/or/taʊ/
$20$	$\upsilon$	${\rm Y}$	$upsilon$	/'ipsilon/or/'ʌpsilɒn/
$21$	$\varphi$	$\Phi$	$phi$	/faɪ/
$22$	$\chi$	$X$	$chi$	/kaɪ/
$23$	$\psi$	$\Psi$	$psi$	/psaɪ/
$24$	$\omega$	$\Omega$	$omega$	/'əʊmɪɡə/or/oʊ’meɡə/
代码：

| No.  | Lowercase  | Uppercase  |  English  |              IPA              |
| :--: | :--------: | :--------: | :-------: | :---------------------------: |
| $1$  |  $\alpha$  |    $A$     |  $alpha$  |          **/'ælfə/**          |
| $2$  |  $\beta$   |    $B$     |  $beta$   |    **/'bi:tə/or/'beɪtə/**     |
| $3$  |  $\gamma$  |  $\Gamma$  |  $gamma$  |          **/'gæmə/**          |
| $4$  |  $\delta$  |  $\Delta$  |  $delta$  |         **/'deltə/**          |
| $5$  | $\epsilon$ |    $E$     | $epsilon$ |        **/'epsɪlɒn/**         |
| $6$  |  $\zeta$   |    $Z$     |  $zeta$   |         **/'zi:tə/**          |
| $7$  |   $\eta$   |    $H$     |   $eta$   |          **/'i:tə/**          |
| $8$  |  $\theta$  |  $\Theta$  |  $theta$  |         **/'θi:tə/**          |
| $9$  |  $\iota$   |    $I$     |  $iota$   |         **/aɪ'əʊtə/**         |
| $10$ |  $\kappa$  |    $K$     |  $kappa$  |          **/'kæpə/**          |
| $11$ | $\lambda$  | $\lambda$  | $lambda$  |         **/'læmdə/**          |
| $12$ |   $\mu$    |    $M$     |   $mu$    |          **/mju:/**           |
| $13$ |   $\nu$    |    $N$     |   $nu$    |          **/nju:/**           |
| $14$ |   $\xi$    |   $\Xi$    |   $xi$    |   **/ksi/or/'zaɪ/or/'ksaɪ/**  |
| $15$ | $\omicron$ |    $O$     | $omicron$ | **/əu'maikrən/or/'ɑmɪ,krɑn/** |
| $16$ |   $\pi$    |   $\Pi$    |   $pi$    |           **/paɪ/**           |
| $17$ |   $\rho$   |    $P$     |   $rho$   |           **/rəʊ/**           |
| $18$ |  $\sigma$  |  $\Sigma$  |  $sigma$  |         **/'sɪɡmə/**          |
| $19$ |   $\tau$   |    $T$     |   $tau$   |       **/tɔ:/or/taʊ/**        |
| $20$ | $\upsilon$ | $\Upsilon$ | $upsilon$ |  **/'ipsilon/or/'ʌpsilɒn/**   |
| $21$ |   $\phi$   |   $\Phi$   |   $phi$   |           **/faɪ/**           |
| $22$ |   $\chi$   |    $X$     |   $chi$   |           **/kaɪ/**           |
| $23$ |   $\psi$   |   $\Psi$   |   $psi$   |          **/psaɪ/**           |
| $24$ |  $\omega$  |  $\Omega$  |  $omega$  |   **/'əʊmɪɡə/or/oʊ'meɡə/**    |

四、算数运算符

$$\begin{gathered} 减号：- \\ +\times /÷\cdot \#\% \end{gathered}$$
代码：
注意：减号的用法，前面有内容 或者 后面不能有空格。

$$
减号：-
\\
+
\times
/
\div
\cdot
\#
\%
$$

$$\circ \ast \star \otimes \oplus \odot$$
代码：

$$
\circ
\ast
\star
\otimes
\oplus
\odot
$$

$$\pm \mp \dotplus \divideontimes$$
代码：

$$
\pm
\mp
\dotplus
\divideontimes
$$

五、比较运算符

$$\begin{gathered} 等于号：= \\ \ne \ne \equiv /\equiv \sim \approx \approxeq \cong \end{gathered}$$
代码：
注意，等于号的用法，前面有内容 或者 后面有内容

$$
等于号：=
\\
\not=
\neq
\equiv
\not\equiv
\sim
\approx
\approxeq
\cong
$$

$$\begin{gathered} 大于号：> \\ <\le \ge \gg \ll \end{gathered}$$
代码：
注意，大于号的用法，前面必须有内容

$$
大于号：>
\\
<
\le
\ge
\gg
\ll
$$

$$⋞⋟\prec \succ ⪯⪰$$
代码：

$$
\curlyeqprec
\curlyeqsucc
\prec
\succ
\preceq
\succeq
$$

六、集合运算符

$$\begin{gathered} \in \ni \not\subset /\supset \subseteq \supseteq \\ \cap \cup \wedge \vee \\ \neg \varnothing \varnothing \\ \because \forall \exists \therefore \end{gathered}$$
代码：

$$
\in
\owns \not
\subset \not
\supset
\subseteq
\supseteq
\\
\cap
\cup
\land
\lor
\\
\neg
\emptyset
\varnothing
\\
\because
\forall
\exists
\therefore
$$

$$\cap \cup \wedge \vee \bigsqcup \sqcap$$
代码：

$$
\cap
\cup
\land
\lor
\sqcup
\sqcap
$$

七、箭头符

$$\begin{gathered} \leftarrow \leftarrow \to \to \leftrightarrow \\ \uparrow \downarrow \updownarrow \end{gathered}$$
代码：

$$
\gets
\leftarrow
\to
\rightarrow
\leftrightarrow
\\
\uparrow
\downarrow
\updownarrow
$$

$$\begin{gathered} \Leftarrow \Rightarrow \iff ⟺ \\ \Uparrow \Downarrow \Updownarrow \end{gathered}$$
代码：

$$
\Leftarrow
\Rightarrow
\Leftrightarrow
\iff
\\
\Uparrow
\Downarrow
\Updownarrow
$$

$$\nearrow \searrow \swarrow \nwarrow$$
代码：

$$
\nearrow
\searrow
\swarrow
\nwarrow
$$

$$⟵⟶⟷⟸⟹⟺⟼$$
代码：

$$
\longleftarrow
\longrightarrow
\longleftrightarrow
\Longleftarrow
\Longrightarrow
\Longleftrightarrow
\longmapsto
$$

$$\stackrel{over}{\to }\underset{under}{\to }\underset{under}{\overset{over}{\to }}\underset{under}{\overset{over}{\leftarrow }}\underset{under}{\leftarrow }\stackrel{over}{\leftarrow }$$
代码：

$$
\xrightarrow{over}
\xrightarrow[under]{}
\xrightarrow[under]{over}
\xleftarrow[under]{over}
\xleftarrow[under]{}
\xleftarrow[]{over}
$$

八、空格间距

$$\begin{gathered} AB \\ AB \\ AB \\ AB \\ AB \\ AB \\ AB \\ AB \end{gathered}$$

$$
A\!B
\\
AB
\\
A\thinspace B
\\
A\:B
\\
A\ B
\\
A \enspace B
\\
A\quad B
\\
A\qquad B
$$

九、矩阵

$$A=\begin{array}{cc}a& b\\ c& d\end{array}$$
代码：

$$
A = \begin{matrix}
a & b\\
c & d
\end{matrix}
$$

$$B=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$$
代码：

$$
B = \begin{pmatrix}
a & b\\
c & d
\end{pmatrix}
$$

$$C=\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$$
代码：

$$
C = \begin{vmatrix}
a & b\\
c & d
\end{vmatrix}
$$

$$D=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$$
代码：

$$
D = \begin{bmatrix}
a & b\\
c & d
\end{bmatrix}
$$

$$E=\Vert \begin{array}{cc}a& b\\ c& d\end{array}\Vert$$
代码：

$$
E = \begin{Vmatrix}
a & b\\
c & d
\end{Vmatrix}
$$

$$F=\left\{\begin{array}{cc}a& b\\ c& d\end{array}\right\}$$
代码：

$$
F = \begin{Bmatrix}
a & b\\
c & d
\end{Bmatrix}
$$

$$[Ab]=\left[\begin{array}{c}\begin{array}{cccc}{a}_{11}& a_{12}& a_{13}& b_1\\ a_{21}& a_{22}& a_{23}& b_2\\ a_{31}& a_{32}& a_{33}& b_3\end{array}\end{array}\right]$$
代码：

$$
[A\ b] = 
\begin{bmatrix}
\begin{array}{c c c|c}
a_{11} & a_{12} & a_{13} & b_1\\
a_{21} & a_{22} & a_{23} & b_2\\
a_{31} & a_{32} & a_{33} & b_3\\
\end{array}
\end{bmatrix}
$$

$$\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}$$
代码：

$$
\begin{array}{c:c:c}
a & b & c \\ 
\hline
d & e & f \\
\hdashline
 g & h & i
\end{array}
$$

$$L_{n\times n}=\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right]$$
代码：

$$
L_{n\times n} = \begin{bmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\ 
a_{21} & a_{22} & \cdots & a_{2n} \\ 
\vdots & \vdots &\ddots & \vdots\\
a_{n1} & a_{n2} & \cdots & a_{nn} \\ 
\end{bmatrix}
$$

十、列式、方程组

$$\begin{array}{rl}f(x)& =(x+1{)}^2\\ & =x^2+2x+1\end{array}$$
代码：

$$
\begin{aligned}
f(x) &= (x+1)^2\\
&= x^2 + 2x + 1
\end{aligned}
$$

$$f(x)=\{\begin{array}{ll}a& \text{if b}\\ b& \text{if a}\end{array}$$
代码：

$$
f(x) = \begin{cases}
a &\text{if b}\\
b &\text{if a}\\
\end{cases}
$$

$$\{\begin{array}{l}\begin{array}{rl}x+2y& =1\\ 3x-y& =5\end{array}\end{array}$$
代码：

$$
\begin{cases}
\begin{aligned}
x + 2y &= 1\\
3x - y &= 5
\end{aligned}
\end{cases}
$$

$$g(x,y)=\{\begin{array}{rcl}\frac{M_g-d}{M_f-b}[f(x,y)-b]+d& & b\le f(x,y)\le M_f\\ F_L^{\ast }& & S_L\le 0<S_M\\ F_R^{\ast }& & S_M\le 0<S_R\\ F_R& & S_R\le 0\end{array}$$
代码：

$$
g(x,y)=\left\{
\begin{array}{rcl}
\frac{M_g - d}{M_f-b}[f(x,y)-b]+d       &      & {b      \leq  f(x,y)  \leq M_f}\\
F^*_L     &      & {S_L \leq 0 < S_M}\\
F^*_R     &      & {S_M \leq 0 < S_R}\\
F_R       &      & {S_R \leq 0}
\end{array} \right.
$$

十一、作废符

$$\cancel{5}\bcancel{5}\xcancel{ABC}$$
代码：

$$
\cancel{5}
\bcancel{5}
\xcancel{ABC}
$$

十二、常见图形

$$\square \square ■△▽▲\diamond ◊\star ★\circ \bullet ◯⨀$$
代码：

$$
\Box
\square
\blacksquare
\triangle
\triangledown
\blacktriangle
\diamond
\Diamond
\star
\bigstar
\circ
\bullet
\bigcirc
\bigodot
$$

$$♢♣♡♠$$
代码：

$$
\diamondsuit
\clubsuit
\heartsuit
\spadesuit
$$

$$\angle \measuredangle \top \perp \infty$$
代码：

$$
\angle
\measuredangle
\top
\bot
\infty
$$

$$✓†‡\yen \$$$
代码：

$$
\checkmark
\dagger
\ddagger
\yen
\$
$$

十三、声明宏（高级用法：定义函数）

对于一些复杂但是只有少许不同的表达式，可以声明一个函数来调用，提高源码的可读性，减少出错

\def\macroname#1#2{
your command
}

宏允许带任意数量的参数（也可以不带参），必须是#1,#2,……这样的命名格式，同时注意在定义宏的时候注意让#1与\中间隔一个空格，否则会解析成#。在调用的时候格式为\macroname{x}{y}{z}

例子
$$\begin{gathered} f(x)=\frac{1}{\sqrt{2\pi }{\sigma }_1}\exp [-\frac{(x-u_1{)}^2}{2{\sigma }_1^2}] \\ f(y)=\frac{1}{\sqrt{2\pi }{\sigma }_2}\exp [-\frac{(y-u_2{)}^2}{2{\sigma }_2^2}] \end{gathered}$$
代码：

\def\Normal#1#2#3{
\frac{1}{\sqrt{2\pi}\ #3}\exp{[-\frac{(#1 - #2)^2}{2\ #3^2}]}
}
f(x)=\Normal{x}{u_1}{\sigma_1}\\
f(y)=\Normal{y}{u_2}{\sigma_2}\\

十四、颜色和大小

$$\begin{gathered} F=ma \\ F=ma \\ F=ma \\ oneline \\ nothing \end{gathered}$$
代码：

$$
\textcolor{blue}{F=ma}
\\
\textcolor{#00ff00}{F=ma}
\\
\textcolor{#ff0000}{F=ma}
\\
\color{blue} one\ line
\\
nothing
$$

$$\begin{gathered} F=ma \\ A \\ \boxed{A} \end{gathered}$$
代码：

$$
\colorbox{#00ff00}{F=ma}
\\
\colorbox{aqua}{A}
\\
\fcolorbox{red}{aqua}{A}
$$

$$\begin{gathered} ABABAB \\ ABABABAB \\ ABABAB \end{gathered}$$
代码：

$$
AB
\Huge AB
\huge AB
\\
AB
\LARGE AB
\Large AB
\large AB
\\
AB
\small AB
\tiny AB
$$

十五、画图（高级用法）

1、UML时序图

在画时序图的时候
我们的思路应该是这样的：
从左到右（创建好节点），然后，从上到下（编写节点间的交互逻辑），写代码画图。

案例1：（volatile修饰的变量在多线程间的工作流程）

代码：

```mermaid
sequenceDiagram
participant t1 as t1 线程
participant num as num = 0
participant ready as volatile ready = false
participant t2 as t2 线程
t1 -->> t1:num=2
t1 ->> ready:ready=true
Note over t1,ready:写屏障
Note over num,t2:读屏障
t2 ->> ready:读取ready=true
t2->> num:读取num=2

案例2：（JVM字节码在多线程中发生的指令重排）

代码：

```mermaid
sequenceDiagram
participant t1 as t1
participant INSTANCE AS INSTANCE
participant t2 as t2
t1 ->> t1:17:new
t1 ->> t1:20:dup
t1->> INSTANCE:24:putstatic(给 INSTANCE 赋值)
INSTANCE ->> t2:0:getstatic(获取 INSTANCE 引用)
t2->>t2:3:ifnonnull 37(判断不为空，跳转到 37 行)
t2 ->> INSTANCE:37:getstatic(获取 INSTANCE 引用)
t2->>t2:40:areturn(返回)
t2 ->> t2 :使用对象
t1 ->> t1:21:invokespecial(调用构造方法)

2、流程图（纵向和横向）

在流程图的时候
LR 指左边到右边，所以是横向流程图
TD 指上边到下边，所以是纵向流程图
我们的思路应该是这样的：
先定义好所有的流程节点，再确定好各个流程节点的指向关系，最后补充流程线上的条件

案例1：（多线程处理垃圾袋）

代码：

```mermaid
graph TD
s(保洁阿姨)
m(主人)
g1(垃圾袋)
g2(新垃圾袋)

s-. 倒空 .-> g1
m -- 检查 --> g1
g1 -- 已满 --> g2
g1 -- 还空 --> g1

案例2：（LongAdder类中的add方法原理图）

代码：
实现方式1：

```mermaid
graph LR
A(当前线程) --> B(Cells)
B --> |为空| C(cas base 累加)
B --> |不为空| D(当前线程 cell 是否创建)
C --> |成功| E(return)
C --> |失败| F(longAccumulate)
D --> |已创建| G(cas cell 累加)
D --> |没创建| F(longAccumulate)
G --> |成功| E(return)
G --> |失败| F(longAccumulate)

实现方式2：（推荐，可读性更好）

```mermaid
graph LR
A(当前线程) 
B(Cells)
C(cas base 累加)
D(当前线程 cell 是否创建)
E(return)
F(longAccumulate)
G(cas cell 累加)
A --> B
B -- 为空 --> C
B -- 不为空 --> D
C -- 成功 --> E
C -- 失败 --> F
D -- 已创建 --> G
D -- 没创建 --> F
G -- 成功 --> E
G -- 失败 --> F

参考：typora常用的数学公式编辑语法