目录
3.3 Ralph Smith正式花体(rsfs) 需要"mathrsfs"宏包
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$你将得到。如果用两个美元符号"$$"作为两侧定界符的话就可以得到独立表示成一行的数学公式,而且会自动放置在一行的中央。
Latex排版(Typesetting)命令通常以反斜杠"\"开始,而参数则放在花括号{}中。后面可以看到,希腊字母等就是用反斜杠"\"开始来生成。
换行符为“\\”,这个在后面的多行公式编辑中将出现。
2. 上标,下标
2.1 侧上方和侧下方
下标用下划线后跟下标字母表示,如果多于一个字母的话,用{}括住的整体部分变成下标:
x_k:
x_{k_n}:
上标用^后跟上标字母表示,如果多于一个字母的话用{}将上标部分括起来(在WORD中用()括住的整体部分变成上标),这里与WORD公式编辑器的行为似乎不同。
x^k:
x^{yz}:
上、下标都可以以嵌套的方式追加多层,如以下多层指数的表示方式:
x^{y^z}:
关于更复杂一些的上标、下标的输入方法,比如说大型求连加和、求连乘积或者说极限等放在运算的正上方、正下方的情况,参见:Latex Tips: argmin/max, 连加和、连乘积等的上、下标输入方法https://chenxiaoyuan.blog.csdn.net/article/details/121441803
还有一种花式的在左右两边都添加上下标的方式:
\sideset{^1_2}{^3_4}\bigotimes:
2.2 正上方和正下方
如果要把上标、下标表示到主题符号的正上方和正下方的话,则需要用"\limits_" 和"\limits^".
例1:
\sum\limits_{k = 0}\limits^{\infty} x(k)
例2:
\int\limits_{-\infty}\limits^{\infty} e^{-t} dt
3. Latex花体字体(Script)
多数LATEX标准发行版中提供了三种“花色”的字体, 其中一些字体需要使用特殊的宏程序包。为此,请在\ documentclass命令之后和\begin{document}之前插入\ usepackage命令添加宏包。
3.1 标准的Latex花式字体
无需额外的红包。
\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}:
4.2. 开根号
\sqrt{a}:
\frac{1}{\sqrt(a)}:
4.3. 积分
\int^a_b: int表示integral,如前所述,'^'表示上标,在这里就表示积分上限,而'-'表示下标,在这里就表示积分下限。比如, \int^a_b{f(x)dx}就表示:
以上带积分上下限的是定积分,不带上下限的就是不定积分了。
注意,这里的积分上下限并不需要像求和符号那样用“\limit” 进行标记。
进一步,
\int表示一重积分,\iint表示二重积分,\iiint表示三重积分:, , ...
4.4. 微分,导数
这里要用到与分式表示的组合命令:
\frac{\partial{y}}{\partial{x}}:
\frac{\mathrm{d} }{\mathrm{d} x}:
4.5 极限
\lim_{x \to 0}{f(x)}:
4.6 矩阵
5. 常见数学运算符号
\cdot:
- 点号 "" : \cdot, 比如说用于表示乘法
- 省略号“”: \cdots. 省略号就是多个点号,所以用\cdot的复数形式
- 小圆圈“” : \circ. 这个通常用于代数中的复合映射、复合作用等的表示
- 任意“” : \forall. 它与下面的存在操作符号常见于数学分析的极限的定义中
- 存在“” : \exists 顺便说一下,“”是Any首字母倒过来写,“”是Exist首字母倒过来写,数学家们也偶有幽默的一面
- 否定 :\not,参见以下各条
- : 分别写作\neq, \geq, \leq, \not\geq, \not\leq, \approx
- : \in, \not\in
- 二项式系数 : \binom{n}{k}
- 求模运算 : \pmod{n}, \bmod{n}, 前者会加上括号和空格,后者为简写形式
- 集合交、并运算: \cap, \cup
- : \oplus,这个符号常用于模二加运算
- 多项组合的交、并、模二加:\bigcup, \bigcap, \bigoplus
- 带上下标的多项组合的交: \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”将得到:
7. 多行公式的行间对齐
如果没有自动对齐控制的话,一个多行公式是如下效果,有点丑陋。
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}
但是,以上加了对齐控制语句后,自动添加了(1), (2), (3)编号 。有时候会需要这个,但是如何把它取消呢?另外,如果不需要每行加一个编号,而是整个公式加一个编号,或者其中某些行加编号,怎么办呢?
7.2 取消编号
将align改为align*即可,如下所示:
\begin{align*}
公式本体
\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)}
但这时的编号 (1) 要手动输入,而且不能被引用。
8. 其它
\infty:
8.1 波浪线
8.2 粗体字母
\bold K:
8.3 空心字母
\mathbb K:
8.4 数学公式中的空格表示
名称 | 符号 | 显示 | 说明 |
---|---|---|---|
两个quad空格 | $a\qquad b$ | 两个m的宽度 | |
quad空格 | $a\quad b$ | 一个m的宽度 | |
大空格 | $a\ b$ | 1/3m宽度 | |
中等空格 | $a\;b$ | 2/7m宽度 | |
小空格 | $a,b$ | 1/6m宽度 | |
紧凑 | $a!b$ | 缩紧1/6m的宽度 |