Markdown文档语法以及数学公式【实践】

前言

程序猿（媛）经常不可避免的是在代码中经常用到Markdown文件，来编写属于自己的README.md。如何快速学会其语法，并且写出自己的漂亮的md文档。接下来，我们对Markdown文档进行全面剖析，着重掌握其数学公式的编写。

Markdown介绍

Markdown 是一种轻量级的「标记语言」，简洁

以下内容只介绍相关Markdown语法，不涉及HTML语法。

Markdown 的优点

• 专注你的文字内容而不是排版样式，安心写作（简洁）
• 轻松的导出 HTML、PDF 和本身的 .md 文件 （高效）
• 纯文本内容，兼容所有的文本编辑器与字处理软件
• 随时修改你的文章版本，不必像字处理软件生成若干文件版本导致混乱
• 可读、直观、学习成本低

段落

• Enter换行
• 两端话之间加上<br>

强调

Markdown 使用星号 * 和下划线 - 作为标记强调字词的符号

斜体

在 Markdown 中，将内容用 * 或 _ 包裹起来，包围的字词会被转成用 标签包围，会显示成 斜体，比如：*这里是斜体内容1* _这里是斜体内容2_

需要注意的是：

1. 用什么符号开启标签，就要用什么符号结束
2. * 和 _ 两边都有空白的话，它们就只会被当成普通的符号
3. 如果要在文字前后直接插入普通的星号或下划线，可以用反斜杠\* \_

粗体

用两个 * 或 _ 包起来的话，则会被转成 ，例如：

**这里是粗体内容1** __这里是粗体内容2__

删除线

你还可以使用两个 ~ 来给内容加上删除线，例如：

~~这个内容是被删掉的~~

列表

无序列表使用 * 、 + 或是 - 作为列表标记

有序列表则使用数字接着一个英文句号

任务列表的语法格式为 - [ ] todo，其中 [ ] (带空格的中括号)表示未完成的任务，[x](带字母x的中括号) 表示已经完成的任务，比如：

• 起床
• 工作

列表之间可以互相嵌套

分隔线

你可以在一行中用三个或以上的*、-、_来创建一个分隔线，行内不能有其他东西。你也可以在星号中间插入空白

区块引用

• Markdown 使用 email 形式的区块引用，我们在要引用内容每行的最前面加上 > ，就可以在 Markdown 文档中创建一个区块引用

• 区块引用可以有级别（例如：引用内的引用），只要根据级别加上不同数量的 >

• 引用的区块内也可以使用其他的 Markdown 语法，包括标题、列表、代码块等

代码块

行内代码的格式很简单，只需要使用两个 ` 将代码内容包裹起来即可，

在代码块里面， & 、 < 和 > 会自动转成 HTML 实体，这样的方式让你非常容易使用 Markdown 插入 HTML 的原始示例代码，例如：
代码：

<div class="footer">
    &copy; 2004 Foo Corporation
</div>

代码：

<div class="footer">
    &copy; 2004 Foo Corporation
</div>

代码块，在新的一行连续三个`将内容包起来。而后加上代码语言，如：

