4.1 AMS宏集
AMS宏集是美国数学学会提供的对LATEX原生的数学公式排版的扩展，其核心是amsmath宏包，对多行公式的排版提供了有力的支持。此外，amsfonts宏包以及基于它的amssymb宏包提供了丰富的数学符号；amsthm宏包提供了LATEX定理证明格式。
4.2 公式排版基础
数学公式有两种排版方式：其一是与文字混排，称为行内公式；其二是单独列为一行排版，称为行间公式。
行间公式由一对$符号包裹：
单独成行的行间公式在LATEX里由equation环境包裹。equation环境为公式自动生成一个编号，这个编号可以用label和 ef生成交叉引用，amsmath的eqref命令甚至为引用自动加上圆括号；还可以用 ag命令手动修改公式的编号，或者用 otag命令取消为公式编号。
4.8 定理环境
使用LATEX排版数学和其他科技文档时，会接触到大量的定理，证明等内容。LATEX提供了一个基本的命令 ewtheorem提供了定理环境的定义：
ewtheorem{<type>}{<title>}[<section-name>]
ewtheorem{<type>}[<counter>]{<title>]}
<type>为定理类型的名称，作为一个环境来使用。定理环境都需要定义，LATEX里没有现成的theorem环境，直接使用很可能会出错。<title>是定理类型的标签，排版在序号之前。
定理的序号由两个可选参数之一决定，它们不能同时使用：
- <section name>为章节名称，这使定理序号成为章节的下一级序号；
- <counter>为用 ewcounter自定义的计数器名称，定理序号由这个计数器管理。
如果两个参数都不选的话，则使用一个默认的计数器。
4.8.2 证明环境和证毕符号
amsthm还提供了一个proof环境用于排版定理的证明过程。
4.9 符号表
额，到时候再查好了。