typora公式编辑语法

参考：https://www.cnblogs.com/wreng/articles/13514391.html
自己参考链接在Typora敲了一遍，有时会附上一些自己的小总结。

基本格式

上下标

A_1^2, B^2_k
\\
b_{12}, 
2^{x+y}

显示效果：
$$\begin{gathered} A_1^2,B_k^2 \\ {b}_{12},2^{x+y} \end{gathered}$$

• 即下划线_后接下标
• 向上尖括号^后接上标
• 上下标顺序无所谓
• 多于一个字符时用{}包含
• 双反斜杠\\换行

分数

\frac{x}{1+x}

显示效果：
$$\frac{x}{1+x}$$

• \frac表示分数开始，后跟两个{}分别填入分子和分母的内容
• 用多了就会发现，反斜杠\常用于转义，{}用于作用范围

开根

\sqrt x+1\\
\sqrt {x+1}

显示效果：
$$\begin{gathered} \sqrt{x}+1 \\ \sqrt{x+1} \end{gathered}$$

• \sqrt表示根号开始，不指定{}时只会识别到第一个字符

组合数

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

显示效果：
$$\begin{gathered} \left(\genfrac{}{}{0ex}{}{n}{k}\right) \\ \left(\genfrac{}{}{0ex}{}{n}{k}\right) \end{gathered}$$

• \binom表示组合数开始，后跟两个{}分别填入上下两部分的内容
• \tbinom猜测是更紧凑的形式

导数

a',a''
\\
a^{\prime}

显示效果：
$$\begin{gathered} a^{\prime },a^{\prime \prime } \\ {a}^{\prime } \end{gathered}$$

• 直接敲半角的单引号'，一个代表一阶导，两个代表二阶导数，…
• 或者用'的转义形式：\prime

偏微分

\partial

显示效果：
$$\partial$$

• \partial代表偏微分符号

取模

x \pmod a
\\
2\mod x
\\
2\mod {x+1}

显示效果：
$$\begin{gathered} x(\mathrm{mod}a) \\ 2\mathrm{mod}x \\ 2\mathrm{mod}x+1 \end{gathered}$$

• \pmod自动加括号，\pmod后需带空格
• \mod不加括号的形式，前后可不需空格

积分

\int_{a}^{b},\ \intop_{a}^{b},\ \oint, \smallint, \ \\
\iint, \  \oint, \  \iiint, \  \oiiint

显示效果：
$$\begin{gathered} {\int }_a^b,\underset{a}{\overset{b}{\int }},\oint ,\int , \\ \iint ,\oint ,\iiint ,\iiint \end{gathered}$$

• \int代表积分符，通过_{}^{}依次指定下标和上标；
• \intop的上下标会针对积分符号
• \oint表示带圈的积分符
• \smallint显示的积分符会小一些
• \iint表示两个积分符，\oiint表示两个带圈的积分符，说明有多少个i就有多少个积分符，最前面带o就是带圈

累加

\sum_{a}^{b}, \ \sum^{a}_{b} \\
\displaystyle\sum_{i=1}^{n}, \  \textstyle\sum_{i=1}^{n}

显示效果：
$$\begin{gathered} \sum _a^b,\sum _b^a \\ \sum _{i=1}^n,{\sum }_{i=1}^n \end{gathered}$$

• \sum代表累加符号，上下标的用法和单独的上下标相同，顺序可调换，上下标是单个字符并不需要{}；
• 有两种展示形式，\displaystyle是默认形式，上下标正对累加符号；textstyle对应文本形式，符号更小一些，上下标也会调整到右侧

累乘

\prod_{i=1}^k, \ \displaystyle\prod_{i=1}^k, \  \textstyle\prod_{i=1}^{k}

显示效果：
$$\prod _{i=1}^k,\prod _{i=1}^k,{\prod }_{i=1}^k$$

• \prod代表累乘符号，上下标写法和两种展示形式都和累加一样

极限

\lim_{k \to \infty}\\
\lim\limits_{k \to \infty}\\
\lim\nolimits_{k \to -\infty}

显示效果：
$$\begin{gathered} \underset{k\to \infty }{\lim } \\ \underset{k\to \infty }{\lim } \\ {\lim }_{k\to -\infty } \end{gathered}$$

