AsciiMath 速查表

AsciiMath 书写公式的方式，就像你在聊天框里打数学： sqrt(x^2+1)、a/b、sum_(n=1)^oo。这里列出所有符号、它们的显示效果和对应的 LaTeX，还有一个可以自己试试的输入框。

从 AsciiMath 到 LaTeX

输入 AsciiMath

示例：

显示效果

n = 1 \sum \infty \frac{1}{n ^{2}} = \frac{π ^{2}}{6}

LaTeX

\sum_{n = 1}^{\infty} \frac{1}{n^{2}} = \frac{\pi^{2}}{6}

转换在你的浏览器中完成，所用代码与排版 live-math 文稿时相同。这里的十进制数使用小数点：3.14。

什么是 AsciiMath

AsciiMath 是一种为快速输入、且在排版前也易于阅读而设计的数学标记。分数、幂和根号像计算器上那样写：(a+1)/(b+1)、x^(n+1)、 sqrt(x)；符号则是简短的单词，oo 表示 $\infty$ ，-> 表示 $\to$ ，in 表示 $\in$ 。括号会自动变大，矩阵就是一串行。

它由 Peter Jipsen 创建，用于在网页上书写数学；MathJax 和 AsciiDoc 也能读取它。本页的符号来自 live-math，它额外加入了意大利教材中的函数名和线性代数运算符。

AsciiMath 还是 LaTeX？

LaTeX 是印刷数学的标准，写论文或学位论文当然应该用它。但边讲边写时，它太慢了：每一步都要写花括号、反斜杠和 \frac{}{}。 AsciiMath 用大约三分之二的字符就能表达同样的内容，而且它的输出就是 LaTeX：每个公式都可以转换，整份文稿也能导出为 LaTeX 文件。

live-math 正是建立在这之上：你在课堂上输入 AsciiMath，学生就能同步看到排版好的结果，图像也能由一行文字画出。可以到首页看看，或者打开编辑器。

全部符号

每一行依次是：可以输入的写法（任意一种形式均可）、显示效果和对应的 LaTeX。空格只起分隔作用：sinx 和 sin x 相同。

分数、上下标与根式

/ 会把紧邻它前后的内容变成分数：一个符号、一个数字，或括号中的一组内容。^ 和 _ 分别用于指数和下标，作用相同。分子、分母、指数或下标外面的括号不会显示： (a+1)/(b+1) 显示为 $\frac{a + 1}{b + 1}$ ，x^(n+1) 显示为 $x^{n + 1}$ 。要保留括号，就写两重： ((a+b))/2 显示为 $\frac{( a + b )}{2}$ 。在其他位置，括号会保留： (a+b)^2 显示为 $(a + b)^{2}$ 。

x^2

x^{2}

x^{2}

x_1

x_{1}

x_{1}

x_1^2

x_{1}^{2}

x_{1}^{2}

x^(n+1)

x^{n + 1}

x^{n + 1}

a/b

\frac{a}{b}

\frac{a}{b}

(a+1)/(b+1)

\frac{a + 1}{b + 1}

\frac{a + 1}{b + 1}

frac(a)(b)

\frac{a}{b}

\frac{a}{b}

sqrt x Sqrt x

x

\sqrt{x}

sqrt(x+1)

x + 1

\sqrt{x + 1}

root(3)(x)

3 x

\sqrt[3]{x}

stackrel(def)(=)

= d e f

\stackrel{d e f}{=}

overset(*)(=)

= \cdot

\overset{\cdot}{=}

underset(x->0)(=)

x \to 0 =

\underset{x \to 0}{=}

cancel(x)

x

\cancel{x}

color(red)(x^2)

x^{2}

\textcolor{red}{x^{2}}

color 只给它的参数上色；颜色可以用名称指定（red、blue、green、orange、purple……）。

希腊字母

alpha

α

\alpha

beta

β

\beta

gamma

γ

