在Markdown中用LaTeX输入公式-csdn

Markdown语法简洁，LaTeX版面优美，相互配合，可以使用Markdown处理大多数的公式输入。
LaTeX的教程中，刘海洋的《LaTeX入门》全面专业，其中第1章第2节的示例《杂谈勾股定理》写得简洁优美，用不到100行的代码，把LaTeX使用过程中的各个环节都做了一个简洁的展示，是LaTeX入门的捷径。
另外，《一份（不太）简短的 LATEX 2ε 介绍》（-或 111 分钟了解 LATEX 2ε）正文大约111页，篇幅相对比较短，作为参考也非常棒。
本文就是把这个文档的第四章的数学公式部分的命令，在Markdown中测试了一遍。除了“定理”部分的语法，因为用到特定的宏命令包无法使用外，大部分命令在Markdown中均能正常使用。
《一份（不太）简短的 LATEX 2ε 介绍》的第4.9节有完整的公式符号对应LaTeX命令的表，查起来也非常方便。

参考资料：

• 刘海洋的《LaTeX入门》
• 《一份（不太）简短的 LATEX 2ε 介绍-或 111 分钟了解 LATEX 2ε》 https://ctan.math.utah.edu/ctan/tex-archive/info/lshort/chinese/lshort-zh-cn.pdf
• Markdown官方教程 https://markdown.com.cn/basic-syntax/

注意，各个网站的markdown语法都有自己的特色，有些命令在jupyter-lab中可以使用，但是未必与其他网站兼容
因此，具体能否有效，还是要到具体网址进行测试。
从测试情况来看，csdn网站用的是KaTex，与LaTeX命令稍有不同，部分命令要进行替换。
KaTeX命令参考：https://katex.org/docs/supported.html

---

公式排版基础

行内和行间公式

行内公式由一对 $ 符号包裹,例如：

勾股定理： $a^2 + b^2 = c^2$.

勾股定理：$a^2+b^2=c^2$.

行间公式单独成行，使用$$包裹。
如果公式需要编号，可以使用tag命令。

毕达哥拉斯定理:
$$
a^2 + b^2 = c^2 \tag{1.1}
$$
公式 (1.1) 在中国被称为勾股定理.

毕达哥拉斯定理:
$$a^2+b^2=c^2\text{\hspace{1em}(1.1)}$$
公式 (1.1) 在中国被称为勾股定理.

行内公式采用不同的排列和字号以适应行高：

行内公式: $\lim_{n \to \infty}
\sum_{k=1}^n \frac{1}{k^2}
= \frac{\pi^2}{6}$.

行内公式: ${\lim }_{n\to \infty }{\sum }_{k=1}^n\frac{1}{k^2}=\frac{{\pi }^2}{6}$.

行间公式:
$$
\lim_{n \to \infty}
\sum_{k=1}^n \frac{1}{k^2}
= \frac{\pi^2}{6}
$$

行间公式:
$$\underset{n\to \infty }{\lim }\sum _{k=1}^n\frac{1}{k^2}=\frac{{\pi }^2}{6}$$

---

数学模式

需要人为引入间距时，使用quad 和qquad 及\:等间距命令

$x^{2} \geq 0 \qquad \text{for all} \: x\in\mathbb{R}$

$x^2\ge 0\text{for all}x\in \mathbb{R}$

---

数学符号

一般符号

$a_1, a_2, \dots, a_n$

$a_1,a_2,\dots ,a_n$

$a_1 + a_2 + \cdots + a_n$

$a_1+a_2+\cdots +a_n$

指数、上下标和导数

$$p^3_{ij} \qquad m_\mathrm{Knuth}\qquad \sum_{k=1}^3 k $$  

$$p_{ij}^3{m}_{\mathrm{K}\mathrm{n}\mathrm{u}\mathrm{t}\mathrm{h}}\sum _{k=1}^{3}k$$

$a^x+y \neq a^{x+y}\qquad e^{x^2} \neq {e^x}^2$