• \lim代表最基本的极限符号，\lim之下的\limits和nolimits是两种形式，一个极限范围在正下方，一个在右侧
• 顺便说一下，\to代表一个向右的箭头，\infty代表无穷符号

修饰符号

帽子和袜子

\hat{ab} \\
\widehat{ab} \\ 
\bar{y} \\ 
\overline{xy} \\ 
\tilde{a} \\
\widetilde{ac} \\
\bar{a}, \acute{a}, \check{a}, \grave{a} \\
\dot{a}, \ddot{a} \\
\overleftarrow{AB}, \overrightarrow{AB}, \overleftrightarrow{AB} \\
\underleftarrow{AB}, \underrightarrow{AB}, \underleftrightarrow{AB} \\
\overbrace{ab}, \underbrace{ab} \\
\overline{ab}, \underline{aa}

显示效果：
$$\begin{gathered} \widehat{ab} \\ \widehat{ab} \\ \bar{y} \\ \overline{xy} \\ \tilde{a} \\ \widetilde{ac} \\ \bar{a},\acute{a},\check{a},\grave{a} \\ \dot{a},\ddot{a} \\ \overleftarrow{AB},\overrightarrow{AB},\overleftrightarrow{AB} \\ \underleftarrow{AB},\underrightarrow{AB},\underleftrightarrow{AB} \\ \overbrace{ab},\underbrace{ab} \\ \overline{ab},\underline{aa} \end{gathered}$$
不解释了，对照显示效果选对应的就行
需要注意的是，显示内容最好都用{}，不然跟单个字符时，没有空格会识别不了，比如\hatf 是不对的，\hat f才可以，统一用{}就省去这样的麻烦了

盖子和盒子

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

显示效果：
$$\stackrel{\text{note}}{\overbrace{a+b+c}},\underset{\text{note}}{\underbrace{a+b+c}},\boxed{\pi =3.14}$$

各种括号

