latex加下划线_【帅的】LaTeX基础学习笔记3

该笔记内容主要源自CTAN: A (Not So) Short Introduction to LaTeX（知道有中文的）的第三章。笔记对内容进行了整合，水平有限，若有错漏，欢迎指正交流。

本篇主要包含以下内容：

数学公式的一切

AMS-LaTeX包集合

AMS-LaTeX包集合（bundle）由美国数学学会（American Mathematical Society）开发，内置于所有LaTeX安装包中，包含用于数学排版的软件包和类的集合，其中最常用的包是amsmath。

数学公式

• 公式的两种排版类型

1. Text Style：公式在段落内，包含在 $ $ 中

换行 后 [5pt] 设置行间距为5pt

Large 命令加大排版字体

2. Display Style：公式独立在段落外，包含在环境equation中

公式的引用：首先在公式后面使用 label{} 命令设置标签，然后在引用处使用 eqref{} 命令通过标签引用公式

• 公式的特殊格式

1. 使用 tag 命令命名公式
2. 使用equation*环境或将公式包含 [ ] 中，可消除公式编号。推荐用前者，编号/无编号切换更快
3. 在Text Style中，使用 smash{} 命令忽略公式高度，保持文稿行间距均匀。

• 公式代码特征

1. 单个公式代码中不允许出现空白行，一个公式一个段落
2. 代码中的space没有意义，排版出公式中的空格是公式规范自带的，或者使用相关命令强制实现的：

a. quad：大小与当前字体的字符“ M”的宽度相等；qquad：2 * quad

b. ，：3/18 quad；：：4/18 quad；；：5/18 quad；+空格：6/18 quad

c. ！：-3/18 quad

d. phantoms：占据一个字符的空间

3. 代码中的字母都被视为变量，可使用 text{} 命令将某些字母当成普通字符排版

a. 常用公式字体表

b. 符号加粗

boldsymbol{}

c. 不同显示模式

displaystyle{}、textstyle{}、scriptstyle{} 和 scriptscriptstyle{}，顾名思义，详见下节例子。

公式符号

• 希腊字母、上下标、根号和点

1. 公式中的命令只对紧随命令的一个字符有效，若命令要处理多个字符，需要用{}将多个字符括起来。
2. 根号的大小会随公式内容自动调整，surd 简化开方表示
3. cdot 表示居中点（可用来表示乘法），cdots 表示三个连续居中点，ldots 表示省略号，vdots 表示竖向省略号，ddots 表示斜向省略号

希腊字母表

二值关系符号表

• 上划下划线、上下括号、重音符号、标量、分数

dfrac：display style分数；tfrac：text style分数

• 函数符号

自定义函数：在preamble中使用DeclareMathOperator 命令定义函数，加星号实现“极限”型函数

常用函数表

• 偏导、多项式系数、堆叠符号

• 积分、求和、乘积

substack 命令可用于堆叠复杂条件

• Delimiter（括号，箭头等）

1. 将left 和right 分别置于delimiter两部分前方（如左括号和右括号），delimiter的大小将自动调整，left. right. 不显示不显示部分delimiter
2. big Big bigg Bigg 手动放大delimiter

长公式

当公式跨越多行时，为了保持良好的可读性， 需要保持多行公式垂直对齐，并且在折叠公式时：

1. 在运算符前面折叠，尽量避免其他折叠策略
2. 折叠优先级 = 大于 + - 大于 *

• IEEEeqnarray环境

使用IEEEtrantools功能包，然后加载其中的IEEEeqnarray环境。该环境可将折叠的公式按列对齐（类似表格，如下图）。

1. 环境参数rCl表示将每行公式切分为右对齐，居中，左对齐的三列，大写的C表示该列内容左右两边空隙较大。除了用于数学公式的l c r L C R对齐，还有用于纯文本s t u（左中右）的对齐。
2. 当公式代码以 + 或 - 开头时，LaTeX将其视为正负号，与其后接的字符空隙较小。代码第15行中 {} + l 是将开头正号强制转为加号，保持 + l 距离和后面字符距离一致；negmedspace 即negative medium space，缩短命令两边字符的距离，代码中缩短 {} 和 + 之间的距离。

• 单行公式过长

1. 与公式编号重叠，可使用IEEEeqnarrayspace 移动公式与编号分离
2. 移动改善效果不佳，可折叠该行的一部分，然后使用IEEEeqnarraymulticol 合并折叠出的一行中的多列为一列

• 公式编号

1. nonumber （或使用IEEEnonumber ）取消改行公式编码
2. 在无编号（IEEEeqnarray*）环境下，可使用IEEEyesnumber 和IEEEyessubnumber 设置公式编号和次级编号

• 综合示例

newcommand{name}{action} 命令生成名为name的新命令，action是已有命令的组合

数组与矩阵

• 数组

1. array环境：类似表格，需要设置每列格式
2. cases：左大括号公式

• 矩阵

可用array环境实现，但amsmath包提供了更高效的矩阵环境：

1. matrix环境：无符号矩阵
2. pmatri环境：小括号矩阵
3. bmatrix环境：中括号矩阵
4. Bmatrix环境：大括号矩阵
5. vmatrix环境：竖线矩阵
6. Vmatrix环境：双竖线矩阵

定理与证明

• 定理

1. 首先在preamble中定义：newtheorem{name}[counter]{text}[section]

name：定理的标识符
text：定理在排版文档显示的名称
counter：指定前置定理的名称，当前定理的编号与前置定理保持次序
section：定理编号根据章节排序

2. 然后再document中使用：begin{name}{text} end{name}

在amsthm包中，theoremstyle{style} 命令可调整定理显示样式，包含以下几种：
definition (fat title, roman body)，plain (fat title, italic body) or remark (italic title，roman body)

• 证明

1. qedhere 命令设置证明结束符号（end of proof）的位置
2. IEEEeqnarray环境中，默认两个不可见的列放数组的两侧，确保方程组水平居中。

{+ rCl + x *}中的+表示两侧的隐藏列，x 表示一个空列，这一行只在包含qedhere 的最后一行生效，* 表示一个空空间（null-space），防止环境自动添加另一个隐藏列

后记
原书第三章最后一节包含大量数学符号表