\gamma

Gamma

Γ

\Gamma

delta

δ

\delta

Delta

Δ

\Delta

epsilon epsi

ϵ

\epsilon

varepsilon

ε

\varepsilon

zeta

ζ

\zeta

eta

η

\eta

theta

θ

\theta

Theta

Θ

\Theta

vartheta

ϑ

\vartheta

iota

ι

\iota

kappa

κ

\kappa

lambda lamda

λ

\lambda

Lambda Lamda

Λ

\Lambda

mu

μ

\mu

nu

ν

\nu

xi

ξ

\xi

Xi

Ξ

\Xi

pi

π

\pi

Pi

Π

\Pi

rho

ρ

\rho

sigma

σ

\sigma

Sigma

Σ

\Sigma

tau

τ

\tau

upsilon

υ

\upsilon

phi

ϕ

\phi

Phi

Φ

\Phi

varphi

φ

\varphi

chi

χ

\chi

psi

ψ

\psi

Psi

Ψ

\Psi

omega

ω

\omega

Omega

Ω

\Omega

运算

a + b

a + b

a + b

a - b

a - b

a - b

a * b a cdot b

a \cdot b

a \cdot b

a ** b a ast b

a * b

a \ast b

a *** b a star b

a ⋆ b

a \star b

a xx b a times b

a \times b

a \times b

a -: b a div b a divide b

a \div b

a \div b

a // b

a / b

a / b

A \\ B A backslash B

A \ B

A \backslash B

A setminus B

A ∖ B

A \setminus B

a +- b a pm b

a \pm b

a \pm b

f @ g f circ g

f \circ g

f \circ g

a o+ b a oplus b

a \oplus b

a \oplus b

a ox b a otimes b

a \otimes b

a \otimes b

a o. b a odot b

a ⊙ b

a \odot b

p ^^ q p wedge q

p \land q

p \wedge q

p vv q p vee q

p \lor q

p \vee q

A nn B A cap B

A \cap B

A \cap B

A uu B A cup B

A \cup B

A \cup B

A |>< B A ltimes B

A ⋉ B

A \ltimes B

A ><| B A rtimes B

A ⋊ B

A \rtimes B

A |><| B A bowtie B

A ⋈ B

A \bowtie B

a mod n

a mod n

a \operatorname{mod} n

大型运算符、极限、积分

上下限写在 _ 和 ^ 之后；不止一个符号时要用括号。单独成行时，它们会排在运算符的上下方。

sum_(n=1)^oo a_n

\sum_{n = 1}^{\infty} a_{n}

\sum_{n = 1}^{\infty} a_{n}

prod_(i=1)^n x_i

\prod_{i = 1}^{n} x_{i}

\prod_{i = 1}^{n} x_{i}

int_a^b f(x) dx

\int_{a}^{b} f (x) d x

\int_{a}^{b} f{{\left ( x \right )}} \mathop{}\!dx

oint_gamma f(z) dz

\oint_{γ} f (z) d z

\oint_{\gamma} f{{\left ( z \right )}} \mathop{}\!dz

lim_(x->0) f(x)

lim_{x \to 0} f (x)

\lim_{x \to 0} f{{\left ( x \right )}}

Lim_(n->oo) a_n

Lim_{n \to \infty} a_{n}

\operatorname{Lim}_{n \to \infty} a_{n}

limsup_(n->oo) a_n

lim sup_{n \to \infty} a_{n}

\limsup_{n \to \infty} a_{n}

liminf_(n->oo) a_n

lim inf_{n \to \infty} a_{n}

\liminf_{n \to \infty} a_{n}

max_(x in A) f(x)

max_{x \in A} f (x)

\max_{x \in A} f{{\left ( x \right )}}

min_(x in A) f(x)

min_{x \in A} f (x)

\min_{x \in A} f{{\left ( x \right )}}

sup A

sup A

\sup A

inf A