$a^x+y\ne a^{x+y}{e}^{x^2}\ne {e^x}^2$

$f(x) = x^2 \quad f'(x) = 2x \quad f''^{2}(x) = 4$

$f(x)=x^2{f}^{\prime }(x)=2x{f}^{\prime \prime 2}(x)=4$

分式和根式

注意行间公式中dfrac的作用和行内公式中dfrac的作用
行间公式：

$$
3/8 \qquad \frac{3}{8} \qquad \tfrac{3}{8}
$$

$$3/8\frac{3}{8}\frac{3}{8}$$

行内公式:

$1\frac{1}{2}$ hours $\qquad 1\dfrac{1}{2}$hours

$1\frac{1}{2}$ hours $1\frac{1}{2}$hours

$\sqrt{x} \Leftrightarrow x^{1/2} \quad \sqrt[3]{2} \quad \sqrt{x^{2} + \sqrt{y}}$

$\sqrt{x}\iff x^{1/2}\sqrt[3]{2}\sqrt{x^2+\sqrt{y}}$

二项式：

$$
\binom{n}{k} =\binom{n-1}{k} + \binom{n-1}{k-1}
$$

$$\left(\genfrac{}{}{0ex}{}{n}{k}\right)=\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)+\left(\genfrac{}{}{0ex}{}{n-1}{k-1}\right)$$

关系符

$$f_n(x) \stackrel{*}{\approx} 1$$

$$f_n(x)\stackrel{\ast }{\approx }1$$

算符

$$ \lim_{x \rightarrow 0} \frac{\sin x}{x}=1 $$

$$\underset{x\to 0}{\lim }\frac{\sin x}{x}=1$$

$$ a \bmod b \\
 x \equiv a \pmod{b} $$

$$\begin{gathered} a\mathrm{m}\mathrm{o}\mathrm{d}b \\ x\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}b) \end{gathered}$$

巨算符

$$\sum_{i=1}^n \quad \int_0^{\frac{\pi}{2}} \quad \oint_0^{\pi / 2 } \quad \prod_\epsilon $$

$$\sum _{i=1}^n{\int }_0^{\frac{\pi }{2}}{\oint }_0^{\pi /2}\prod _{ϵ}$$

$$\sum_{i=1}^n \quad \int_0^{\frac{\pi}{2}} \quad \oint_0^{\pi / 2 } \quad \prod_\epsilon $$

$$\sum _{i=1}^n{\int }_0^{\frac{\pi }{2}}{\oint }_0^{\pi /2}\prod _{ϵ}$$

$$\sum\limits_{i=1}^n \quad \int\limits_0^{\frac{\pi}{2}} \quad \prod\limits_\epsilon $$

$$\sum _{i=1}^n\underset{0}{\overset{\frac{\pi }{2}}{\int }}\prod _{ϵ}$$

$$\sum\nolimits_{i=1}^n \quad \int\limits_0^{\frac{\pi}{2}} \quad \prod\nolimits_\epsilon$$

$${\sum }_{i=1}^n\underset{0}{\overset{\frac{\pi }{2}}{\int }}{\prod }_{ϵ}$$

$$\sum_{\begin{aligned} 0\le &i\le n \\
j&\in \mathbb{R}  \end{aligned}} P(i,j) = Q(n)$$

$$\sum _{\begin{array}{rl}0\le & i\le n\\ j& \in \mathbb{R}\end{array}}P(i,j)=Q(n)$$

$$\sum_{\begin{aligned} &0\le i\le n \\
&j\in \mathbb{R} \end{aligned}} P(i,j) = Q(n)$$

$$\sum _{\begin{array}{rl}& 0\le i\le n\\ & j\in \mathbb{R}\end{array}}P(i,j)=Q(n)$$

数学重音和上下括号

$\bar{x_0} \quad \bar{x}_0$

$\overline{x_0}{\bar{x}}_0$

$\vec{x_0} \quad \vec{x}_0$

$\overrightarrow{x_0}{\vec{x}}_0$

