Syntax
Operation symbols
TypeSee
+
+
-
−
*
⋅
**
∗
***
?
//
/
\\
\
xx
×
-:
÷
@
°
o+
⊕
ox
⊗
o.
⊙
sum
∑
prod
∏
^^
∧
^^^
?
vv
∨
vvv
?
nn
∩
nnn
?
uu
∪
uuu
?
Miscellaneous symbols
TypeSee
int
∫
oint
∮
del
∂
grad
∇
+-
±
O/
∅
oo
∞
aleph
ℵ
/_
∠
:.
∴
|...|
|...|
|cdots|
|?|
vdots
?
ddots
?
|\ |
||
|quad|
||
diamond
?
square
□
|__
⌊
__|
⌋
|~
⌈
~|
⌉
CC
C
NN
N
Q
RR
R
ZZ
Z
Relation symbols
TypeSee
=
=
!=
≠
<
<
>
>
<=
≤
>=
≥
-<
?
>-
?
in
∈
!in
∉
sub
⊂
sup
⊃
sube
⊆
supe
⊇
-=
≡
~=
≅
~~
≈
prop
∝
Greek Letters
TypeSeeTypeSee
alpha
α
beta
β
chi
χ
delta
δ
Delta
Δ
epsilon
ε
varepsilon
?
eta
η
gamma
γ
Gamma
Γ
iota
ι
kappa
κ
lambda
λ
Lambda
Λ
mu
μ
nu
ν
omega
ω
Omega
Ω
phi
?
Phi
Φ
varphi
φ
pi
π
Pi
Π
psi
ψ
Psi
Ψ
rho
ρ
sigma
σ
Sigma
Σ
tau
τ
theta
θ
Theta
Θ
vartheta
ϑ
upsilon
υ
xi
ξ
Xi
Ξ
zeta
ζ
Logical symbols
TypeSee
and
and
or
or
not
¬
=>
⇒
if
if
iff
⇔
AA
∀
EE
∃
_|_
⊥
TT
?
|--
?
|==
?
Grouping brackets
TypeSee
(
(
)
)
[
[
]
]
{
{
}
}
(:
?
:)
?
{:
:}
:}
Arrows
TypeSee
uarr
↑
darr
↓
rarr
→
->
→
|->
?
larr
←
harr
↔
rArr
⇒
lArr
⇐
hArr
⇔
Accents
TypeSee
hat x
xˆ
bar x
x¯
ul x
x−
vec x
x→
dot x
x.
ddot x
x..
Font commands
TypeSee
bb "AaBbCc"
AaBbCc
bbb "AaBbCc"
AaBbCc
cc "AaBbCc"
AaBbCc
tt "AaBbCc"
AaBbCc
fr "AaBbCc"
AaBbCc
sf "AaBbCc"
AaBbCc
Special Cases
Matrices: [[a,b],[c,d]] yields to [acbd]
Column vectors: ((a,b),(c,d)) yields to (acbd)
Complex subscripts: lim_(x->oo) yields to limx→∞
Subscripts must come before superscripts: int_0^1 f(x)dx yields to ∫10f(x)dx
Attention: Always try to surround the > and
Standard Functions
sin, cos, tan, csc, sec, cot, sinh, cosh, tanh, log, ln, det, dim, lim, mod, gcd, lcm, min, max
The Grammar
Here is a definition of the grammar used to parse AsciiMath expressions. In the Backus-Naur form given below, the letter on the left of the ::= represents a category of symbols that could be one of the possible sequences of symbols listed on the right. The vertical bar | separates the alternatives.
c ::= [A-z] | numbers | greek letters | other constant symbols (see below)
u ::= ‘sqrt‘ | ‘text‘ | ‘bb‘ | other unary symbols for font commands
b ::= ‘frac‘ | ‘root‘ | ‘stackrel‘ binary symbols
l ::= ( | [ | { | (: | {: left brackets
r ::= ) | ] | } | :) | :} right brackets
S ::= c | lEr | uS | bSS | "any" simple expression
E ::= SE | S/S | S_S | S^S | S_S^S expression (fraction, sub-, super-, subsuperscript)