Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
# Symbol label and relationship label mappings from INFTY to CROHME
SYMBOLS
zero,0
one,1
two,2
three,3
four,4
five,5
six,6
seven,7
eight,8
nine,9
BigLeftPar,[
BigRightPar,]
Delta,\Delta
LeftPar,(
MiddleLeftPar,{
MiddleRightPar,}
Pi,\Pi
RightPar,)
Sigma,Sigma
alpha,\alpha
backslash,\
beta,\beta
bigcap,\cap
bigcup,\cup
cap,\cap
comma,COMMA
cup,\cup
dot,.
equal,=
exclamation,!
exists,\exists
forall,\forall
gamma,\gamma
geq,\geq
greater,\gt
in,\in
infty,\infty
int,\int
lambda,\lambda
ldots,\ldots
leq,\leq
less,\lt
minus,-
mu,\mu
notequal,\neq
omega,\omega
partial,\partial
phi,\phi
pi,\pi
plus,+
pm,\pm
prime,\prime
psi,\psi
question,?
rangle,\gt
rightarrow,\rightarrow
semicolon,;
sigma,\sigma
slash,/
sqrt,\sqrt
subset,\subset
sum,\sum
supset,\supset
theta,\theta
times,\times
varphi,\phi
vartheta,\theta
wedge,\wedge
# Not available in mathMLMap
Psi,Ψ
Gamma,Γ
Lambda,Λ
Omega,Ω
Phi,Φ
Rightarrow,⇒
Subset,⋐
Theta,Θ
delta,δ
epsilon,ε
langle,⟨
subseteq,⊆
tau,τ
Acirc,Â
Leftrightarrow,⇔
Oslash,Ø
approx,≈
ast,*
bigoplus,⨁
bigotimes,⨂
check,✓
chi,χ
circ,ˆ
colon,:
cong,≅
downarrow,↓
emptyset,∅
equiv,≡
eta,η
geqq,≧
gg,≫
hookrightarrow,↪
iota,ι
kappa,κ
lceil,⌈
leftarrow,←
leqq,≦
ll,≪
mapsto,↦
nabla,∇
ni,∋
nmid,∤
notin,∉
nu,ν
oint,∮
ominus,⊖
oplus,⊕
otimes,⊗
perp,⊥
prec,≺
prod,∏
rceil,⌉
rho,ρ
sharp,♯
sim,∼
simeq,≃
succ,≻
supseteq,⊇
tilde,˜
triangle,▵
upsilon,υ
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
xi,ξ
zeta,ζ
# Not available in mathMLMap and mathML
# Ahat
# D
# DoubleBeginQuartation
# J
# K
# NULL
# O
# Q
# Reject1
# Reject2
# Reject3
# SingleEndQuartation
# U
# W
# Z
# doubleprime
# fi
# hat
# ihat
# iint
# longHyphen
# notequiv
# notsimeq
# notsubset
# subsetnoteqq
# supsetnoteqq
# tripleprime
# ttilde
# underbrace
# underline
# vec
# _
RELATIONSHIPS
RSUP,Sup
HORIZONTAL,Right
RSUB,Sub
UNDER,Below
LSUB,Sub
UPPER,Above
LSUP,Sup