$\hat{\mathbf{e}_x} \quad \hat{\mathbf{e}}_x$

$\widehat{{\mathbf{e}}_x}{\hat{\mathbf{e}}}_x$

$0.\overline{3} = \underline{\underline{1/3}}$

$0.\overline{3}=\underline{\underline{1/3}}$

$\hat{XY} \qquad \widehat{XY}$

$\widehat{XY}\widehat{XY}$

$\vec{AB} \qquad \overrightarrow{AB}$

$\overrightarrow{AB}\overrightarrow{AB}$

$\underbrace{\overbrace{(a+b+c)}^6 \cdot \overbrace{(d+e+f)}^7} _\text{meaning of life} = 42$

$\underset{\text{meaning of life}}{\underbrace{\stackrel{6}{\overbrace{(a+b+c)}}\cdot \stackrel{7}{\overbrace{(d+e+f)}}}}=42$

箭头

$$  a\xleftarrow{x+y+z} b $$

$$a\stackrel{x+y+z}{\leftarrow }b$$

$$ c\xrightarrow[x<y]{a*b*c}d $$

$$c\underset{x<y}{\overset{a\ast b\ast c}{\to }}d$$

括号和定界符

${a,b,c} \neq \{a,b,c\}$

a , b , c ≠ { a , b , c } {a,b,c} \neq \{a,b,c\} a,b,c​={a,b,c}

$$1 + \left(\frac{1}{1-x^{2}} \right)^3 \qquad \left.\frac{\partial f}{\partial t} \right|_{t=0}$$

$$1+{\left(\frac{1}{1-x^2}\right)}^3{\frac{\partial f}{\partial t}|}_{t=0}$$

$\Bigl((x+1)(x-1)\Bigr)^{2}$  

$((x+1)(x-1){)}^2$

$\bigl( \Bigl( \biggl( \Biggl( \quad
\bigr\} \Bigr\} \biggr\} \Biggr\} \quad
\big\| \Big\| \bigg\| \Bigg\| \quad
\big\Downarrow \Big\Downarrow
\bigg\Downarrow \Bigg\Downarrow$

$\left(\right(\left(\right(\left\}\right\}\left\}\right\}\Vert \Vert \Vert \Vert \Downarrow \Downarrow \Downarrow \Downarrow$

多行公式

长公式折行

$$\begin{aligned}
a + b + c + d + e + f + g + h + i \\
= j + k + l + m + n\\
= o + p + q + r + s\\
= t + u + v + x + z
\end{aligned}$$

$$\begin{array}{r}a+b+c+d+e+f+g+h+i\\ =j+k+l+m+n\\ =o+p+q+r+s\\ =t+u+v+x+z\end{array}$$

多行公式

$$\begin{aligned}
a & = b + c \\
& = d + e
\end{aligned}$$

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

在以下的例子，为了对齐等号，我们将分隔符放在右侧，并且此时需要在等号后添加一对括号 {} 以产生正常的间距：

$$\begin{aligned}
a ={} & b + c \\
={} & d + e + f + g + h + i + j + k + l  \\
& + m + n + o \\
={} & p + q + r + s
\end{aligned}$$

$$\begin{array}{rl}a=& b+c\\ =& d+e+f+g+h+i+j+k+l\\ & +m+n+o\\ =& p+q+r+s\end{array}$$

aligned 还能够对齐多组公式，除等号前的 & 之外，公式之间也用 & 分隔：
参考：https://blog.csdn.net/COCO56/article/details/98477502

$$\begin{aligned}
a &=1 & b &=2 & c &=3 \\
d &=-1 & e &=-2 & f &=-5
\end{aligned}$$

$$\begin{array}{rlrlrl}a& =1& b& =2& c& =3\\ d& =-1& e& =-2& f& =-5\end{array}$$

默认右对齐？

$$\begin{aligned}
a = b + c \\
d = e + f + g \\
h + i = j + k  \\
l + m = n
\end{aligned}$$