(
\big(
\Big()
\bigg()
\Bigg()
\\
\lgroup xx \rgroup \\
\lVert aaa \rVert \\
\lceil x+2.7 \rceil \\
\lfloor x_k \rfloor \\
\ulcorner, \llcorner, \urcorner, \lrcorner

显示效果：
$$\begin{gathered} ((()()() \\ ⟮xx⟯ \\ \Vert aaa\Vert \\ \lceil x+2.7\rceil \\ \lfloor x_k\rfloor \\ ┌,└,┐,┘ \end{gathered}$$

• 基本的括号正常敲键盘，可以逐级增大括号，其规律是第一级加\big，下一级是B大写\Big，下两级在前两个之上加一个g：\bigg和\Bigg，然后就没有下一级了（实践一下再加g），并且这个修饰只能作用于一边括号
• 其他括号，[],<>,|-2| 都是正常的键盘输出，唯独要在公式显示{}需加\：\{\}
• 其他特殊括号基本都是成对的，一左一右，以下分别是成组括号、范数符号、向上取整和向下取整，以及一些不同位置的角标（l,u,l,r可表示底部，顶部，左，右）

希腊字母

直接查表。

\alpha , \beta , \gamma , \phi , \nu , \epsilon , \varepsilon , \varrho , \Delta , \Pi , \Psi , \varDelta \\
\varPsi , \zeta , \kappa , \xi , \chi , \varkappa , \varsigma , \Theta , \Omega , \varTheta , \varSigma , \varOmega \\
\lambda , \omicron , \tau , \psi , \varphi , \Lambda , \Upsilon , \varLambda , \delta , \theta , \mu , \pi \\
\omega , \varpi , \digamma , \partial , \imath , \jmath , \aleph , \hbar

显示效果：
$$\begin{gathered} \alpha ,\beta ,\gamma ,\varphi ,\nu ,ϵ,\epsilon ,\varrho ,\Delta ,\Pi ,\Psi ,\Delta \\ \Psi ,\zeta ,\kappa ,\xi ,\chi ,\varkappa ,\varsigma ,\Theta ,\Omega ,\Theta ,\Sigma ,\Omega \\ \lambda ,o,\tau ,\psi ,\phi ,\Lambda ,{\rm Y},\Lambda ,\delta ,\theta ,\mu ,\pi \\ \omega ,\varpi ,ϝ,\partial ,ı,ȷ,\aleph ,\hslash \end{gathered}$$

算术运算符

+, -, \times, /, \div,\ \cdot\ ,\#,\%  \\
\cap,\ \cup,\ \land,\ \lor,\ \sqcap,\ \sqcup \\
\circ, \ast, \star, \otimes, \oplus, \odot \\
\pm, \mp, \dotplus, \divideontimes

显示效果：
$$\begin{gathered} +,-,\times ,/,÷,\cdot ,\#,\% \\ \cap ,\cup ,\wedge ,\vee ,\sqcap ,\bigsqcup \\ \circ ,\ast ,\star ,\otimes ,\oplus ,\odot \\ \pm ,\mp ,\dotplus ,\divideontimes \end{gathered}$$

比较运算符

=, \not=, \equiv, \approx,  \approxeq, \cong, \sim \\
<, >, \le, \ge, \gg, \ll \\
\curlyeqprec, \curlyeqsucc, \prec, \succ, \preceq, \succeq

显示效果：
$$\begin{gathered} =,\ne ,\equiv ,\approx ,\approxeq ,\cong ,\sim \\ <,>,\le ,\ge ,\gg ,\ll \\ ⋞,⋟,\prec ,\succ ,⪯,⪰ \end{gathered}$$

集合逻辑相关

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

显示效果：
$$\begin{gathered} \in ,\notin ,\ni ,\not\ni ,\subset ,\not\subset ,\supset ,\not\supset ,\subseteq ,\supseteq \\ \cap ,\cup ,\wedge ,\vee ,\neg ,\varnothing ,\varnothing \\ \because ,\forall ,\exists ,\therefore \end{gathered}$$

各种箭头

\gets, \leftarrow, \to, \rightarrow, \leftrightarrow, \uparrow, \downarrow, \updownarrow \\
\Leftarrow, \Rightarrow, \Leftrightarrow, \iff, \Uparrow, \Downarrow, \Updownarrow \\
\nearrow, \searrow, \swarrow, \nwarrow \\
\leftharpoonup, \leftharpoondown, \rightharpoonup, \rightharpoondown, \rightleftharpoons \\
\mapsto, \leadsto, \hookleftarrow, \hookrightarrow \\
\longleftarrow, \longrightarrow, \longleftrightarrow, \Longleftarrow, \Longrightarrow, \Longleftrightarrow, \longmapsto \\
\xrightarrow{over} \\
\xrightarrow[under]{} ,
\xrightarrow[under]{over} \\
\xleftarrow{over} \\
\xleftarrow[under]{} ,
\xleftarrow[under]{over} \\

显示效果：
$$\begin{gathered} \leftarrow ,\leftarrow ,\to ,\to ,\leftrightarrow ,\uparrow ,\downarrow ,\updownarrow \\ \Leftarrow ,\Rightarrow ,\iff ,⟺,\Uparrow ,\Downarrow ,\Updownarrow \\ \nearrow ,\searrow ,\swarrow ,\nwarrow \\ \leftharpoonup ,\leftharpoondown ,\rightharpoonup ,\rightharpoondown ,\rightleftharpoons \\ \mapsto ,⇝,\hookleftarrow ,\hookrightarrow \\ ⟵,⟶,⟷,⟸,⟹,⟺,⟼ \\ \stackrel{over}{\to } \\ \underset{under}{\to },\underset{under}{\overset{over}{\to }} \\ \stackrel{over}{\leftarrow } \\ \underset{under}{\leftarrow },\underset{under}{\overset{over}{\leftarrow }} \end{gathered}$$

空格间距

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

显示效果：
$$\begin{gathered} AB \\ AB \\ AB \\ AB \\ AB \\ AB \\ AB \\ AB \end{gathered}$$

矩阵

无括号矩阵

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

显示效果：
$$A=\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}$$

圆括号矩阵

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

显示效果：
$$B=\left(\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\right)$$

行列式（单竖线）

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

显示效果：
$$C=\left|\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\right|$$

方括号矩阵

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

显示效果：
$$D=\left[\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\right]$$

双竖线

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

显示效果：
$$E=\Vert \begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\Vert$$

花括号

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

显示效果：
$$F=\left\{\begin{array}{cc}a& b\\ c& d\\ e& f\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
\end{array}
\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\end{array}\end{array}\right]$$

显示元素间隔线

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

显示效果：
$$\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}$$

省略矩阵元素

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}

显示效果：
$$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]$$

