5
<!-- miscellaneous symbols -->
7
<Symbol name="comma" type="punct"/>
8
<Symbol name="ldotp" type="punct"/>
9
<Symbol name="cdotp" type="punct"/>
10
<Symbol name="normaldot" type="ord"/>
11
<Symbol name="slash" type="ord"/>
12
<Symbol name="semicolon" type="punct"/>
13
<Symbol name="faculty" type="close"/>
14
<Symbol name="question" type="close"/>
18
<Symbol name="acute" type="acc"/>
19
<Symbol name="grave" type="acc"/>
20
<Symbol name="ddot" type="acc"/>
21
<Symbol name="tilde" type="acc"/>
22
<Symbol name="bar" type="acc"/>
23
<Symbol name="breve" type="acc"/>
24
<Symbol name="check" type="acc"/>
25
<Symbol name="hat" type="acc"/>
26
<Symbol name="vec" type="acc"/>
27
<Symbol name="dot" type="acc"/>
28
<Symbol name="widehat" type="acc"/>
29
<Symbol name="widetilde" type="acc"/>
31
<!-- delimiters that can change size -->
33
<Symbol name="lbrace" type="open" del="true"/>
34
<Symbol name="rbrace" type="close" del="true"/>
35
<Symbol name="lbrack" type="open" del="true"/>
36
<Symbol name="rbrack" type="close" del="true"/>
37
<Symbol name="rsqbrack" type="close" del="true"/>
38
<Symbol name="lsqbrack" type="open" del="true"/>
39
<Symbol name="langle" type="open" del="true"/>
40
<Symbol name="rangle" type="close" del="true"/>
41
<Symbol name="lfloor" type="open" del="true"/>
42
<Symbol name="rfloor" type="close" del="true"/>
43
<Symbol name="lceil" type="open" del="true"/>
44
<Symbol name="rceil" type="close" del="true"/>
45
<Symbol name="uparrow" type="rel" del="true"/>
46
<Symbol name="Uparrow" type="rel" del="true"/>
47
<Symbol name="downarrow" type="rel" del="true"/>
48
<Symbol name="Downarrow" type="rel" del="true"/>
49
<Symbol name="updownarrow" type="rel" del="true"/>
50
<Symbol name="Updownarrow" type="rel" del="true"/>
51
<Symbol name="vert" type="ord" del="true"/>
52
<Symbol name="Vert" type="ord" del="true"/>
53
<Symbol name="slashdel" type="open" del="true"/>
55
<!-- lowercase Greek letters -->
57
<Symbol name="alpha" type="ord"/>
58
<Symbol name="beta" type="ord"/>
59
<Symbol name="gamma" type="ord"/>
60
<Symbol name="delta" type="ord"/>
61
<Symbol name="epsilon" type="ord"/>
62
<Symbol name="varepsilon" type="ord"/>
63
<Symbol name="zeta" type="ord"/>
64
<Symbol name="eta" type="ord"/>
65
<Symbol name="theta" type="ord"/>
66
<Symbol name="vartheta" type="ord"/>
67
<Symbol name="iota" type="ord"/>
68
<Symbol name="kappa" type="ord"/>
69
<Symbol name="lambda" type="ord"/>
70
<Symbol name="mu" type="ord"/>
71
<Symbol name="nu" type="ord"/>
72
<Symbol name="xi" type="ord"/>
73
<Symbol name="omicron" type="ord"/>
74
<Symbol name="pi" type="ord"/>
75
<Symbol name="varpi" type="ord"/>
76
<Symbol name="rho" type="ord"/>
77
<Symbol name="varrho" type="ord"/>
78
<Symbol name="sigma" type="ord"/>
79
<Symbol name="varsigma" type="ord"/>
80
<Symbol name="tau" type="ord"/>
81
<Symbol name="upsilon" type="ord"/>
82
<Symbol name="phi" type="ord"/>
83
<Symbol name="varphi" type="ord"/>
84
<Symbol name="chi" type="ord"/>
85
<Symbol name="psi" type="ord"/>
86
<Symbol name="omega" type="ord"/>
88
<!-- uppercase Greek letters -->
90
<Symbol name="Gamma" type="ord"/>
91
<Symbol name="Delta" type="ord"/>
92
<Symbol name="Theta" type="ord"/>
93
<Symbol name="Lambda" type="ord"/>
94
<Symbol name="Xi" type="ord"/>
95
<Symbol name="Pi" type="ord"/>
96
<Symbol name="Sigma" type="ord"/>
97
<Symbol name="Upsilon" type="ord"/>
98
<Symbol name="Phi" type="ord"/>
99
<Symbol name="Psi" type="ord"/>
100
<Symbol name="Omega" type="ord"/>
102
<!-- miscellaneous symbols of type "ord" -->
104
<Symbol name="aleph" type="ord"/>
105
<Symbol name="imath" type="ord"/>
106
<Symbol name="jmath" type="ord"/>
107
<Symbol name="ell" type="ord"/>
108
<Symbol name="wp" type="ord"/>
109
<Symbol name="Re" type="ord"/>
110
<Symbol name="Im" type="ord"/>
111
<Symbol name="partial" type="ord"/>
112
<Symbol name="infty" type="ord"/>
113
<Symbol name="prime" type="ord"/>
114
<Symbol name="emptyset" type="ord"/>
115
<Symbol name="nabla" type="ord"/>
116
<Symbol name="surdsign" type="ord"/>
117
<Symbol name="top" type="ord"/>
118
<Symbol name="bot" type="ord"/>
119
<Symbol name="|" type="ord"/>
120
<Symbol name="triangle" type="ord"/>
121
<Symbol name="backslash" type="ord" del="true"/>
122
<Symbol name="forall" type="ord"/>
123
<Symbol name="exists" type="ord"/>
124
<Symbol name="neg" type="ord"/>
125
<Symbol name="lnot" type="ord"/>
126
<Symbol name="flat" type="ord"/>
127
<Symbol name="natural" type="ord"/>
128
<Symbol name="sharp" type="ord"/>
129
<Symbol name="clubsuit" type="ord"/>
130
<Symbol name="diamondsuit" type="ord"/>
131
<Symbol name="heartsuit" type="ord"/>
132
<Symbol name="spadesuit" type="ord"/>
133
<Symbol name="lacc" type="ord"/>
134
<Symbol name="racc" type="ord"/>
136
<!-- "large" operators -->
138
<Symbol name="bigcap" type="op"/>
139
<Symbol name="bigcup" type="op"/>
140
<Symbol name="bigodot" type="op"/>
141
<Symbol name="bigoplus" type="op"/>
142
<Symbol name="bigotimes" type="op"/>
143
<Symbol name="bigsqcup" type="op"/>
144
<Symbol name="biguplus" type="op"/>
145
<Symbol name="bigvee" type="op"/>
146
<Symbol name="bigwedge" type="op"/>
147
<Symbol name="coprod" type="op"/>
148
<Symbol name="int" type="op"/>
149
<Symbol name="oint" type="op"/>
150
<Symbol name="sum" type="op"/>
151
<Symbol name="prod" type="op"/>
152
<Symbol name="smallint" type="op"/>
154
<!-- binary operations -->
156
<Symbol name="minus" type="bin"/>
157
<Symbol name="plus" type="bin"/>
158
<Symbol name="pm" type="bin"/>
159
<Symbol name="mp" type="bin"/>
160
<Symbol name="setminus" type="bin"/>
161
<Symbol name="cdot" type="bin"/>
162
<Symbol name="times" type="bin"/>
163
<Symbol name="ast" type="bin"/>
164
<Symbol name="star" type="bin"/>
165
<Symbol name="diamond" type="bin"/>
166
<Symbol name="circ" type="bin"/>
167
<Symbol name="bullet" type="bin"/>
168
<Symbol name="div" type="bin"/>
169
<Symbol name="cap" type="bin"/>
170
<Symbol name="cup" type="bin"/>
171
<Symbol name="uplus" type="bin"/>
172
<Symbol name="sqcap" type="bin"/>
173
<Symbol name="sqcup" type="bin"/>
174
<Symbol name="triangleleft" type="bin"/>
175
<Symbol name="triangleright" type="bin"/>
176
<Symbol name="wr" type="bin"/>
177
<Symbol name="bigcirc" type="bin"/>
178
<Symbol name="bigtriangleup" type="bin"/>
179
<Symbol name="bigtriangledown" type="bin"/>
180
<Symbol name="vee" type="bin"/>
181
<Symbol name="lor" type="bin"/>
182
<Symbol name="land" type="bin"/>
183
<Symbol name="wedge" type="bin"/>
184
<Symbol name="oplus" type="bin"/>
185
<Symbol name="ominus" type="bin"/>
186
<Symbol name="otimes" type="bin"/>
187
<Symbol name="oslash" type="bin"/>
188
<Symbol name="odot" type="bin"/>
189
<Symbol name="dagger" type="bin"/>
190
<Symbol name="ddagger" type="bin"/>
191
<Symbol name="amalg" type="bin"/>
195
<Symbol name="equals" type="rel"/>
196
<Symbol name="gt" type="rel"/>
197
<Symbol name="lt" type="rel"/>
198
<Symbol name="leq" type="rel"/>
199
<Symbol name="le" type="rel"/>
200
<Symbol name="prec" type="rel"/>
201
<Symbol name="preceq" type="rel"/>
202
<Symbol name="ll" type="rel"/>
203
<Symbol name="subset" type="rel"/>
204
<Symbol name="subseteq" type="rel"/>
205
<Symbol name="sqsubseteq" type="rel"/>
206
<Symbol name="in" type="rel"/>
207
<Symbol name="vdash" type="rel"/>
208
<Symbol name="smile" type="rel"/>
209
<Symbol name="frown" type="rel"/>
210
<Symbol name="geq" type="rel"/>
211
<Symbol name="ge" type="rel"/>
212
<Symbol name="succ" type="rel"/>
213
<Symbol name="succeq" type="rel"/>
214
<Symbol name="gg" type="rel"/>
215
<Symbol name="supset" type="rel"/>
216
<Symbol name="supseteq" type="rel"/>
217
<Symbol name="sqsupseteq" type="rel"/>
218
<Symbol name="ni" type="rel"/>
219
<Symbol name="owns" type="rel"/>
220
<Symbol name="dashv" type="rel"/>
221
<Symbol name="mid" type="rel"/>
222
<Symbol name="parallel" type="rel"/>
223
<Symbol name="equiv" type="rel"/>
224
<Symbol name="sim" type="rel"/>
225
<Symbol name="simeq" type="rel"/>
226
<Symbol name="asymp" type="rel"/>
227
<Symbol name="approx" type="rel"/>
228
<Symbol name="propto" type="rel"/>
229
<Symbol name="perp" type="rel"/>
231
<!-- special relation symbol with "width=0" (to overlap other relational symbols) -->
233
<Symbol name="not" type="rel"/>
235
<!-- arrows = pointing relations -->
237
<Symbol name="colon" type="rel"/>
238
<Symbol name="nearrow" type="rel"/>
239
<Symbol name="searrow" type="rel"/>
240
<Symbol name="swarrow" type="rel"/>
241
<Symbol name="nwarrow" type="rel"/>
242
<Symbol name="leftarrow" type="rel"/>
243
<Symbol name="gets" type="rel"/>
244
<Symbol name="Leftarrow" type="rel"/>
245
<Symbol name="rightarrow" type="rel"/>
246
<Symbol name="to" type="rel"/>
247
<Symbol name="Rightarrow" type="rel"/>
248
<Symbol name="leftrightarrow" type="rel"/>
249
<Symbol name="Leftrightarrow" type="rel"/>
250
<Symbol name="leftharpoonup" type="rel"/>
251
<Symbol name="leftharpoondown" type="rel"/>
252
<Symbol name="rightharpoonup" type="rel"/>
253
<Symbol name="rightharpoondown" type="rel"/>