````python`

表格

• :--: 两端都有冒号表示内容和标题栏居中对齐
• :--- 左侧冒号表示内容和标题栏居左对齐
• ---: 右侧冒号表示内容和标题栏居右对齐

图片

要添加图像，请使用感叹号 (!), 然后在方括号增加替代文本，图片链接放在圆括号里，括号里的链接后可以增加一个可选的图片标题文本。

语法：![图片alt](图片链接 "图片title")

emoji表情

（1）:emoji: 的形式来打出 emoji，软件会自动给出图形的提示,如：😄

（2）针对Windows用户来说，快速的方法，win + .打开emoji表情库

LaTex

LaTeX 使用TeX 排版程序来格式化它的输出，并且它本身是用 TeX宏语言编写的。

LaTeX 旨在提供一种高级的、描述性的标记语言，它可以让作者更轻松地发挥 TeX 的强大功能。本质上，TeX 处理布局方面，而LaTeX处理文档处理的内容方面。

LaTeX 系统是一种处理排版和渲染的标记语言，并且可以通过使用底层宏语言来开发新环境和命令等自定义宏来任意扩展。

基本语法

行内公式

正文(inline)中的LaTeX公式用$...$定义

行间公式

单独显示(display)的LaTeX公式用$$...$$定义，此时公式居中并放大显示

样式

功能	语法	效果
换行	\\	$$\begin{gathered} a \\ b \end{gathered}$$
空格	（1）\:（正常空） （2）\qquad（两个空）	（1）$a+b=a+b$ （2）$a+b=a+b$
正粗体	\mathbf{内容}	$\mathbf{ABCDEFGHI}$
黑板粗体	\mathbb{内容}	$\mathbb{ABCDEFGHI}$
斜粗体	\boldsymbol{内容}	$\mathbf{ABCDEFGHI}$
斜体	\mathit{内容}	$ABCDEFGHI$
罗马体	\mathrm{内容}	$\mathrm{ABCDEFGHI}$
哥特体	\mathfrak{内容}	$\mathfrak{ABCDEFGHI}$
手写体	\mathcal{内容}	$\mathcal{A}\mathcal{BC}\mathcal{D}\mathcal{EFGH}\mathcal{I}$
小型手写体	\scriptstyle\text{内容}	$\text{ABCDEFGHI}$
无衬线体	\mathsf{内容}	$\mathsf{ABCDEFGHI}$
大小	\tiny{内容}, \scriptsize{内容}, \small{内容}, \large{内容}, \Large{内容}, \huge{内容}, \Huge{内容}	$我$ $我$ $我$ $我$ $我$ $我$ $我$
颜色	\color{颜色}{内容}	$生活$，$生活$
背景颜色	\colorbox{内容}	$生活$

色调表

运算符

语法	效果
+, -, \pm, \mp, \dotplus	$+,-,\pm ,\mp ,\dotplus$
\times, \div, \divideontimes, /, \backslash	$\times ,÷,\divideontimes ,\backslash$
\cdot, * \ast, \star, \circ, \bullet	$\cdot ,\ast \ast ,\star ,\circ ,\bullet$
\boxplus, \boxminus, \boxtimes, \boxdot	$⊞,\boxminus ,⊠,⊡$
\oplus, \ominus, \otimes, \oslash, \odot	$\oplus ,\ominus ,\otimes ,\oslash ,\odot$
\circleddash, \circledcirc, \circledast	$⊝,⊚,⊛$
\bigoplus, \bigotimes, \bigodot	$⨁,⨂,⨀$

逻辑符号

\forall, \exists, \nexists	$\forall ,\exists ,\nexists$
\therefore, \because, \And	$\therefore ,\because ,\&$
\vee, \curlyvee, \bigvee	$\vee ,⋎,\bigvee$
\wedge, \curlywedge, \bigwedge	$\wedge ,⋏,\bigwedge$

箭头

\Rrightarrow, \Lleftarrow	$\Rrightarrow ,\Lleftarrow$
\Rightarrow, \nRightarrow, \Longrightarrow \implies	$\Rightarrow ,\nRightarrow ,⟹⟹$
\Leftarrow, \nLeftarrow, \Longleftarrow	$\Leftarrow ,\nLeftarrow ,⟸$
\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff	$\iff ,\nLeftrightarrow ,⟺⟺$
\Uparrow, \Downarrow, \Updownarrow	$\Uparrow ,\Downarrow ,\Updownarrow$
\rightarrow \to, \nrightarrow, \longrightarrow	$\to \to ,\nrightarrow ,⟶$
\leftarrow \gets, \nleftarrow, \longleftarrow	$\leftarrow \leftarrow ,\nleftarrow ,⟵$
\leftrightarrow, \nleftrightarrow, \longleftrightarrow	$\leftrightarrow ,\nleftrightarrow ,⟷$
\uparrow, \downarrow, \updownarrow	$\uparrow ,\downarrow ,\updownarrow$
\nearrow, \swarrow, \nwarrow, \searrow	$\nearrow ,\swarrow ,\nwarrow ,\searrow$
\mapsto, \longmapsto	$\mapsto ,⟼$

集合

语法	效果
\{ \}, \O \empty \emptyset, \varnothing	{ , } , ∅ , ∅ , ∅ \{ ,\},\empty ,\emptyset, \varnothing {,},∅,∅,∅
\in, \notin \not\in, \ni, \not\ni	$\in ,\notin ,\notin ,\ni ,\not\ni$
\cap, \Cap, \sqcap, \bigcap	$\cap ,⋒,\sqcap ,\bigcap$
\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus	$\cup ,⋓,\bigsqcup ,\bigcup ,⨆,\uplus ,⨄$
\setminus, \smallsetminus, \times	$\setminus ,\setminus ,\times$
\subset, \Subset, \sqsubset	$\subset ,⋐,⊏$
\supset, \Supset, \sqsupset	$\supset ,⋑,⊐$
\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq	$\subseteq ,⊈,⊊,,⊑$
\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq	$\supseteq ,⊉,⊋,,⊒$
\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq	$⫅,,⫋,$
\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq	$⫆,,⫌,$

上标、下标及积分等

功能	语法	效果
上标	a^2	$a^2$
下标	a_2	$a_2$
上标组合	a^{2+2}	$a^{2+2}$
下标组合	a_{i,j}	$a_{i,j}$
结合上下标	x_2^3	$x_2^3$
前置上下标	{}_1^2\!X_3^4	${}_1^2{X}_3^4$
上下标错开	{x_1}^2=x_1 \times x_1	${x_1}^2=x_1\times x_1$
导数	（1）x' （2）x^\prime	$x^{\prime }$
导数点	\dot{x}	$\dot{x}$
导数点	\ddot{y}	$\ddot{y}$
向量（1）	\vec{c}	$\vec{c}$
向量（2）	\overleftarrow{a b}	$\overleftarrow{ab}$
向量（3）	\overrightarrow{c d}	$\overrightarrow{cd}$
向量（4）	\overleftrightarrow{a b}	$\overleftrightarrow{ab}$
向量（5）	\widehat{e f g}	$\widehat{efg}$
上弧	\overset{\frown} {AB} （注: 正确应该用 \overarc，但在这里行不通。要用建议的语法作为解决办法。）（使用\overarc时需要引入{arcs}包。）	$\stackrel{⌢}{\mathrm{AB}}$
上划线	\overline{h i j}	$\overline{hij}$
下划线	\underline{k l m}	$\underline{klm}$
上括号	（1）\overbrace{1+2+\cdots+100} （2）\overbrace{ 1+2+\cdots+100 }^{5050}	（1）$\overbrace{1+2+\cdots +100}$ （2）$\stackrel{5050}{\overbrace{1+2+\cdots +100}}$
下括号	（1）\underbrace{a+b+\cdots+z} （2）\underbrace{a+b+\cdots+z}_{26}	（1）$\underbrace{a+b+\cdots +z}$ （2）$\underset{26}{\underbrace{a+b+\cdots +z}}$
求和	（1）\sum_{k=1}^N k^2 （2）\begin{matrix} \sum_{k=1}^N k^2 \end{matrix}	${\sum }_{k=1}^N{k}^2$
求积	（1）\prod_{i=1}^N x_i （2）\begin{matrix} \prod_{i=1}^N x_i \end{matrix}	${\prod }_{i=1}^N{x}_i$
上积	（1）\coprod_{i=1}^N x_i （2）\begin{matrix} \coprod_{i=1}^N x_i \end{matrix}	${\coprod }_{i=1}^N{x}_i$
极限	（1）\lim_{n \to \infty}x_n （2）\begin{matrix} \lim_{n \to \infty}x_n \end{matrix}	${\lim }_{n\to \infty }{x}_n$
积分	（1）\int_{-N}^{N} e^x\, \mathrm{d}x （2）\begin{matrix} \int_{-N}^{N} e^x\, \mathrm{d}x \end{matrix}	${\int }_{-N}^N{e}^x\mathrm{d}x$
双重积分	\iint_{D}^{W} \, \mathrm{d}x\,\mathrm{d}y	${\iint }_D^W\mathrm{d}x\mathrm{d}y$
三重积分	\iiint_{E}^{V} \, \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z	${\iiint }_E^V\mathrm{d}x\mathrm{d}y\mathrm{d}z$
闭合的曲线积分、曲面积分	\oint_{C} x^3\, \mathrm{d}x + 4y^2\, \mathrm{d}y	${\oint }_C{x}^3\mathrm{d}x+4y^2\mathrm{d}y$
闭合面积分	\oiint_{S} \,f\mathrm{d}A	$\iint f\mathrm{d}A$
闭合体积分	\oiiint_{E}\,f\mathrm{d}V	$\iiint f\mathrm{d}V$
交集	\bigcap_1^{n} p	${\bigcap }_1^{n}p$
并集	\bigcup_1^{k} p	${\bigcup }_1^{k}p$

分数、矩阵和多行列式

功能	语法	效果
分数	（1）\frac{2}{4}=0.5 （2）{2 \over 3} （3）{{a+b} \over {a-b}}	（1）$\frac{2}{4}=0.5$ （2）$\frac{2}{3}$ （3）$\frac{a+b}{a-b}$
小型分数	\tfrac{2}{4} = 0.5	$\frac{2}{4}=0.5$
大型分数（嵌套）	\cfrac{2}{c + \cfrac{2}{d + \cfrac{2}{4}}} = a	$\frac{2}{c+\frac{2}{d+\frac{2}{4}}}=a$
大型分数（不嵌套）	\dfrac{2}{4} = 0.5 \qquad \dfrac{2}{c + \dfrac{2}{d + \dfrac{2}{4}}} = a	$\frac{2}{4}=0.5\frac{2}{c+\frac{2}{d+\frac{2}{4}}}=a$
二项式系数	\dbinom{n}{r}=\binom{n}{n-r}=\mathrm{C}_n^r=\mathrm{C}_n^{n-r}	$\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\left(\genfrac{}{}{0ex}{}{n}{n-r}\right)={\mathrm{C}}_n^r={\mathrm{C}}_n^{n-r}$
小型二项式系数	\tbinom{n}{r}=\tbinom{n}{n-r}=\mathrm{C}_n^r=\mathrm{C}_n^{n-r}	$\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\left(\genfrac{}{}{0ex}{}{n}{n-r}\right)={\mathrm{C}}_n^r={\mathrm{C}}_n^{n-r}$
大型二项式系数	\binom{n}{r}=\dbinom{n}{n-r}=\mathrm{C}_n^r=\mathrm{C}_n^{n-r}	$\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\left(\genfrac{}{}{0ex}{}{n}{n-r}\right)={\mathrm{C}}_n^r={\mathrm{C}}_n^{n-r}$
矩阵	（1）\begin{matrix} x & y \\ z & v \end{matrix} （2）\begin{vmatrix} x & y \\ z & v \end{vmatrix} （3）\begin{Vmatrix} x & y \\ z & v \end{Vmatrix} （4）\begin{bmatrix} 0 & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & 0 \end{bmatrix} （5）\begin{Bmatrix} x & y \\ z & v \end{Bmatrix} （6）\begin{pmatrix} x & y \\ z & v \end{pmatrix} （7）\bigl( \begin{smallmatrix} a&b\\ c&d \end{smallmatrix} \bigr)	（1）$\begin{array}{cc}x& y\\ z& v\end{array}$ （2）$\left|\begin{array}{cc}x& y\\ z& v\end{array}\right|$ （3）$\Vert \begin{array}{cc}x& y\\ z& v\end{array}\Vert$ （4）$\left[\begin{array}{ccc}0& \cdots & 0\\ ⋮& \ddots & ⋮\\ 0& \cdots & 0\end{array}\right]$ （5）$\left\{\begin{array}{cc}x& y\\ z& v\end{array}\right\}$ （6）$\left(\begin{array}{cc}x& y\\ z& v\end{array}\right)$ （7）$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$
条件定义	f(n) = \begin{cases} n/2, & \mbox{if }n\mbox{ is even} \\ 3n+1, & \mbox{if }n\mbox{ is odd} \end{cases} PS：&是对齐	$$f(n)=\{\begin{array}{ll}n/2,& ifniseven\\ 3n+1,& ifnisodd\end{array}$$
多行等式、同余式	（1）\begin{align} f(x) & = (m+n)^2 \\ & = m^2+2mn+n^2 \\ \end{align} （2）\begin{align} 3^{6n+3}+4^{6n+3} & \equiv (3^3)^{2n+1}+(4^3)^{2n+1}\\ & \equiv 27^{2n+1}+64^{2n+1}\\ & \equiv 27^{2n+1}+(-27)^{2n+1}\\ & \equiv 27^{2n+1}-27^{2n+1}\\ & \equiv 0 \pmod{91}\\ \end{align} （3）\begin{alignat}{3} f(x) & = (m-n)^2 \\ f(x) & = (-m+n)^2 \\ & = m^2-2mn+n^2 \\ \end{alignat}	（1）$$\begin{array}{rl}f(x)& =(m+n{)}^2\\ & =m^2+2mn+n^2\end{array}$$ （2）$$\begin{array}{rl}{3}^{6n+3}+4^{6n+3}& \equiv (3^3{)}^{2n+1}+(4^3{)}^{2n+1}\\ & \equiv 27^{2n+1}+64^{2n+1}\\ & \equiv 27^{2n+1}+(-27{)}^{2n+1}\\ & \equiv 27^{2n+1}-27^{2n+1}\\ & \equiv 0(\mathrm{mod}91)\end{array}$$ （3）$$\begin{array}{rl}f(x)& =(m-n{)}^2\\ f(x)& =(-m+n{)}^2\\ & =m^2-2mn+n^2\end{array}$$
多行等式（左对齐）	\begin{array}{lcl} z & = & a \\ f(x,y,z) & = & x + y + z \end{array}	$\begin{array}{lcl}z& =& a\\ f(x,y,z)& =& x+y+z\end{array}$
多行等式（右对齐）	\begin{array}{lcr} z & = & a \\ f(x,y,z) & = & x + y + z \end{array}	$\begin{array}{lcr}z& =& a\\ f(x,y,z)& =& x+y+z\end{array}$
长公式	f(x) = \sum_{n=0}^\infty a_n x^n = a_0+a_1x+a_2x^2+\cdots	$$f(x)=\sum _{n=0}^{\infty }{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+\cdots$$
方程组	\begin{cases} 3x + 5y + z \\ 7x - 2y + 4z \\ -6x + 3y + 2z \end{cases}	$\{\begin{array}{l}3x+5y+z\\ 7x-2y+4z\\ -6x+3y+2z\end{array}$
数组	\begin{array}{|c|c|c|} a & b & S \\ \hline 0&0&1\\ 0&1&1\\ 1&0&1\\ 1&1&0\\ \end{array}	$\begin{array}{ccc}a& b& S\\ 0& 0& 1\\ 0& 1& 1\\ 1& 0& 1\\ 1& 1& 0\end{array}$

Markdown工具

仅做参考，不做推荐，笔者使用的是Typora。

• Typora：Typora 是一个跨平台的 markdown 编辑器，具有极简的用户界面，可提供 markdown 语法的实时渲染。它适用于 Windows、Mac 和 Linux，并以简单易用着称。它有收费版和社区版。

• Atom：Atom 是 GitHub 开发的一款流行的开源代码编辑器，同样支持 markdown 编辑。它提供了许多功能，如自动完成、语法高亮和项目管理，使其成为开发人员的强大工具。

• Visual Studio Code：Visual Studio Code 是另一种流行的开源代码编辑器，支持 markdown 编辑。它有广泛的扩展和插件可用于降价编辑，包括支持实时预览、linting 和拼写检查。

• Joplin：Joplin 是一个开源的笔记和待办应用程序，还支持 markdown 编辑。它适用于 Windows、Mac 和 Linux，还有适用于 iOS 和 Android 的移动应用程序。Joplin 提供了许多功能，如标记、搜索和加密，使其成为组织笔记的绝佳工具。

• StackEdit：StackEdit 是一款免费的在线 markdown 编辑器，可提供实时预览并与 Dropbox 和 Google Drive 等云存储服务同步。它有很多功能，如 mathjax 支持、自定义 CSS 和 HTML 导出。

• Ghostwriter：Ghostwriter 是一个免费的开源 markdown 编辑器，适用于 Windows、Mac 和 Linux。它提供了一个无干扰的界面和实时预览，使其成为作家的绝佳工具。

• MarkdownPad：MarkdownPad 是一款适用于 Windows 的免费 Markdown 编辑器，它提供了许多功能，例如语法高亮显示、可自定义样式和实时预览。

• Mark Text：Mark Text 是一款免费开源的 Markdown 编辑器，提供实时预览、语法高亮和自定义 CSS 等多种功能。它适用于 Windows、Mac 和 Linux。

• Dillinger：Dillinger 是一个免费的在线 markdown 编辑器，提供许多功能，如云存储集成、实时预览和 HTML 导出。

• Haroopad：Haroopad 是一款适用于 Windows、Mac 和 Linux 的免费 markdown 编辑器，它提供了许多功能，例如实时预览、语法高亮显示和自定义主题。它还具有许多可用于高级功能的插件，例如代码语法高亮显示和表格格式化。

总结

在日常中，个人在数学公式编写中，不知道如何正确编写，因此整理本文，只想快速能够查询到相关的语法进行正确编写。

以上是我个人在学习过程中的记录所学，希望对正在一起学习的小伙伴有所帮助！！！
如果对你有帮助，希望你能一键三连【关注、点赞、收藏】！！！

参考链接

• https://math.meta.stackexchange.com/questions/5020/mathjax-basic-tutorial-and-quick-reference
• gentle.pdf (koddos.net)
• https://blog.csdn.net/garfielder007/article/details/51646604
• https://zh.wikipedia.org/wiki/Help:数学公式