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
134
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
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
|
<!--
ISOAMSR Characters alphabetically
Added Math Symbols: Relations Extended by MathML with aliases
Converted from HTML table at
http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSRe1.html
Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->
<!ENTITY apE ""><!-- u+E315 approximately equal or equal to ISOAMSR -->
<!ENTITY ape "≊"><!-- u+224A approximate, equals ISOAMSR -->
<!ENTITY apid "≋"><!-- u+224B approximately identical to ISOAMSR -->
<!ENTITY approxeq "≊"><!-- u+224A approximate, equals MMALIAS ape-->
<!ENTITY asymp "≍"><!-- u+224D asymptotically equal to ISOAMSR -->
<!ENTITY backcong "≌"><!-- u+224C reverse congruent MMALIAS bcong-->
<!ENTITY backepsilon ""><!-- u+E420 such that MMALIAS bepsi-->
<!ENTITY backsim "∽"><!-- u+223D reverse similar MMALIAS bsim-->
<!ENTITY backsimeq "⋍"><!-- u+22CD reverse similar, equals MMALIAS bsime-->
<!ENTITY Barv ""><!-- u+E311 vert, double bar (over) ISOAMSR -->
<!ENTITY bcong "≌"><!-- u+224C reverse congruent ISOAMSR -->
<!ENTITY bepsi ""><!-- u+E420 such that ISOAMSR -->
<!ENTITY between "≬"><!-- u+226C between MMALIAS twixt-->
<!ENTITY bowtie "⋈"><!-- u+22C8 bowtie ISOAMSR -->
<!ENTITY bsim "∽"><!-- u+223D reverse similar ISOAMSR -->
<!ENTITY bsime "⋍"><!-- u+22CD reverse similar, equals ISOAMSR -->
<!ENTITY bsolhsub ""><!-- u+E34D reverse solidus, subset ISOAMSR -->
<!ENTITY bump "≎"><!-- u+224E bumpy equals ISOAMSR -->
<!ENTITY bumpe "≏"><!-- u+224F bumpy equals, equals ISOAMSR -->
<!ENTITY Bumpeq "≎"><!-- u+224E bumpy equals MMALIAS bump-->
<!ENTITY bumpeq "≏"><!-- u+224F bumpy equals, equals MMALIAS bumpe-->
<!ENTITY circeq "≗"><!-- u+2257 circle, equals MMALIAS cire-->
<!ENTITY cire "≗"><!-- u+2257 circle, equals ISOAMSR -->
<!ENTITY Colon "∷"><!-- u+2237 /Colon, two colons ISOAMSR -->
<!ENTITY Colone ""><!-- u+E30E double colon, equals ISOAMSR -->
<!ENTITY colone "≔"><!-- u+2254 colon, equals ISOAMSR -->
<!ENTITY coloneq "≔"><!-- u+2254 colon, equals MMALIAS colone-->
<!ENTITY congdot ""><!-- u+E314 congruent, dot ISOAMSR -->
<!ENTITY csub ""><!-- u+E351 subset, closed ISOAMSR -->
<!ENTITY csube ""><!-- u+E353 subset, closed, equals ISOAMSR -->
<!ENTITY csup ""><!-- u+E352 superset, closed ISOAMSR -->
<!ENTITY csupe ""><!-- u+E354 superset, closed, equals ISOAMSR -->
<!ENTITY cuepr "⋞"><!-- u+22DE curly equals, precedes ISOAMSR -->
<!ENTITY cuesc "⋟"><!-- u+22DF curly equals, succeeds ISOAMSR -->
<!--<!ENTITY Cup "⌣">-->
<!-- u+2323 up curve MMALIAS smile-->
<!ENTITY CupCap "≍"><!-- u+224D asymptotically equal to MMALIAS asymp-->
<!ENTITY curlyeqprec "⋞"><!-- u+22DE curly equals, precedes MMALIAS cuepr-->
<!ENTITY curlyeqsucc "⋟"><!-- u+22DF curly equals, succeeds MMALIAS cuesc-->
<!ENTITY Dashv ""><!-- u+E30F double dash, vertical ISOAMSR -->
<!ENTITY dashv "⊣"><!-- u+22A3 dash, vertical ISOAMSR -->
<!ENTITY ddotseq ""><!-- u+E309 equal with four dots MMALIAS eDDot-->
<!ENTITY doteq "≐"><!-- u+2250 equals, single dot above MMALIAS esdot-->
<!ENTITY doteqdot "≑"><!-- u+2251 equals, even dots MMALIAS eDot-->
<!ENTITY DotEqual "≐"><!-- u+2250 equals, single dot above MMALIAS esdot-->
<!ENTITY DoubleRightTee "⊨"><!-- u+22A8 vertical, double dash MMALIAS vDash-->
<!ENTITY easter "≛"><!-- u+225B equal, asterisk above ISOAMSR -->
<!ENTITY ecir "≖"><!-- u+2256 circle on equals sign ISOAMSR -->
<!ENTITY ecolon "≕"><!-- u+2255 equals, colon ISOAMSR -->
<!ENTITY eDDot ""><!-- u+E309 equal with four dots ISOAMSR -->
<!ENTITY eDot "≑"><!-- u+2251 equals, even dots ISOAMSR -->
<!ENTITY efDot "≒"><!-- u+2252 equals, falling dots ISOAMSR -->
<!ENTITY eg ""><!-- u+E328 equal-or-greater ISOAMSR -->
<!ENTITY egs "⋝"><!-- u+22DD equal-or-gtr, slanted ISOAMSR -->
<!ENTITY egsdot ""><!-- u+E324 equal-or-greater, slanted, dot inside ISOAMSR -->
<!ENTITY el ""><!-- u+E327 equal-or-less ISOAMSR -->
<!ENTITY els "⋜"><!-- u+22DC eq-or-less, slanted ISOAMSR -->
<!ENTITY elsdot ""><!-- u+E323 equal-or-less, slanted, dot inside ISOAMSR -->
<!ENTITY eqcirc "≖"><!-- u+2256 circle on equals sign MMALIAS ecir-->
<!ENTITY eqcolon "≕"><!-- u+2255 equals, colon MMALIAS ecolon-->
<!ENTITY eqsim "≂"><!-- u+2242 equals, similar MMALIAS esim-->
<!ENTITY eqslantgtr "⋝"><!-- u+22DD equal-or-gtr, slanted MMALIAS egs-->
<!ENTITY eqslantless "⋜"><!-- u+22DC eq-or-less, slanted MMALIAS els-->
<!ENTITY EqualTilde "≂"><!-- u+2242 equals, similar MMALIAS esim-->
<!ENTITY equest "≟"><!-- u+225F equal with questionmark ISOAMSR -->
<!ENTITY equivDD ""><!-- u+E318 equivalent, four dots above ISOAMSR -->
<!ENTITY erDot "≓"><!-- u+2253 equals, rising dots ISOAMSR -->
<!ENTITY esdot "≐"><!-- u+2250 equals, single dot above ISOAMSR -->
<!ENTITY Esim ""><!-- u+E317 equal, similar ISOAMSR -->
<!ENTITY esim "≂"><!-- u+2242 equals, similar ISOAMSR -->
<!ENTITY fallingdotseq "≒"><!-- u+2252 equals, falling dots MMALIAS efDot-->
<!ENTITY fork "⋔"><!-- u+22D4 pitchfork ISOAMSR -->
<!ENTITY forkv ""><!-- u+E31B fork, variant ISOAMSR -->
<!ENTITY frown "⌢"><!-- u+2322 down curve ISOAMSR -->
<!ENTITY gap "≳"><!-- u+2273 greater, approximate ISOAMSR -->
<!ENTITY gE "≧"><!-- u+2267 greater, double equals ISOAMSR -->
<!ENTITY gEl "⋛"><!-- u+22DB gt, double equals, less ISOAMSR -->
<!ENTITY gel "⋛"><!-- u+22DB greater, equals, less ISOAMSR -->
<!ENTITY geqq "≧"><!-- u+2267 greater, double equals MMALIAS gE-->
<!ENTITY geqslant ""><!-- u+E421 gt-or-equal, slanted MMALIAS ges-->
<!ENTITY ges ""><!-- u+E421 gt-or-equal, slanted ISOAMSR -->
<!ENTITY gescc ""><!-- u+E358 greater than, closed by curve, equal, slanted ISOAMSR -->
<!ENTITY gesdot ""><!-- u+E31E greater-than-or-equal, slanted, dot inside ISOAMSR -->
<!ENTITY gesdoto ""><!-- u+E320 greater-than-or-equal, slanted, dot above ISOAMSR -->
<!ENTITY gesdotol ""><!-- u+E322 greater-than-or-equal, slanted, dot above left ISOAMSR -->
<!ENTITY gesl ""><!-- u+E32C greater, equal, slanted, less ISOAMSR -->
<!ENTITY gesles ""><!-- u+E332 greater, equal, slanted, less, equal, slanted ISOAMSR -->
<!ENTITY Gg "⋙"><!-- u+22D9 triple gtr-than ISOAMSR -->
<!ENTITY gg "≫"><!-- u+226B double greater-than sign MMALIAS Gt-->
<!ENTITY ggg "⋙"><!-- u+22D9 triple gtr-than MMALIAS Gg-->
<!ENTITY gl "≷"><!-- u+2277 greater, less ISOAMSR -->
<!ENTITY gla ""><!-- u+E330 greater, less, apart ISOAMSR -->
<!ENTITY glE ""><!-- u+E32E greater, less, equal ISOAMSR -->
<!ENTITY glj ""><!-- u+E32F greater, less, overlapping ISOAMSR -->
<!ENTITY GreaterEqualLess "⋛"><!-- u+22DB greater, equals, less MMALIAS gel-->
<!ENTITY GreaterFullEqual "≧"><!-- u+2267 greater, double equals MMALIAS gE-->
<!ENTITY GreaterLess "≷"><!-- u+2277 greater, less MMALIAS gl-->
<!ENTITY GreaterSlantEqual ""><!-- u+E421 gt-or-equal, slanted MMALIAS ges-->
<!ENTITY GreaterTilde "≳"><!-- u+2273 greater, similar MMALIAS gsim-->
<!ENTITY gsim "≳"><!-- u+2273 greater, similar ISOAMSR -->
<!ENTITY gsime ""><!-- u+E334 greater, similar, equal ISOAMSR -->
<!ENTITY gsiml ""><!-- u+E336 greater, similar, less ISOAMSR -->
<!ENTITY Gt "≫"><!-- u+226B double greater-than sign ISOAMSR -->
<!ENTITY gtcc ""><!-- u+E356 greater than, closed by curve ISOAMSR -->
<!ENTITY gtcir ""><!-- u+E326 greater than, circle inside ISOAMSR -->
<!ENTITY gtdot "⋗"><!-- u+22D7 greater than, with dot ISOAMSR -->
<!ENTITY gtquest ""><!-- u+E32A greater than, questionmark above ISOAMSR -->
<!ENTITY gtrapprox "≳"><!-- u+2273 greater, approximate MMALIAS gap-->
<!ENTITY gtrarr ""><!-- u+E35F greater than, right arrow ISOAMSR -->
<!ENTITY gtrdot "⋗"><!-- u+22D7 greater than, with dot MMALIAS gtdot-->
<!ENTITY gtreqless "⋛"><!-- u+22DB greater, equals, less MMALIAS gel-->
<!ENTITY gtreqqless "⋛"><!-- u+22DB gt, double equals, less MMALIAS gEl-->
<!ENTITY gtrless "≷"><!-- u+2277 greater, less MMALIAS gl-->
<!ENTITY gtrsim "≳"><!-- u+2273 greater, similar MMALIAS gsim-->
<!ENTITY homtht "∻"><!-- u+223B homothetic ISOAMSR -->
<!ENTITY HumpDownHump "≎"><!-- u+224E bumpy equals MMALIAS bump-->
<!ENTITY HumpEqual "≏"><!-- u+224F bumpy equals, equals MMALIAS bumpe-->
<!ENTITY lap "≲"><!-- u+2272 less, approximate ISOAMSR -->
<!ENTITY lat ""><!-- u+E33A larger than ISOAMSR -->
<!ENTITY late ""><!-- u+E33C larger than or equal ISOAMSR -->
<!ENTITY lates ""><!-- u+E33E larger than or equal, slanted ISOAMSR -->
<!ENTITY lE "≦"><!-- u+2266 less, double equals ISOAMSR -->
<!ENTITY LeftTee "⊣"><!-- u+22A3 dash, vertical MMALIAS dashv-->
<!ENTITY LeftTriangle "⊲"><!-- u+22B2 left triangle, open, variant MMALIAS vltri-->
<!ENTITY LeftTriangleEqual "⊴"><!-- u+22B4 left triangle, equals MMALIAS ltrie-->
<!ENTITY lEg "⋚"><!-- u+22DA less, double equals, greater ISOAMSR -->
<!ENTITY leg "⋚"><!-- u+22DA less, equals, greater ISOAMSR -->
<!ENTITY leqq "≦"><!-- u+2266 less, double equals MMALIAS lE-->
<!ENTITY leqslant ""><!-- u+E425 less-than-or-equals, slant MMALIAS les-->
<!ENTITY les ""><!-- u+E425 less-than-or-equals, slant ISOAMSR -->
<!ENTITY lescc ""><!-- u+E357 less than, closed by curve, equal, slanted ISOAMSR -->
<!ENTITY lesdot ""><!-- u+E31D less-than-or-equal, slanted, dot inside ISOAMSR -->
<!ENTITY lesdoto ""><!-- u+E31F less-than-or-equal, slanted, dot above ISOAMSR -->
<!ENTITY lesdotor ""><!-- u+E321 less-than-or-equal, slanted, dot above right ISOAMSR -->
<!ENTITY lesg ""><!-- u+E32B less, equal, slanted, greater ISOAMSR -->
<!ENTITY lesges ""><!-- u+E331 less, equal, slanted, greater, equal, slanted ISOAMSR -->
<!ENTITY lessapprox "≲"><!-- u+2272 less, approximate MMALIAS lap-->
<!ENTITY lessdot "⋖"><!-- u+22D6 less than, with dot MMALIAS ltdot-->
<!ENTITY lesseqgtr "⋚"><!-- u+22DA less, equals, greater MMALIAS leg-->
<!ENTITY lesseqqgtr "⋚"><!-- u+22DA less, double equals, greater MMALIAS lEg-->
<!ENTITY LessEqualGreater "⋚"><!-- u+22DA less, equals, greater MMALIAS leg-->
<!ENTITY LessFullEqual "≦"><!-- u+2266 less, double equals MMALIAS lE-->
<!ENTITY LessGreater "≶"><!-- u+2276 less, greater MMALIAS lg-->
<!ENTITY lessgtr "≶"><!-- u+2276 less, greater MMALIAS lg-->
<!ENTITY lesssim "≲"><!-- u+2272 less, similar MMALIAS lsim-->
<!ENTITY LessSlantEqual ""><!-- u+E425 less-than-or-equals, slant MMALIAS les-->
<!ENTITY LessTilde "≲"><!-- u+2272 less, similar MMALIAS lsim-->
<!ENTITY lg "≶"><!-- u+2276 less, greater ISOAMSR -->
<!ENTITY lgE ""><!-- u+E32D less, greater, equal ISOAMSR -->
<!ENTITY Ll "⋘"><!-- u+22D8 triple less-than ISOAMSR -->
<!ENTITY ll "≪"><!-- u+226A double less-than sign MMALIAS Lt-->
<!ENTITY lsim "≲"><!-- u+2272 less, similar ISOAMSR -->
<!ENTITY lsime ""><!-- u+E333 less, similar, equal ISOAMSR -->
<!ENTITY lsimg ""><!-- u+E335 less, similar, greater ISOAMSR -->
<!ENTITY Lt "≪"><!-- u+226A double less-than sign ISOAMSR -->
<!ENTITY ltcc ""><!-- u+E355 less than, closed by curve ISOAMSR -->
<!ENTITY ltcir ""><!-- u+E325 less than, circle inside ISOAMSR -->
<!ENTITY ltdot "⋖"><!-- u+22D6 less than, with dot ISOAMSR -->
<!ENTITY ltlarr ""><!-- u+E35E less than, left arrow ISOAMSR -->
<!ENTITY ltquest ""><!-- u+E329 less than, questionmark above ISOAMSR -->
<!ENTITY ltrie "⊴"><!-- u+22B4 left triangle, equals ISOAMSR -->
<!ENTITY mcomma ""><!-- u+E31A minus, comma above ISOAMSR -->
<!ENTITY mDDot "∺"><!-- u+223A minus with four dots, geometric properties ISOAMSR -->
<!ENTITY mid "∣"><!-- u+2223 mid ISOAMSR -->
<!ENTITY mlcp ""><!-- u+E30A transversal intersection ISOAMSR -->
<!ENTITY models "⊧"><!-- u+22A7 models ISOAMSR -->
<!ENTITY mstpos "∾"><!-- u+223E most positive ISOAMSR -->
<!ENTITY NestedGreaterGreater "≫"><!-- u+226B double greater-than sign MMALIAS Gt-->
<!ENTITY NestedLessLess "≪"><!-- u+226A double less-than sign MMALIAS Lt-->
<!ENTITY pitchfork "⋔"><!-- u+22D4 pitchfork MMALIAS fork-->
<!ENTITY Pr ""><!-- u+E35C double precedes ISOAMSR -->
<!ENTITY pr "≺"><!-- u+227A precedes ISOAMSR -->
<!ENTITY prap "≾"><!-- u+227E precedes, approximate ISOAMSR -->
<!ENTITY prcue "≼"><!-- u+227C precedes, curly equals ISOAMSR -->
<!ENTITY prE "≼"><!-- u+227C precedes, double equals ISOAMSR -->
<!ENTITY pre "≼"><!-- u+227C precedes, equals ISOAMSR -->
<!ENTITY prec "≺"><!-- u+227A precedes MMALIAS pr-->
<!ENTITY precapprox "≾"><!-- u+227E precedes, approximate MMALIAS prap-->
<!ENTITY preccurlyeq "≼"><!-- u+227C precedes, curly equals MMALIAS prcue-->
<!ENTITY Precedes "≺"><!-- u+227A precedes MMALIAS pr-->
<!ENTITY PrecedesEqual "≼"><!-- u+227C precedes, equals MMALIAS pre-->
<!ENTITY PrecedesSlantEqual "≼"><!-- u+227C precedes, curly equals MMALIAS prcue-->
<!ENTITY PrecedesTilde "≾"><!-- u+227E precedes, similar MMALIAS prsim-->
<!ENTITY preceq "≼"><!-- u+227C precedes, equals MMALIAS pre-->
<!ENTITY precsim "≾"><!-- u+227E precedes, similar MMALIAS prsim-->
<!ENTITY Proportion "∷"><!-- u+2237 /Colon, two colons MMALIAS Colon-->
<!ENTITY prsim "≾"><!-- u+227E precedes, similar ISOAMSR -->
<!ENTITY prurel "⊰"><!-- u+22B0 element precedes under relation ISOAMSR -->
<!ENTITY questeq "≟"><!-- u+225F equal with questionmark MMALIAS equest-->
<!ENTITY ratio "∶"><!-- u+2236 ratio ISOAMSR -->
<!ENTITY RightTee "⊢"><!-- u+22A2 vertical, dash MMALIAS vdash-->
<!ENTITY RightTriangle "⊳"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri-->
<!ENTITY RightTriangleEqual "⊵"><!-- u+22B5 right triangle, equals MMALIAS rtrie-->
<!ENTITY risingdotseq "≓"><!-- u+2253 equals, rising dots MMALIAS erDot-->
<!ENTITY rtrie "⊵"><!-- u+22B5 right triangle, equals ISOAMSR -->
<!ENTITY rtriltri ""><!-- u+E359 right triangle above left triangle ISOAMSR -->
<!ENTITY Sc ""><!-- u+E35D double succeeds ISOAMSR -->
<!ENTITY sc "≻"><!-- u+227B succeeds ISOAMSR -->
<!ENTITY scap "≿"><!-- u+227F succeeds, approximate ISOAMSR -->
<!ENTITY sccue "≽"><!-- u+227D succeeds, curly equals ISOAMSR -->
<!ENTITY scE "≾"><!-- u+227E succeeds, double equals ISOAMSR -->
<!ENTITY sce "≽"><!-- u+227D succeeds, equals ISOAMSR -->
<!ENTITY scsim "≿"><!-- u+227F succeeds, similar ISOAMSR -->
<!ENTITY sdote ""><!-- u+E319 equal, dot below ISOAMSR -->
<!ENTITY sfrown ""><!-- u+E426 small down curve ISOAMSR -->
<!ENTITY shortmid ""><!-- u+E301 shortmid MMALIAS smid-->
<!ENTITY shortparallel ""><!-- u+E302 short parallel MMALIAS spar-->
<!ENTITY simg ""><!-- u+E30C similar, greater ISOAMSR -->
<!ENTITY simgE ""><!-- u+E338 similar, greater, equal ISOAMSR -->
<!ENTITY siml ""><!-- u+E30B similar, less ISOAMSR -->
<!ENTITY simlE ""><!-- u+E337 similar, less, equal ISOAMSR -->
<!ENTITY smallfrown ""><!-- u+E426 small down curve MMALIAS sfrown-->
<!ENTITY smallsmile ""><!-- u+E303 small up curve MMALIAS ssmile-->
<!ENTITY smid ""><!-- u+E301 shortmid ISOAMSR -->
<!ENTITY smile "⌣"><!-- u+2323 up curve ISOAMSR -->
<!ENTITY smt ""><!-- u+E339 smaller than ISOAMSR -->
<!ENTITY smte ""><!-- u+E33B smaller than or equal ISOAMSR -->
<!ENTITY smtes ""><!-- u+E33D smaller than or equal, slanted ISOAMSR -->
<!ENTITY spar ""><!-- u+E302 short parallel ISOAMSR -->
<!ENTITY sqsub "⊏"><!-- u+228F square subset ISOAMSR -->
<!ENTITY sqsube "⊑"><!-- u+2291 square subset, equals ISOAMSR -->
<!ENTITY sqsubset "⊏"><!-- u+228F square subset MMALIAS sqsub-->
<!ENTITY sqsubseteq "⊑"><!-- u+2291 square subset, equals MMALIAS sqsube-->
<!ENTITY sqsup "⊐"><!-- u+2290 square superset ISOAMSR -->
<!ENTITY sqsupe "⊒"><!-- u+2292 square superset, equals ISOAMSR -->
<!ENTITY sqsupset "⊐"><!-- u+2290 square superset MMALIAS sqsup-->
<!ENTITY sqsupseteq "⊒"><!-- u+2292 square superset, equals MMALIAS sqsupe-->
<!ENTITY SquareSubset "⊏"><!-- u+228F square subset MMALIAS sqsub-->
<!ENTITY SquareSubsetEqual "⊑"><!-- u+2291 square subset, equals MMALIAS sqsube-->
<!ENTITY SquareSuperset "⊐"><!-- u+2290 square superset MMALIAS sqsup-->
<!ENTITY SquareSupersetEqual "⊒"><!-- u+2292 square superset, equals MMALIAS sqsupe-->
<!ENTITY ssmile ""><!-- u+E303 small up curve ISOAMSR -->
<!ENTITY Sub "⋐"><!-- u+22D0 double subset ISOAMSR -->
<!ENTITY subE "⊆"><!-- u+2286 subset, double equals ISOAMSR -->
<!ENTITY subedot ""><!-- u+E34F subset, equals, dot ISOAMSR -->
<!ENTITY submult ""><!-- u+E343 subset, multiply ISOAMSR -->
<!ENTITY subplus ""><!-- u+E341 subset, plus ISOAMSR -->
<!ENTITY subrarr ""><!-- u+E33F subset, right arrow ISOAMSR -->
<!--<!ENTITY Subset "⋐">-->
<!-- u+22D0 double subset MMALIAS Sub-->
<!ENTITY subseteqq "⊆"><!-- u+2286 subset, double equals MMALIAS subE-->
<!ENTITY subsim ""><!-- u+E345 subset, similar ISOAMSR -->
<!ENTITY subsub ""><!-- u+E349 subset above subset ISOAMSR -->
<!ENTITY subsup ""><!-- u+E347 subset above superset ISOAMSR -->
<!ENTITY succ "≻"><!-- u+227B succeeds MMALIAS sc-->
<!ENTITY succapprox "≿"><!-- u+227F succeeds, approximate MMALIAS scap-->
<!ENTITY succcurlyeq "≽"><!-- u+227D succeeds, curly equals MMALIAS sccue-->
<!ENTITY Succeeds "≻"><!-- u+227B succeeds MMALIAS sc-->
<!ENTITY SucceedsEqual "≽"><!-- u+227D succeeds, equals MMALIAS sce-->
<!ENTITY SucceedsSlantEqual "≽"><!-- u+227D succeeds, curly equals MMALIAS sccue-->
<!ENTITY SucceedsTilde "≿"><!-- u+227F succeeds, similar MMALIAS scsim-->
<!ENTITY succeq "≽"><!-- u+227D succeeds, equals MMALIAS sce-->
<!ENTITY succsim "≿"><!-- u+227F succeeds, similar MMALIAS scsim-->
<!ENTITY Sup "⋑"><!-- u+22D1 double superset ISOAMSR -->
<!ENTITY supdsub ""><!-- u+E34C superset, subset, dash joining them ISOAMSR -->
<!ENTITY supE "⊇"><!-- u+2287 superset, double equals ISOAMSR -->
<!ENTITY supedot ""><!-- u+E350 superset, equals, dot ISOAMSR -->
<!ENTITY suphsol ""><!-- u+E34E superset, solidus ISOAMSR -->
<!ENTITY suphsub ""><!-- u+E34B superset, subset ISOAMSR -->
<!ENTITY suplarr ""><!-- u+E340 superset, left arrow ISOAMSR -->
<!ENTITY supmult ""><!-- u+E344 superset, multiply ISOAMSR -->
<!ENTITY supplus ""><!-- u+E342 superset, plus ISOAMSR -->
<!ENTITY Supset "⋑"><!-- u+22D1 double superset MMALIAS Sup-->
<!ENTITY supseteqq "⊇"><!-- u+2287 superset, double equals MMALIAS supE-->
<!ENTITY supsim ""><!-- u+E346 superset, similar ISOAMSR -->
<!ENTITY supsub ""><!-- u+E348 superset above subset ISOAMSR -->
<!ENTITY supsup ""><!-- u+E34A superset above superset ISOAMSR -->
<!ENTITY thickapprox ""><!-- u+E306 thick approximate MMALIAS thkap-->
<!ENTITY thicksim ""><!-- u+E429 thick similar MMALIAS thksim-->
<!ENTITY thkap ""><!-- u+E306 thick approximate ISOAMSR -->
<!ENTITY thksim ""><!-- u+E429 thick similar ISOAMSR -->
<!ENTITY topfork ""><!-- u+E31C fork with top ISOAMSR -->
<!ENTITY trianglelefteq "⊴"><!-- u+22B4 left triangle, equals MMALIAS ltrie-->
<!ENTITY triangleq "≜"><!-- u+225C triangle, equals MMALIAS trie-->
<!ENTITY trianglerighteq "⊵"><!-- u+22B5 right triangle, equals MMALIAS rtrie-->
<!ENTITY trie "≜"><!-- u+225C triangle, equals ISOAMSR -->
<!ENTITY twixt "≬"><!-- u+226C between ISOAMSR -->
<!ENTITY varpropto "∝"><!-- u+221D proportional, variant MMALIAS vprop-->
<!ENTITY vartriangleleft "⊲"><!-- u+22B2 left triangle, open, variant MMALIAS vltri-->
<!ENTITY vartriangleright "⊳"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri-->
<!ENTITY Vbar ""><!-- u+E30D double vert, bar (under) ISOAMSR -->
<!ENTITY vBar ""><!-- u+E310 vert, double bar (under) ISOAMSR -->
<!ENTITY vBarv ""><!-- u+E312 double bar, vert over and under ISOAMSR -->
<!ENTITY VDash "⊫"><!-- u+22AB double vert, double dash ISOAMSR -->
<!ENTITY Vdash "⊩"><!-- u+22A9 double vertical, dash ISOAMSR -->
<!ENTITY vDash "⊨"><!-- u+22A8 vertical, double dash ISOAMSR -->
<!ENTITY vdash "⊢"><!-- u+22A2 vertical, dash ISOAMSR -->
<!ENTITY Vdashl ""><!-- u+E313 vertical, dash (long) ISOAMSR -->
<!ENTITY VerticalBar "∣"><!-- u+2223 mid MMALIAS mid-->
<!ENTITY vltri "⊲"><!-- u+22B2 left triangle, open, variant ISOAMSR -->
<!ENTITY vprop "∝"><!-- u+221D proportional, variant ISOAMSR -->
<!ENTITY vrtri "⊳"><!-- u+22B3 right triangle, open, variant ISOAMSR -->
<!ENTITY Vvdash "⊪"><!-- u+22AA triple vertical, dash ISOAMSR -->
|