Latex数学公式编辑常用命令技巧集锦

笨牛慢耕

已于 2023-05-22 13:07:03 修改

阅读量8.2k

点赞数 10

分类专栏：杂货铺文章标签： Latex Equation Edit 经验分享

于 2021-10-09 18:01:01 首次发布

本文链接：https://blog.csdn.net/chenxy_bwave/article/details/120052835

版权

杂货铺专栏收录该内容

13 篇文章 1 订阅

订阅专栏

3.3 Ralph Smith正式花体（rsfs) 需要"mathrsfs"宏包

3.4 在Jupyter Notebook中

0. 前言

Latex可以用来编辑完整的文档，公式编辑只是它的能力范围中一小部分。但是本文将仅限于公式编辑中如何使用Latex来提高效率。比如说在CSDN中的CodeCogs公式编辑器或者WORD的公式编辑器中，不用Latex也可以编辑公式，但是需要频繁地使用鼠标，比较麻烦。善用Latex的话就可以大大提高效率。

以下输入latex例中，前面是在公式编辑器中输入的字符串，后面是相应的转换效果（事实上就是本编辑器中的公式编辑器的变换效果）。但是，有些方面CSDN中的CodeCogs公式编辑器的Latex语法解释与WORD公式中的Latex语法解释似乎不同，原因待查。这里以CodeCogs公式编辑器为准。

1. Latex 基本语法

Latex中用美元符号"$"来将数学公式与其它文字分隔开来。比如说，当你(当然是说在有Latex解释的环境下，比如说Jupyter Notebook Markdown cell中)输入$F = ma$你将得到 $F=ma$ 。如果用两个美元符号"$$"作为两侧定界符的话就可以得到独立表示成一行的数学公式，而且会自动放置在一行的中央。

Latex排版（Typesetting）命令通常以反斜杠"\"开始，而参数则放在花括号{}中。后面可以看到，希腊字母等就是用反斜杠"\"开始来生成。

换行符为“\\”，这个在后面的多行公式编辑中将出现。

2. 上标，下标

2.1 侧上方和侧下方

下标用下划线后跟下标字母表示，如果多于一个字母的话，用{}括住的整体部分变成下标：

x_k: $x_k$

x_{k_n}: $x_{k_n}$

上标用^后跟上标字母表示，如果多于一个字母的话用{}将上标部分括起来（在WORD中用()括住的整体部分变成上标），这里与WORD公式编辑器的行为似乎不同。

x^k: $x^k$

x^{yz}: $x^{yz}$

上、下标都可以以嵌套的方式追加多层，如以下多层指数的表示方式：

x^{y^z}: $x^{y^z}$

关于更复杂一些的上标、下标的输入方法，比如说大型求连加和、求连乘积或者说极限等放在运算的正上方、正下方的情况，参见：Latex Tips: argmin/max, 连加和、连乘积等的上、下标输入方法https://chenxiaoyuan.blog.csdn.net/article/details/121441803

还有一种花式的在左右两边都添加上下标的方式：

\sideset{^1_2}{^3_4}\bigotimes: $\sideset{^1_2}{^3_4}\bigotimes$

2.2 正上方和正下方

如果要把上标、下标表示到主题符号的正上方和正下方的话，则需要用"\limits_" 和"\limits^".

例1：

\sum\limits_{k = 0}\limits^{\infty} x(k)

$\sum\limits_{k = 0}\limits^{\infty} x(k)$

例2：

\int\limits_{-\infty}\limits^{\infty} e^{-t} dt

$\int\limits_{-\infty}\limits^{\infty} e^{-t} dt$

3. Latex花体字体(Script)

多数LATEX标准发行版中提供了三种“花色”的字体，其中一些字体需要使用特殊的宏程序包。为此，请在\ documentclass命令之后和\begin{document}之前插入\ usepackage命令添加宏包。

3.1 标准的Latex花式字体

无需额外的红包。

\mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ}:

$\mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$

3.2 Euler花体

需要"euscript" 宏包

添加宏包
\usepackage[mathscr]{euscript}
写法
\mathscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
输出

3.3 Ralph Smith正式花体（rsfs)
需要"mathrsfs"宏包

1. 添加宏包
\usepackage{mathrsfs}
2. 写法
\mathscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
3. 显示

3.4 在Jupyter Notebook中

在Jupyter Notebook中应该是缺省地加载了以上的一些包，所以并不需要显式地使用\usepackage命令就可以直接使用\mathscr、\mathcal等指令。而且事实上，你连其中的'math'都不需要。比如说在Jupyter Notebook MarkDown cell中输入：

$$\mathcal{T}$$ 
$$\cal{T}$$  
$$\mathscr{T}$$
$$\scr{T}$$

会得到：

4. 常见数学表达式

4.1. 分式

\frac{a}{b}: $\frac{a}{b}$

4.2. 开根号

\sqrt{a}: $\sqrt{a}$

\frac{1}{\sqrt(a)}: $\frac{1}{\sqrt{a}}$

4.3. 积分

\int^a_b: int表示integral，如前所述，'^'表示上标，在这里就表示积分上限，而'-'表示下标，在这里就表示积分下限。比如, \int^a_b{f(x)dx}就表示：

$\int^a_b{f(x)dx}$

以上带积分上下限的是定积分，不带上下限的就是不定积分了。