in f A

\inf A

lub A

lub A

\operatorname{lub} A

glb A

glb A

\operatorname{glb} A

dim V

dim V

\dim V

^^^_(i in I) p_i bigwedge_(i in I) p_i

⋀_{i \in I} p_{i}

\bigwedge_{i \in I} p_{i}

vvv_(i in I) p_i bigvee_(i in I) p_i

⋁_{i \in I} p_{i}

\bigvee_{i \in I} p_{i}

nnn_(i in I) A_i bigcap_(i in I) A_i

⋂_{i \in I} A_{i}

\bigcap_{i \in I} A_{i}

uuu_(i in I) A_i bigcup_(i in I) A_i

⋃_{i \in I} A_{i}

\bigcup_{i \in I} A_{i}

关系符

a = b

a = b

a = b

a != b a ne b

a \neq = b

a \ne b

a < b a lt b

a < b

a < b

a > b a gt b

a > b

a > b

a <= b a le b

a \leq b

a \le b

a lt= b a leq b

a \leq b

a \leq b

a >= b a ge b

a \geq b

a \ge b

a gt= b a geq b

a \geq b

a \geq b

a -< b a -lt b a prec b

a ≺ b

a \prec b

a -<= b a preceq b

a ⪯ b

a \preceq b

a >- b a succ b

a ≻ b

a \succ b

a >-= b a succeq b

a ⪰ b

a \succeq b

x in A

x \in A

x \in A

x !in A x notin A

x \in / A

x \notin A

A sub B A subset B

A \subset B

A \subset B

A sube B A subseteq B

A \subseteq B

A \subseteq B

A supset B

A \supset B

A \supset B

A supe B A supseteq B

A \supseteq B

A \supseteq B

a -= b a equiv b

a \equiv b

a \equiv b

a ~= b a cong b

a ≅ b

a \cong b

a ~~ b a approx b

a \approx b

a \approx b

a prop b a propto b

a \propto b

a \propto b

a := b

a := b

a := b

a :|: b

a ∣ : b

a \rvert : b

逻辑

p and q

p and q

p \quad\text{and}\quad q

p or q

p or q

p \quad\text{or}\quad q

not p neg p

\neg p

\neg p

p => q

p \Rightarrow q

p \Rightarrow q

p implies q

p ⟹ q

p \implies q

p <=> q

p \Leftrightarrow q

p \Leftrightarrow q

p iff q

p ⟺ q

p \iff q

y = 1 if x > 0

y = 1 if x > 0

y = 1 \quad\text{if}\quad x > 0

AA x forall x

\forall x

\forall x

EE x exists x

\exists x

\exists x

_|_ bot

⊥

\bot

TT top

⊤

\top

p |-- q p vdash q

p ⊢ q

p \vdash q

p |== q p models q

p ⊨ q

p \models q

:. therefore

∴

\therefore

:' because

∵

\because

括号

括号会随内容自动变大。{: x :} 是一对不可见的括号，适合用来分组；(: :) 是尖括号。|x| 表示绝对值：竖线在括号内成对匹配，所以 |x - a| < delta 会按字面意思正确排版。

(x)

(x)

{\left ( x \right )}

[x]

[x]

{\left [ x \right ]}

{x}

{x}

{\left \lbrace x \right \rbrace}

|x|

∣ x ∣

{\left \lvert x \right \rvert}

(: x :) << x >> langle x rangle

⟨ x ⟩

{\left \langle x \right \rangle}

|: x :|

∣ x ∣

{\left \lvert x \right \rvert}

{: x :}

x

{\left . x \right .}

lbrace x rbrace

{x}

{\left \lbrace x \right \rbrace}

abs(x) Abs(x)

∣ x ∣

{\left | x \right |}

norm(x)

∥ x ∥

{\left \| x \right \|}

floor(x) |__ x __| lfloor x rfloor

⌊ x ⌋