$$\begin{array}{r}a=b+c\\ d=e+f+g\\ h+i=j+k\\ l+m=n\end{array}$$

左对齐：

$$\begin{aligned}
&a = b + c \\
&d = e + f + g \\
&h + i = j + k  \\
&l + m = n
\end{aligned}$$

$$\begin{array}{rl}& a=b+c\\ & d=e+f+g\\ & h+i=j+k\\ & l+m=n\end{array}$$

公用编号的多行公式

公式环境用等号对齐：

$$
\begin{aligned}
a &= b + c \\
d &= e + f + g \\
h + i &= j + k \\
l + m &= n
\end{aligned} \tag{1.3}
$$

$$\begin{array}{rl}a& =b+c\\ d& =e+f+g\\ h+i& =j+k\\ l+m& =n\end{array}\text{\hspace{1em}(1.3)}$$

数组和矩阵

$$
 \mathbf{X} = \left(
\begin{array}{cccc}
x_{11} & x_{12} & \ldots & x_{1n}\\
x_{21} & x_{22} & \ldots & x_{2n}\\
\vdots & \vdots & \ddots & \vdots\\
x_{n1} & x_{n2} & \ldots & x_{nn}\\
\end{array} \right)
$$

$$\mathbf{X}=\left(\begin{array}{cccc}{x}_{11}& x_{12}& \dots & x_{1n}\\ x_{21}& x_{22}& \dots & x_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ x_{n1}& x_{n2}& \dots & x_{nn}\end{array}\right)$$