注意，这里的积分上下限并不需要像求和符号那样用“\limit” 进行标记。

进一步，

\int表示一重积分，\iint表示二重积分，\iiint表示三重积分： $\iint$ , $\iiint$ , $\iiiint$ ...

4.4. 微分，导数

这里要用到与分式表示的组合命令：

\frac{\partial{y}}{\partial{x}}: $\frac{\partial{y}}{\partial{x}}$

\frac{\mathrm{d} }{\mathrm{d} x}: $\frac{\mathrm{d} y}{\mathrm{d} x}$

4.5 极限

\lim_{x \to 0}{f(x)}: $\lim_{x \to 0}{f(x)}$

4.6 矩阵

参见：Latex Tips: 如何输入矩阵(illustrated in Jupyter Notebook)https://chenxiaoyuan.blog.csdn.net/article/details/121968463

5. 常见数学运算符号

\cdot:

点号 " $\cdot$ " : \cdot, 比如说用于表示乘法
省略号“ $\cdots$ ”: \cdots. 省略号就是多个点号，所以用\cdot的复数形式
小圆圈“ $\circ$ ” : \circ. 这个通常用于代数中的复合映射、复合作用等的表示
任意“ $\forall$ ” : \forall. 它与下面的存在操作符号常见于数学分析的极限的定义中
存在“ $\exists$ ” : \exists 顺便说一下，“ $\forall$ ”是Any首字母倒过来写，“ $\exists$ ”是Exist首字母倒过来写，数学家们也偶有幽默的一面
否定：\not，参见以下各条
$\neq, \geq, \leq, \not\geq, \not\leq, \approx$ : 分别写作\neq, \geq, \leq, \not\geq, \not\leq, \approx
$\in, \not\in$ : \in, \not\in
二项式系数 $\binom{n}{k}$ : \binom{n}{k}
求模运算 $\pmod{n}, \bmod{n}$ : \pmod{n}, \bmod{n}, 前者会加上括号和空格，后者为简写形式
集合交、并运算 $\cap, \cup$ : \cap, \cup
$\oplus$ : \oplus，这个符号常用于模二加运算
多项组合的交、并、模二加 $\bigcup, \bigcap, \bigoplus$ ：\bigcup, \bigcap, \bigoplus
带上下标的多项组合的交 $\bigcup\limits_{x \in X}A_x$ ： \bigcup\limits_{x \in X}A_x，same for \bigcap, \bigoplus

更全面的数学符号集参见：Latex Tips: 数学符号大全

6. 公式换行

用“\\”可以使得公式自动换行，可以把“\\”理解为C语言中的"\n"的等价物。

例如，输入“(a-b)^2 \\= a^2 - 2ab + b^2 \\= (a+b)^2 - 4ab”将得到：

$(a-b)^2 \\= a^2 - 2ab + b^2 \\= (a+b)^2 - 4ab$

7. 多行公式的行间对齐

如果没有自动对齐控制的话，一个多行公式是如下效果，有点丑陋。

a = b \\ a + c = b + c \\ a = (b+c)-c

$a = b \\ a + c = b + c \\ a = (b+c)-c$

通常我们会需要按照中间的“=” 对齐的方式来显示，可以如下实现。

7.1 按中间的等号对齐

用"&="替换原来的"="可以使得不同行间的'='自动对齐。

\begin{align} a &= b \\ a + c &= b + c \\ a &= (b+c)-c \end{align}

$\begin{align} a &= b \\ a + c &= b + c \\ a &= (b+c)-c \end{align}$

但是，以上加了对齐控制语句后，自动添加了(1), (2), (3)编号。有时候会需要这个，但是如何把它取消呢？另外，如果不需要每行加一个编号，而是整个公式加一个编号，或者其中某些行加编号，怎么办呢？

7.2 取消编号

将align改为align*即可，如下所示：

\begin{align*}

公式本体

\end{align*}

$\begin{align*} a &= b \\ a + c &= b + c \\ a &= (b+c)-c \end{align*}$

7.3 对某些行加编号

方法：align环境下，每一行的\\之前使用一个\notag来取消本行编号，其他有编号行会自动排序

示例：

\begin{align}

x+1 &= y+2 \notag \\

&= z+3 \notag \\

&= w+4

\end{align}

7.4 其他命令加编号

另外，使用 \eqno{...} 命令也是可以加编号的，方法是使用命令。举例如下：

a=b \eqno{(1)}

$a=b \eqno{(1)}$

但这时的编号 (1) 要手动输入，而且不能被引用。

8. 其它

\infty: $\infty$

8.1 波浪线

参见：Latex Tips: How to type a tilde (波浪符) ?https://blog.csdn.net/chenxy_bwave/article/details/121605070https://blog.csdn.net/chenxy_bwave/article/details/121605070

8.2 粗体字母

\bold K: $\bold K$

8.3 空心字母

\mathbb K: $\mathbb K$

8.4 数学公式中的空格表示

名称	符号	显示	说明
两个quad空格	$a\qquad b$	$a\qquad b$	两个m的宽度
quad空格	$a\quad b$	$a\quad b$	一个m的宽度
大空格	$a\ b$	$a\ b$	1/3m宽度
中等空格	$a\;b$	$a\;b$	2/7m宽度
小空格	$a,b$	$a\,b$	1/6m宽度
紧凑	$a!b$	$a\!b$	缩紧1/6m的宽度