{\left \lfloor x \right \rfloor}

ceil(x) |~ x ~| lceil x rceil lceiling x rceiling

⌈ x ⌉

{\left \lceil x \right \rceil}

箭头

uarr uparrow

↑

\uparrow

darr downarrow

↓

\downarrow

rarr rightarrow

\to

\rightarrow

-> to

\to

\to

>-> rightarrowtail

↣

\rightarrowtail

->> twoheadrightarrow

↠

\twoheadrightarrow

>->> twoheadrightarrowtail

↠

\twoheadrightarrow

x |-> y x mapsto y

x \mapsto y

x \mapsto y

larr leftarrow

\leftarrow

\leftarrow

harr leftrightarrow

\leftrightarrow

\leftrightarrow

rArr Rightarrow

\Rightarrow

\Rightarrow

lArr Leftarrow

\Leftarrow

\Leftarrow

hArr Leftrightarrow

\Leftrightarrow

\Leftrightarrow

函数

函数名用正体排版，后面跟参数，可以带括号也可以不带：sin x、 sin(x)、sin^2 x。f 和 g 只有出现在括号前才是函数：f(x)，而 f g 仍是乘积。

sin x

sin x

\sin{x}

cos x

cos x

\cos{x}

tan x

tan x

\tan{x}

cot x

cot x

\cot{x}

sec x

sec x

\sec{x}

csc x

csc x

\csc{x}

arcsin x

arcsin x

\arcsin{x}

arccos x

arccos x

\arccos{x}

arctan x

arctan x

\arctan{x}

sinh x

sinh x

\sinh{x}

cosh x

cosh x

\cosh{x}

tanh x

tanh x

\tanh{x}

coth x

coth x

\coth{x}

sech x

sech x

\operatorname{sech}{x}

csch x

csch x

\operatorname{csch}{x}

exp x

exp x

\exp{x}

log x

lo g x

\log{x}

ln x

ln x

\ln{x}

det A

det A

\det{A}

gcd(a, b)

g cd (a, b)

\gcd{{\left ( a , b \right )}}

lcm(a, b)

lcm (a, b)

\operatorname{lcm}{{\left ( a , b \right )}}

f(x)

f (x)

f{{\left ( x \right )}}

g(x)

g (x)

g{{\left ( x \right )}}

首字母大写的名称

Sin x

Sin x

\operatorname{Sin}{x}

Cos x

Cos x

\operatorname{Cos}{x}

Tan x

Tan x

\operatorname{Tan}{x}

Cot x

Cot x

\operatorname{Cot}{x}

Sec x

Sec x

\operatorname{Sec}{x}

Csc x

Csc x

\operatorname{Csc}{x}

Arcsin x

Arcsin x

\operatorname{Arcsin}{x}

Arccos x

Arccos x

\operatorname{Arccos}{x}

Arctan x

Arctan x

\operatorname{Arctan}{x}

Sinh x

Sinh x

\operatorname{Sinh}{x}

Cosh x

Cosh x

\operatorname{Cosh}{x}

Tanh x

Tanh x

\operatorname{Tanh}{x}

Log x

Log x

\operatorname{Log}{x}

Ln x

Ln x

\operatorname{Ln}{x}

意大利语函数名与线性代数

意大利教材中使用的函数名，以及线性代数的运算符。 Im 只有出现在括号前才表示像： Im(f)，而 Im z 仍是乘积。

sen x

sen x

\operatorname{sen}{x}

arcsen x

arcsen x

\operatorname{arcsen}{x}

tg x

tg x

\operatorname{tg}{x}

arctg x

arctg x

\operatorname{arctg}{x}

cotg x

cotg x

\operatorname{cotg}{x}

arccotg x

arccotg x

\operatorname{arccotg}{x}

sh x

sh x

\operatorname{sh}{x}

ch x

ch x

\operatorname{ch}{x}

th x

th x

\operatorname{th}{x}