$$
 |x| = \left\{
\begin{array}{rl}
-x & \text{if } x < 0,\\
0 & \text{if } x = 0,\\
x & \text{if } x > 0.
\end{array} \right. 
$$

$$|x|=\{\begin{array}{rl}-x& \text{if }x<0,\\ 0& \text{if }x=0,\\ x& \text{if }x>0.\end{array}$$

$$
|x| = \begin{cases}
-x & \text{if } x < 0,\\
0 & \text{if } x = 0,\\
x & \text{if } x > 0.
\end{cases}
$$

$$|x|=\{\begin{array}{ll}-x& \text{if }x<0,\\ 0& \text{if }x=0,\\ x& \text{if }x>0.\end{array}$$

$$\begin{matrix} 1 & 2 \\
3 & 4 \end{matrix}$$

$$\begin{array}{cc}1& 2\\ 3& 4\end{array}$$

$$\begin{pmatrix} 1 & 2 \\
3 & 4 \end{pmatrix}$$ 

$$\left(\begin{array}{cc}1& 2\\ 3& 4\end{array}\right)$$

$$\begin{vmatrix} 1 & 2 \\
3 & 4 \end{vmatrix}$$

$$\left|\begin{array}{cc}1& 2\\ 3& 4\end{array}\right|$$

$$\begin{Vmatrix} 1 & 2 \\
3 & 4 \end{Vmatrix}$$ 

$$\Vert \begin{array}{cc}1& 2\\ 3& 4\end{array}\Vert$$

$$\begin{bmatrix}
x_{11} & x_{12} & \ldots & x_{1n}\\
x_{21} & x_{22} & \ldots & x_{2n}\\
\vdots & \vdots & \ddots & \vdots\\
x_{n1} & x_{n2} & \ldots & x_{nn}\\
\end{bmatrix}$$

$$\left[\begin{array}{cccc}{x}_{11}& x_{12}& \dots & x_{1n}\\ x_{21}& x_{22}& \dots & x_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ x_{n1}& x_{n2}& \dots & x_{nn}\end{array}\right]$$

$$
\mathbf{H}=
\begin{bmatrix}
\dfrac{\partial^2 f}{\partial x^2} &
\dfrac{\partial^2 f}
{\partial x \partial y} \\[8pt]
\dfrac{\partial^2 f}
{\partial x \partial y} &
\dfrac{\partial^2 f}{\partial y^2}
\end{bmatrix}
$$

$$\mathbf{H}=\left[\begin{array}{cc}\frac{{\partial }^{2}f}{\partial x^2}& \frac{{\partial }^{2}f}{\partial x\partial y}\\ \frac{{\partial }^{2}f}{\partial x\partial y}& \frac{{\partial }^{2}f}{\partial y^2}\end{array}\right]$$

$$
\mathbf{H}=
\begin{bmatrix}
\dfrac{\partial^2 f}{\partial x^2} &
\dfrac{\partial^2 f}
{\partial x \partial y} \\[8pt]
\dfrac{\partial^2 f}
{\partial x \partial y} &
\dfrac{\partial^2 f}{\partial y^2}
\end{bmatrix}
$$

$$\mathbf{H}=\left[\begin{array}{cc}\frac{{\partial }^{2}f}{\partial x^2}& \frac{{\partial }^{2}f}{\partial x\partial y}\\ \frac{{\partial }^{2}f}{\partial x\partial y}& \frac{{\partial }^{2}f}{\partial y^2}\end{array}\right]$$

公式中的间距

一个常见的用途是修正积分的被积函数 f(x) 和微元 dx 之间的距离。注意微元里的 d 用的
是直立体：

$$ \int_a^b f(x)\mathrm{d}x
\qquad
\int_a^b f(x)\,\mathrm{d}x$$

$${\int }_a^{b}f(x)\mathrm{d}x{\int }_a^{b}f(x)\mathrm{d}x$$

$$\begin{aligned}
\int\int f(x)g(y)
\,\mathrm{d} x\,\mathrm{d} y \\
\int\!\!\!\int
f(x)g(y) \,\mathrm{d} x \,\mathrm{d} y \\
\iint f(x)g(y) \,\mathrm{d} x \,\mathrm{d} y \\
\oint\quad \iint\quad \iiint\quad 
\end{aligned}$$

$$\begin{array}{r}\int \int f(x)g(y)\mathrm{d}x\mathrm{d}y\\ \int \int f(x)g(y)\mathrm{d}x\mathrm{d}y\\ \iint f(x)g(y)\mathrm{d}x\mathrm{d}y\\ \oint \iint \iiint \end{array}$$

kaTeX似乎不支持\idotsint命令

---

数学符号的字体控制

字体

$\mathcal{R} \quad \mathfrak{R} \quad \mathbb{R}$
$$\mathcal{L} = -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}$$
$\mathfrak{su}(2)$ and $\mathfrak{so}(3)$ Lie algebra

$\mathcal{R}\mathfrak{R}\mathbb{R}$
$$\mathcal{L}=-\frac{1}{4}{F}_{\mu \nu }{F}^{\mu \nu }$$
$\mathfrak{s}\mathfrak{u}(2)$ and $\mathfrak{s}\mathfrak{o}(3)$ Lie algebra

加粗的数学符号

$\mu, M \qquad \boldsymbol{\mu}, \boldsymbol{M}$

$\mu ,M\mathbf{\mu },\mathbf{M}$

数学符号的尺寸

$$
r = \frac
{\sum_{i=1}^n (x_i- x)(y_i- y)}
{\displaystyle \left[
\sum_{i=1}^n (x_i-x)^2
\sum_{i=1}^n (y_i-y)^2
\right]^{1/2} }
$$

$$r=\frac{{\sum }_{i=1}^n(x_i-x)(y_i-y)}{{\left[\sum _{i=1}^n(x_i-x{)}^2\sum _{i=1}^n(y_i-y{)}^2\right]}^{1/2}}$$

---

其他

证明（因为，所以）

$$\because a \ge b \\ b \ge c \\ \therefore a \ge c$$

$$\begin{gathered} \because a\ge b \\ b\ge c \\ \therefore a\ge c \end{gathered}$$

如果使用aligned环境，排版效果会好一些

$$\begin{aligned}
\because a \ge b \\ b \ge c \\ \therefore a \ge c
\end{aligned}$$

$$\begin{array}{r}\because a\ge b\\ b\ge c\\ \therefore a\ge c\end{array}$$

---