爱华网QQ群：91940767/145316219/141877998/80300084/194770436
淘宝店：http://latexstudio
技巧续篇：http://latexstudio.net/
常见数学公式问题集下载
algorithm2e
它提供一个 Algorithm2e 环境，用于在 LaTeX2e中排版算法步骤。它将算法步骤定义为浮动体；它提供一组关键词供排版使用，关键词既可修改也可创新。
源文件
Christophe Fiorio
algorithms
它定义了 algorithmic 和 algorithm两个环境和一组命令，可用于排版算法步骤，对其中的关键词可以采用不同的显示效果。两种环境可分别使用，也可同时使用；其中algorithm 环境还可以处理图形之类的浮动体。
源文件 示例
Rogério Brito
amsbsy
它定义了排版黑体数学符号的命令 boldsymbol 和 pmb。该宏包现已经被更新的宏包 bm 所取代。
源文件
Frank Mittelbach
amscd
它定义了一个 CD 环境，适用于排版较简单的只有单向箭头的矩形交换图表。
源文件
Frank Mittelbach
amscls
它定义了 amsart、amsbook 和 amsproc三种数学源文件类型，它们包括了美国数学学会所有出版物的样式。它还提供了一个可独立使用的定理宏包 amsthm。
源文件
AMS
AMSFonts
美国数学学会根据其印刷和电子出版物以及在线资料库的样式要求，编造的一组用于排版数学出版物的数学符号字体库宏包套件，它包含有：amsfonts、amssymb、eufrak和 eucal四个宏包。
eucal 可修改 LaTeX 的数学字体命令 mathcal 。当加载该宏包后，使用 mathcal命令，调出的是欧拉书写体，而不是通常的计算机现代书写体。它还有一个 mathscr选项，使其可与数学字体命令 mathscr 结合使用。
eufrak 设置了哥特字体，这是一种书写或印刷字体，外观非常华丽，多见于中世纪时的神学文献。如果已加载了 amsfonts宏包，该宏包就是多余的。
源文件
AMS
amsfonts
它定义了大写空心粗体字命令 mathbb 和欧拉字体命令mathfrak 以及数学公式中各种相应的字体，如：粗数学斜体和粗希腊字母下标、求和积分等大符号下标、欧拉数学字体、斯拉夫字体等。
大写空心粗体字一般用于表示数学和物理学中的向量或集合。
现在常用的数学字体命令及其字体样式见下表所示：
要使用其中蓝色的字体命令就要调用 amsfonts 宏包。源文件
AMS
AMSLaTeX
美国数学学会主要有三种类型的出版物：论文、学报和书籍或专论，每一种都有详细严格的出版样式要求。
标准 LaTeX本身就有很强的数学排版能力，但对于非常专业而复杂的数学公式和数学结构，还是需要定义一些新命令和环境来简化源文件的编辑过程。
1982年，美国数学学会根据其刊物出版要求，委托开发了用于排版数学刊物的 TeX 系统：AMSTeX，1987年又将其移植到LaTeX，成为 AMSLaTeX。现在它已成为 LaTeX-2e 的一个数学宏包套件。
AMSLaTeX 套件包括有：amsbsy、amscd、amsgen、amsmath、amsopn、ams-text、amsxtra、amsthm、upref 和 amscls等宏包。
AMS
amsmath
它定义了各种显示多行公式的环境和一系列排版数学公式的命令，可用以改进和提高方程式、多行上下标等数学结构的排版效果。例如，它提供的一条命令：cfrac，用来排版连分数，要比标准 LaTeX 中的 frac 命令输出效果更加美观。
该宏包还有11个选项，可以影响极限、方程和方程序号等数学式的放置，而这些选项的设置要优先于源文件中其他相关选项的设置。
当调用该宏包的同时，另外三个与之相关的宏包：amsbsy、amsopnamstext，也自动被加载了。
源文件
AMS
应用举例 源文件 AMS
amsopn
它提供命令：DeclareMath0perator{新函数命令}{新函数名}，在导言区用来自定义类似 sim 和 lim等新的算符 或函数；也可以在正文中用它提供的命令：operatorname{函数名}，自定义临时使用的函数。举例说明：
在实际排版中，大都用 amsmath宏包替代该宏包。
源文件
MichaelDownes
amssymb
宏包套件 AMSFonts 中的一个宏包，它定义了 amsfonts 宏包里 msam 和 mabm字库中全部数学符号的命令。当调用该宏包时，amsfonts 宏包也同时被加载了。
下表为 Latex 和 AMS 所提供的数学符号及其命令，其中蓝色符号命令表示需要调用amssymb 宏包：
希腊字母： |
其他字母： |
各种普通符号: |
二元运算符号： |
量关系符号： |
箭头关系符号： |
其他关系符号： |
累积符号： |
成对界限符号： |
单界限符号： |
垂直箭头符号： |
声调符号： |
函数符号： |
源文件
AMS
amstext
它定义命令 text，可用于在数学公式中插入少量文本，并可调整上下标中文本字体的尺寸。
源文件
Frank Mittelbach
amsthm
它定义了一个 proof 环境，用来排版定理和证明，能自动在最后添加证毕符号。它还提供一个命令：newtheorem{定理环境名}{标题}[计数器名]，可自定义定理类 环境。
源文件
AMS
应用举例 源文件 Michael Downes
bm
bm 的是黑体数学符号的英文缩写，该宏包可使数学公式以粗体的方式来显示。它提供一个 bm{数学式}命令，在数学模式中，只要把数学符号或数学式置于大括号中就会由粗体来显示。
源文件
David Carlisle
calc
TeX 中的算数运算通常是由 advance 和 multiply这样的底层命令来完成的，一般只用来开发新宏包，难以为普通用户所使用。
该宏包定义的几条命令增强了 LaTeX 的算术运算能力，而且非常容易理解。
它是标准 LaTeX2e 工具宏包套件之一。
源文件
Kresten Krab Thorup
delarray
编排矩阵、数组或行列式一般都采用下列方法：
左右括号必须辅以 left 和 right命令，其大小才能够自动与内容匹配。如果论文中这类数学式很多，就显得非常麻烦，容易遗漏；另外，为了约束这些数学式的位置，通常要在array 环境中添加位置选项，如 [t] 或 [b] 等，但这样会造成括号不匹配：
采用 delarray 宏包就可以解决上述问题：
源文件
David Carlisle
easybmat
它提供了一个 BMAT环境，可编排列宽相等、或行高相等、或列宽相等且行高相等的块状矩阵，并可在矩阵的行列之间加上各种式样的界线。BMAT环境的一个主要特点就是可以嵌套，最多可达8层；BMAT 最多可处理30行30列。
它可能会与 booktabs，array 等表格宏包冲突。
Enrico Bertolazzi
eqnarray
它将标准 LaTeX 中的 eqnarray 环境与 array环境相结合，定义了一个新的环境：equationarray。在该环境中，公式组可以排成三列以上，在某些方面类似 amsmath宏包提供的 align 环境。该宏包需要与 array 宏包配合使用。
源文件
Roland Winkler
exscale
它提供一套按比例伸缩的数学扩展字体。
源文件
Frank Mittelbach
举例
mathdesign
它将系统默认的数学字体重新定义，所有字符都有标准体和粗体，并附带多重圆积分，欧元等特殊符号。它有七个选项，可以影响希腊字母等某些字符的字体。
该宏包会与 amsfonts 或 mathrsfs 等数学宏包发生冲突，应避免同时使用，因为对同一命令各有不同的定义。
Paul Pichaureau
示例
mathenv
它提供了一些使用更简便、效果更优美的数学命令和环境。
在它所提供的数学环境中都有一个标签选项，可用于交叉引用；这些环境都有带*号的形式，所不同的是它们不产生公式序号。其中：MultiLine环境可以排版多行长公式、System 环境用于公式组且共用一个序号、EqSystem环境也是用于公式组的，但每行公式各有分序号，如（1.1），（1.2）...。
它还重新定义了命令：( 、) 、[ 、] 、{ 和 } ，使其可以在数学模式中直接使用，无需 left 和right 命令配合。
源文件
F. Bosisio
mathptmx
在标准 LaTeX 中，默认的字体族为计算机现代罗马字体；在数学环境中，大写希腊字母为直立体，小写希腊字母为倾斜体。
加载该宏包可将系统默认的字体族改为 Adobe Times，并将文稿中的数学字符转成虚拟mathptmx 字体。它只有一个slantedGreek 选项，使用此选项，数学模式中的大写希腊字母也成为倾斜体。如需变为直立体，比如 Gamma 改为upGamma 即可，而小写希腊字母则不行。它没有粗体数学字符，boldmath 命令无效，也不推荐使用 bm 宏包，可 以用命令mathbf 获得粗体数学字符。
该宏包是 psnfss 宏包套件之一，它将 times 和 mathptm 两个宏包的功能合为一体。
源文件
Walter Schmidt
示例源文件
mdwmath
它提供了一个带星号的开根命令 sqrt*，所生成的根号没有上面的横线，如 √a，这样其中操作数的字体尺寸就不受根号的限制了；同时，它改进了标准开根命令sqrt，使其生成的根式更加美观；另外它还定义了几个特殊的数学符号。
源文件
Mark Wooding
ntheorem
它增强了 LaTeX 的定理类环境功能，（例如：定理、推论、定义和证明等都可以归为定理类），改进了定理类环境的页面设置；当使用thmmarks 选项，可以自动恰当地放置定理类环境的结束标记；它还能像图形目录那样生成定理类环境目录。
当它载后，标准 LaTeX 中的 newtheorem 命令改由该宏包控制。
它可与 theorem 宏包兼容。
源文件
Wolfgang May
subeqn
有时需要对方程式中的子方程式进行编号，以便注释和引用，但在标准 LaTeX 中则无法做到。
为解决这一问题，该宏包定义了两个环境 subequations 和subeqnarray，可以对方程式中的子方程式进行编号，得到如（1a）、（1b）和（1c）这样的编号。举例
该宏包可在源文件类型的 leqno 和 fleqn选项中工作，前者把方程式的序号放在左边而不是右边，后者将方程式缩排左对齐而不是居中；它不能与 subeqnarray宏包兼容。
源文件
Donald Arseneau
subeqnarray
它提供了 subeqnarray 和 subeqnarray*两个环境，使用其定义的 slabel命令，可对多行公式组中的每一行进行编号，如给出 （1a）,（1b）, （1c）等。
源文件
Johannes L. Braams
举例
theorem
它是 LaTeX 工具宏包套件之一，通过定义不同的 theorem 环境，可自己设置定理、定义和引理等的式样。
源文件
Frank Mittelbach
tmmaths
它支持使用 Times 字族和 TM-Math 字族排版。当该宏包加载后，默认字体为 Adobe
Times；可选用 MicroPress TM-Math 字体编排数学公式；mathbold命令可以排印斜粗体字母，包括希腊字母。
源文 件
Walter Schmidt
vector
在标准 LaTeX 中，向量可以在数学模式里用 vec 命令生成，例如：$vec{a}$；但在实际应用中，向量符号常为粗罗马字体或带有下划线。
vector 宏包定义了一组新命令，用于排版各种式样的向量符号，包括粗体的、带下划线的以及“戴帽子”的单位向量等，并可成组横竖排列，成为隐式或显式向量序列。向量符号的字体可以是 boldface roman或 sans serif ；下划线可以是直线或波浪线。
源文件
Nick Efford
yhmath
它提供了一组大型数学分界符，其中有花括号、圆括号、方括号、三角括号和重音号等；另外还提供很多大尺寸数学符号，如根号、圆积分号和求和号等。这些符号都存于cmex10 字库中。
源文件
Yannis Haralambousy
图例
youngtab
它可以用于排版群论中的 Young-Tableaux 方格式。该宏包定义了两个命令：yng 和young，前者能生成空方格，后者可在方格中标注，这两个命令都很简单以免拼写错误。它附有四个选项，可对方格式的样式产生影响。
源文件
Volker Börchers