settsh x

settsh x

\operatorname{settsh}{x}

settch x

settch x

\operatorname{settch}{x}

rg A

rg A

\operatorname{rg}{A}

rank A

rank A

\operatorname{rank}{A}

Ker f

Ker f

\operatorname{Ker}{f}

Im(f)

Im (f)

\operatorname{Im}{{\left ( f \right )}}

tr A

tr A

\operatorname{tr}{A}

span(v, w)

span (v, w)

\operatorname{span}{{\left ( v , w \right )}}

重音符号

hat x

x^

\hat{x}

bar x overline(x)

x

\overline{x}

vec v

v

\vec{v}

tilde x

x ~

\tilde{x}

dot x

x ˙

\dot{x}

ddot x

x ¨

\ddot{x}

ul(x) underline(x)

x

\underline{x}

ubrace(1+2)_3 underbrace(1+2)_3

3 1 + 2

\underbrace{1 + 2}_{3}

obrace(1+2)^3 overbrace(1+2)^3

1 + 2 3

\overbrace{1 + 2}^{3}

字体

bb(A) mathbf(A)

A

\mathbf{A}

bbb(R) mathbb(R)

R

\mathbb{R}

cc(F) mathcal(F)

F

\mathcal{F}

tt(x) mathtt(x)

x

\mathtt{x}

fr(g) mathfrak(g)

g

\mathfrak{g}

sf(x) mathsf(x)

x

\mathsf{x}

公式中的文本

双引号之间的文字保持为文字：x = 1 " 若 " y > 0。文字紧贴符号时会自动加一个细空格，所以 "对所有"x 不会挤在一起。 and、or、if 作为单词时本身已有间距。

x = 1 "and" y = 2

x = 1 and y = 2

x = 1 \,\text{and}\, y = 2

text(text) mbox(text)

text

\text{text}

矩阵、向量、方程组

矩阵就是一串行，每行放在括号中，用逗号分隔： [[1,2],[3,4]] 用方括号，((1,2),(3,4)) 用圆括号， |(a,b),(c,d)| 表示行列式。列向量就是只有一列的矩阵。方程组是左侧带 {、右侧为空 :} 的矩阵：

A = [[1,2],[3,4]]
det A = |(1,2),(3,4)| = -2
vec v = ((x),(y),(z))
{(x + y = 1),(x - y = 2):}
|x| = {(x, " 若 " x >= 0),(-x, " 若 " x < 0):}

A = [1324]

det A = 1324 = - 2

v = x y z

{x + y = 1 x - y = 2

∣ x ∣ = {x - x 若 x \geq 0 若 x < 0

其他符号

del partial

\partial

\partial

grad nabla

\nabla

\nabla

oo infty

\infty

\infty

O/ emptyset

\emptyset

\emptyset

aleph

ℵ

\aleph

/_ angle

∠

\angle

/_\ triangle

△

\triangle

diamond

⋄

\diamond

square boxempty

□

\square

frown

⌢

\frown

... ldots

\dots

\ldots

cdots

\dots

\cdots

vdots

⋮

\vdots

ddots

⋱

\ddots

a quad b

a b

a \quad b

a qquad b

a b

a \qquad b

a \ b

a b

a \, b

50%

50%

50 \%

NN

N

\mathbb{N}

ZZ

Z

\mathbb{Z}

QQ

Q

\mathbb{Q}

RR

R

\mathbb{R}

CC

C

\mathbb{C}

f'(x) f prime(x)

f^{'} (x)

f ' {\left ( x \right )}

f''(x)

f^{''} (x)

f '' {\left ( x \right )}

f'''(x)

f^{'''} (x)

f ''' {\left ( x \right )}

x^2 dx

x^{2} d x

x^{2} \mathop{}\!dx

dy

d y

\mathop{}\!dy

dz

d z

\mathop{}\!dz

dt

d t

\mathop{}\!dt