排版数学公式是TeX系统设计的初衷,它在LaTeX中占有特殊地位,也是LaTeX最为人所称道的功能之一。基于对MathType排版效果的不满意,以及对公式进行检索的需求,我们使用LaTeX输入数学公式。
1 数学模式概说
数学公式有两种,行内(inline)公式和行间(displayed)公式。
行内公式使用<latex inline>...</latex>表示;行间公式用<latex> ... </latex>表示。
2 常用字体
| 类别 |
字体命令 |
简写 |
输出效果 |
| 默认字体 |
mathit |
it |
(ABC) |
| 罗马 |
mathrm |
m |
(
m{ABC}) |
| 粗体 |
mathbf |
f |
(f{ABC}) |
3 常用希腊字母列表
| 小写字母 |
字体命令 |
| (alpha) |
alpha |
| (eta) |
eta |
| (gamma) |
gamma |
| ( heta) |
heta |
| (varphi) |
varphi |
| (mu) |
mu |
| (lambda) |
lambda |
| (omega) |
omega |
| (pi) |
pi |
| (Sigma) |
Sigma |
| (Phi) |
Phi |
| (varepsilon) |
varepsilon |
| (phi) |
phi |
| (eta) |
eta |
| (xi) |
xi |
| (
ho) |
ho |
| (sigma) |
sigma |
| ( au) |
au |
| (delta) |
delta |
| (Delta) |
Delta |
| (Pi) |
Pi |
| (varPhi) |
varPhi |
4 常见公式实现方案
4.1 集合
| 公式 |
代码 |
| (x in {f R},y
otin {f R}) |
x in {f R},y
otin {f R} |
| $left {xleft |
xgt dfrac {1}{2}
ight.
ight}$ |
| (complement_UA) |
complement_UA |
| (varnothing) |
varnothing |
| ((−1,+infty)) |
(−1,+infty) |
| ((Acup B)cap C) |
(Acup B)cap C |
| (A subset B subseteq C) |
A subset B subseteq C |
| (A
otsubset B subsetneq C) |
A
otsubset B subsetneq C |
| (A supset B supseteq C) |
A supset B supseteq C |
4.2 简易逻辑
| 公式 |
代码 |
| (
eg p:x^2lt 1) |
eg p:x^2lt 1 |
| (forall x) |
forall x |
| (exists y) |
exists y |
| (plor q Rightarrow p land q) |
plor q Rightarrow p land q |
| ((p o q)land (p gets q)) |
(p o q)land (p gets q) |
| (Leftrightarrow) |
Leftrightarrow |
| (Leftarrow) |
Leftarrow |
4.3 函数
| 公式 |
代码 |
| ({
m e}^x) |
{
m e}^x |
| (x^a) |
x^a |
| (sqrt x, sqrt [3] x) |
sqrt x, sqrt [3] x |
| (lg x) |
lg x |
| ({log_a}x) |
{log_a}x |
| (Delta=b^2-4ac) |
Delta=b^2-4ac |
| (egin{cases} x=2y+z\y=2z+x\z=2x+yend{cases}) |
egin{cases} x=2y+z\y=2z+x\z=2x+yend{cases} |
| (f(x)=egin{cases} x,xgt 0\0,x=0\−x,xlt 0\end{cases}) |
f(x)=egin{cases} x,xgt 0\0,x=0\−x,xlt 0\end{cases} |
4.4 三角函数
| 公式 |
代码 |
| (sin x, cos x, an x) |
sin x, cos x, an x |
| (sec x, csc x, cot x) |
sec x, csc x, cot x |
4.5 数列
| 公式 |
代码 |
| (a_{n+2} = a_{n+1}-a_n) |
a_{n+2} = a_{n+1}-a_n |
| (a_n=egin{cases} 2, &n=1\n^2, &ngeq 2end{cases}) |
a_n=egin{cases} 2, &n=1\n^2, &ngeq 2end{cases} |
4.6 向量
| 公式 |
代码 |
| (overrightarrow{AB}) |
overrightarrow{AB} |
| (vec a) |
vec a |
| (vec a parallel vec b) |
vec a parallel vec b |
| (vec aperp vec b) |
vec aperp vec b |
| (vec acdot vec b) |
vec acdot vec b |
| (langle vec a, vec c
angle) |
langle vec a, vec c
angle |
4.7 微积分
| 公式 |
代码 |
| (limlimits_{Delta x o 0}{Delta^2 x}) |
limlimits_{Delta x o 0}{Delta^2 x} |
| $int_a^b{x{
m d}x}=left.frac12 x^2
ight |
_a^b$ |
4.8 概率
| 公式 |
代码 |
| ({
m A}_4^2=4!/2!) |
{
m A}_4^2=4!/2! |
| (X sim N(mu,sigma^2)) |
X sim N(mu,sigma^2) |
4.9 统计
| 公式 |
代码 |
| (ar x) |
ar x |
| (hat y=hat ax + hat b) |
hat y=hat a x + hat b |
| (sumlimits_{i=1}^{n}{x_i}) |
sumlimits_{i=1}^{n}{x_i} |
4.10 几何
| 公式 |
代码 |
| (45circ) |
45circ |
| (stackrel frown{AB}) |
stackrel frown{AB} |
| (odot O) |
odot O |
| (aparallel b) |
aparallel b |
| (aperp b) |
aperp b |
| ( riangle ABC acksim riangle DEF) |
riangle ABC acksim riangle DEF |
| ( riangle ABC cong riangle DEF) |
riangle ABC cong riangle DEF |
4.11 矩阵
| 公式 |
代码 |
| (egin{matrix}a&b \ c&d end{matrix}) |
egin{matrix}a&b \ c&d end{matrix} |
| (egin{pmatrix}a&b \ c&d end{pmatrix}) |
egin{pmatrix}a&b \ c&d end{pmatrix} |
| (egin{Bmatrix}a&b \ c&d end{Bmatrix}) |
egin{Bmatrix}a&b \ c&d end{Bmatrix} |
| (egin{vmatrix}a&b \ c&d end{vmatrix}) |
egin{vmatrix}a&b \ c&d end{vmatrix} |
4.12 其它特殊符号
| 公式 |
代码 |
| (igoplus) |
igoplus |
| (igotimes) |
igotimes |
| (igodot) |
igodot |
| (equiv) |
equiv |
| (ast或*) |
ast或* |
| (pm) |
pm |
| (mp) |
mp |
| ( imes) |
imes |
| $div $ |
div |
| (geqslant) |
geqslant |
| (leqslant) |
leqslant |
| $cdots $ |
cdots |
| (\%) |
% |
| ( o或
ightarrow) |
o或
ightarrow |
| (gets或leftarrow) |
gets或leftarrow |
| (Rightarrow) |
Rightarrow |
| (Leftarrow) |
Leftarrow |
| (leftrightarrow) |
leftrightarrow |
| (Leftrightarrow) |
Leftrightarrow |
| (
earrow) |
earrow |
| (searrow) |
searrow |
| (swarrow) |
swarrow |
| (
warrow) |
warrow |
4.13 其它排版
| 公式 |
代码 |
| (egin{split}(x−1)(x−3)&=x^2−4x+3 \ &=x^2−4x+4−1 \ &=(x−2)^2−1end{split}) |
egin{split}(x−1)(x−3)&=x^2−4x+3 \ &=x^2−4x+4−1 \ &=(x−2)^2−1end{split} |