列式/方程组

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

显示效果：
$$\begin{array}{rl}f(x)& =(x+1{)}^2\\ & =x^2+2x+1\end{array}$$
通过&指定每一行对齐的位置。

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

显示效果：
$$f(x)=\{\begin{array}{ll}a& \text{if b}\\ b& \text{if a}\end{array}$$

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

显示效果：
$$\{\begin{array}{l}\begin{array}{rl}x+2y& =1\\ 3x-20y& =5\end{array}\end{array}$$

字体操作

修改字体

\mathrm{AB} , \mathbf{AB} , \mathit{AB} ,  \mathsf{AB} , \textrm{AB} , \textbf{AB} , \textit{AB}  \\
\textsf{AB} , \rm{AB} , \bf{AB} , \it{AB} , \sf{AB} , \bold{AB} , \Bbb{AB} , \mathcal{AB} , \frak{AB} , \\
\boldsymbol{AB} , \mathbb{AB} , \mathscr{AB} , \mathfrak{AB} \\

显示效果：
$$\begin{gathered} \mathrm{AB},\mathbf{AB},AB,\mathsf{AB},\text{AB},\text{AB},\text{AB} \\ \text{AB},\mathrm{AB},\mathbf{AB},AB,\mathsf{AB},\mathbf{AB},\mathbb{AB},\mathcal{A}\mathcal{B},\mathfrak{AB}, \\ \mathbf{AB},\mathbb{AB},\mathcal{AB},\mathfrak{AB} \end{gathered}$$

修改大小

d\Huge AB, d, \\
d\normalsize AB \\
\Huge AB cd de \\
\huge ABcdde \\
\LARGE ABcdde \\
\Large ABcdde \\
\large ABcdde \\
\small ABcdde \\
\tiny ABcdde

显示效果：
$$\begin{gathered} dAB,d, \\ dAB \\ ABcdde \\ ABcdde \\ ABcdde \\ ABcdde \\ ABcdde \\ ABcdde \\ ABcdde \end{gathered}$$

修改颜色

\textcolor{blue}{F = ma} \\
\textcolor{#00ff00}{F = ma} \\
\textcolor{#ff0000}{F = ma} \\
\color{red} one\ line \\
nothing \\
\colorbox{green}{F=ma} \\
\colorbox{aqua}{aaa} \\
\fcolorbox{red}{aqua}{aaa}

显示效果：
$$\begin{gathered} F=ma \\ F=ma \\ F=ma \\ oneline \\ nothing \\ F=ma \\ aaa \\ \boxed{aaa} \end{gathered}$$

划掉

\cancel {AB}, \ \bcancel{abcd}, \ \xcancel{cancel}

显示效果：
$$\cancel{AB},\bcancel{abcd},\xcancel{cancel}$$

常见图形

\Box, \square, \blacksquare, \triangle, \triangledown, \blacktriangle, \diamond, \Diamond, \star, \bigstar, \circ, \bullet,  \bigcirc, \bigodot, \\
\diamondsuit, \clubsuit, \heartsuit, \spadesuit, \angle, \measuredangle, \top, \bot, \infty, \checkmark, \dagger, \ddagger, \yen, \$

显示效果：
$$\begin{gathered} \square ,\square ,■,△,▽,▲,\diamond ,◊,\star ,★,\circ ,\bullet ,◯,⨀, \\ ♢,♣,♡,♠,\angle ,\measuredangle ,\top ,\perp ,\infty ,✓,†,‡,\yen ,\$ \end{gathered}$$

声明宏

对于一些复杂但只有少许不同的表达式，可以声明一个函数来调用，基本语法：
$$
\def\macroname#1#2{
\frac{\ #1}{\ #2}
}

f(x) = \macroname{a}{b} ,\
f(x) = \macroname{c}{d}
$$
其中，macroname是自己定义的函数名，#1#2等等表示传入的参数，参数在函数中的位置用\ #1这种形式代替，反斜杠和井号之间有空格。