summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd
blob: d250baf518af0cb1510e88c2d795d79bb8c1e3b2 (plain)
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                 "&#58133;"><!-- u+E315  approximately equal or equal to            ISOAMSR   -->
<!ENTITY ape                 "&#8778;"><!-- u+224A  approximate, equals                        ISOAMSR   -->
<!ENTITY apid                "&#8779;"><!-- u+224B  approximately identical to                 ISOAMSR   -->
<!ENTITY approxeq            "&#8778;"><!-- u+224A  approximate, equals                        MMALIAS   ape-->
<!ENTITY asymp               "&#8781;"><!-- u+224D  asymptotically equal to                    ISOAMSR   -->
<!ENTITY backcong            "&#8780;"><!-- u+224C  reverse congruent                          MMALIAS   bcong-->
<!ENTITY backepsilon         "&#58400;"><!-- u+E420  such that                                  MMALIAS   bepsi-->
<!ENTITY backsim             "&#8765;"><!-- u+223D  reverse similar                            MMALIAS   bsim-->
<!ENTITY backsimeq           "&#8909;"><!-- u+22CD  reverse similar, equals                    MMALIAS   bsime-->
<!ENTITY Barv                "&#58129;"><!-- u+E311  vert, double bar (over)                    ISOAMSR   -->
<!ENTITY bcong               "&#8780;"><!-- u+224C  reverse congruent                          ISOAMSR   -->
<!ENTITY bepsi               "&#58400;"><!-- u+E420  such that                                  ISOAMSR   -->
<!ENTITY between             "&#8812;"><!-- u+226C  between                                    MMALIAS   twixt-->
<!ENTITY bowtie              "&#8904;"><!-- u+22C8  bowtie                                     ISOAMSR   -->
<!ENTITY bsim                "&#8765;"><!-- u+223D  reverse similar                            ISOAMSR   -->
<!ENTITY bsime               "&#8909;"><!-- u+22CD  reverse similar, equals                    ISOAMSR   -->
<!ENTITY bsolhsub            "&#58189;"><!-- u+E34D  reverse solidus, subset                    ISOAMSR   -->
<!ENTITY bump                "&#8782;"><!-- u+224E  bumpy equals                               ISOAMSR   -->
<!ENTITY bumpe               "&#8783;"><!-- u+224F  bumpy equals, equals                       ISOAMSR   -->
<!ENTITY Bumpeq              "&#8782;"><!-- u+224E  bumpy equals                               MMALIAS   bump-->
<!ENTITY bumpeq              "&#8783;"><!-- u+224F  bumpy equals, equals                       MMALIAS   bumpe-->
<!ENTITY circeq              "&#8791;"><!-- u+2257  circle, equals                             MMALIAS   cire-->
<!ENTITY cire                "&#8791;"><!-- u+2257  circle, equals                             ISOAMSR   -->
<!ENTITY Colon               "&#8759;"><!-- u+2237  /Colon, two colons                         ISOAMSR   -->
<!ENTITY Colone              "&#58126;"><!-- u+E30E  double colon, equals                       ISOAMSR   -->
<!ENTITY colone              "&#8788;"><!-- u+2254  colon, equals                              ISOAMSR   -->
<!ENTITY coloneq             "&#8788;"><!-- u+2254  colon, equals                              MMALIAS   colone-->
<!ENTITY congdot             "&#58132;"><!-- u+E314  congruent, dot                             ISOAMSR   -->
<!ENTITY csub                "&#58193;"><!-- u+E351  subset, closed                             ISOAMSR   -->
<!ENTITY csube               "&#58195;"><!-- u+E353  subset, closed, equals                     ISOAMSR   -->
<!ENTITY csup                "&#58194;"><!-- u+E352  superset, closed                           ISOAMSR   -->
<!ENTITY csupe               "&#58196;"><!-- u+E354  superset, closed, equals                   ISOAMSR   -->
<!ENTITY cuepr               "&#8926;"><!-- u+22DE  curly equals, precedes                     ISOAMSR   -->
<!ENTITY cuesc               "&#8927;"><!-- u+22DF  curly equals, succeeds                     ISOAMSR   -->
<!--<!ENTITY Cup                 "&#8995;">-->
<!-- u+2323  up curve                                   MMALIAS   smile-->
<!ENTITY CupCap              "&#8781;"><!-- u+224D  asymptotically equal to                    MMALIAS   asymp-->
<!ENTITY curlyeqprec         "&#8926;"><!-- u+22DE  curly equals, precedes                     MMALIAS   cuepr-->
<!ENTITY curlyeqsucc         "&#8927;"><!-- u+22DF  curly equals, succeeds                     MMALIAS   cuesc-->
<!ENTITY Dashv               "&#58127;"><!-- u+E30F  double dash, vertical                      ISOAMSR   -->
<!ENTITY dashv               "&#8867;"><!-- u+22A3  dash, vertical                             ISOAMSR   -->
<!ENTITY ddotseq             "&#58121;"><!-- u+E309  equal with four dots                       MMALIAS   eDDot-->
<!ENTITY doteq               "&#8784;"><!-- u+2250  equals, single dot above                   MMALIAS   esdot-->
<!ENTITY doteqdot            "&#8785;"><!-- u+2251  equals, even dots                          MMALIAS   eDot-->
<!ENTITY DotEqual            "&#8784;"><!-- u+2250  equals, single dot above                   MMALIAS   esdot-->
<!ENTITY DoubleRightTee      "&#8872;"><!-- u+22A8  vertical, double dash                      MMALIAS   vDash-->
<!ENTITY easter              "&#8795;"><!-- u+225B  equal, asterisk above                      ISOAMSR   -->
<!ENTITY ecir                "&#8790;"><!-- u+2256  circle on equals sign                      ISOAMSR   -->
<!ENTITY ecolon              "&#8789;"><!-- u+2255  equals, colon                              ISOAMSR   -->
<!ENTITY eDDot               "&#58121;"><!-- u+E309  equal with four dots                       ISOAMSR   -->
<!ENTITY eDot                "&#8785;"><!-- u+2251  equals, even dots                          ISOAMSR   -->
<!ENTITY efDot               "&#8786;"><!-- u+2252  equals, falling dots                       ISOAMSR   -->
<!ENTITY eg                  "&#58152;"><!-- u+E328  equal-or-greater                           ISOAMSR   -->
<!ENTITY egs                 "&#8925;"><!-- u+22DD  equal-or-gtr, slanted                      ISOAMSR   -->
<!ENTITY egsdot              "&#58148;"><!-- u+E324  equal-or-greater, slanted, dot inside      ISOAMSR   -->
<!ENTITY el                  "&#58151;"><!-- u+E327  equal-or-less                              ISOAMSR   -->
<!ENTITY els                 "&#8924;"><!-- u+22DC  eq-or-less, slanted                        ISOAMSR   -->
<!ENTITY elsdot              "&#58147;"><!-- u+E323  equal-or-less, slanted, dot inside         ISOAMSR   -->
<!ENTITY eqcirc              "&#8790;"><!-- u+2256  circle on equals sign                      MMALIAS   ecir-->
<!ENTITY eqcolon             "&#8789;"><!-- u+2255  equals, colon                              MMALIAS   ecolon-->
<!ENTITY eqsim               "&#8770;"><!-- u+2242  equals, similar                            MMALIAS   esim-->
<!ENTITY eqslantgtr          "&#8925;"><!-- u+22DD  equal-or-gtr, slanted                      MMALIAS   egs-->
<!ENTITY eqslantless         "&#8924;"><!-- u+22DC  eq-or-less, slanted                        MMALIAS   els-->
<!ENTITY EqualTilde          "&#8770;"><!-- u+2242  equals, similar                            MMALIAS   esim-->
<!ENTITY equest              "&#8799;"><!-- u+225F  equal with questionmark                    ISOAMSR   -->
<!ENTITY equivDD             "&#58136;"><!-- u+E318  equivalent, four dots above                ISOAMSR   -->
<!ENTITY erDot               "&#8787;"><!-- u+2253  equals, rising dots                        ISOAMSR   -->
<!ENTITY esdot               "&#8784;"><!-- u+2250  equals, single dot above                   ISOAMSR   -->
<!ENTITY Esim                "&#58135;"><!-- u+E317  equal, similar                             ISOAMSR   -->
<!ENTITY esim                "&#8770;"><!-- u+2242  equals, similar                            ISOAMSR   -->
<!ENTITY fallingdotseq       "&#8786;"><!-- u+2252  equals, falling dots                       MMALIAS   efDot-->
<!ENTITY fork                "&#8916;"><!-- u+22D4  pitchfork                                  ISOAMSR   -->
<!ENTITY forkv               "&#58139;"><!-- u+E31B  fork, variant                              ISOAMSR   -->
<!ENTITY frown               "&#8994;"><!-- u+2322  down curve                                 ISOAMSR   -->
<!ENTITY gap                 "&#8819;"><!-- u+2273  greater, approximate                       ISOAMSR   -->
<!ENTITY gE                  "&#8807;"><!-- u+2267  greater, double equals                     ISOAMSR   -->
<!ENTITY gEl                 "&#8923;"><!-- u+22DB  gt, double equals, less                    ISOAMSR   -->
<!ENTITY gel                 "&#8923;"><!-- u+22DB  greater, equals, less                      ISOAMSR   -->
<!ENTITY geqq                "&#8807;"><!-- u+2267  greater, double equals                     MMALIAS   gE-->
<!ENTITY geqslant            "&#58401;"><!-- u+E421  gt-or-equal, slanted                       MMALIAS   ges-->
<!ENTITY ges                 "&#58401;"><!-- u+E421  gt-or-equal, slanted                       ISOAMSR   -->
<!ENTITY gescc               "&#58200;"><!-- u+E358  greater than, closed by curve, equal, slanted ISOAMSR   -->
<!ENTITY gesdot              "&#58142;"><!-- u+E31E  greater-than-or-equal, slanted, dot inside ISOAMSR   -->
<!ENTITY gesdoto             "&#58144;"><!-- u+E320  greater-than-or-equal, slanted, dot above  ISOAMSR   -->
<!ENTITY gesdotol            "&#58146;"><!-- u+E322  greater-than-or-equal, slanted, dot above left ISOAMSR   -->
<!ENTITY gesl                "&#58156;"><!-- u+E32C  greater, equal, slanted, less              ISOAMSR   -->
<!ENTITY gesles              "&#58162;"><!-- u+E332  greater, equal, slanted, less, equal, slanted ISOAMSR   -->
<!ENTITY Gg                  "&#8921;"><!-- u+22D9  triple gtr-than                            ISOAMSR   -->
<!ENTITY gg                  "&#8811;"><!-- u+226B  double greater-than sign                   MMALIAS   Gt-->
<!ENTITY ggg                 "&#8921;"><!-- u+22D9  triple gtr-than                            MMALIAS   Gg-->
<!ENTITY gl                  "&#8823;"><!-- u+2277  greater, less                              ISOAMSR   -->
<!ENTITY gla                 "&#58160;"><!-- u+E330  greater, less, apart                       ISOAMSR   -->
<!ENTITY glE                 "&#58158;"><!-- u+E32E  greater, less, equal                       ISOAMSR   -->
<!ENTITY glj                 "&#58159;"><!-- u+E32F  greater, less, overlapping                 ISOAMSR   -->
<!ENTITY GreaterEqualLess    "&#8923;"><!-- u+22DB  greater, equals, less                      MMALIAS   gel-->
<!ENTITY GreaterFullEqual    "&#8807;"><!-- u+2267  greater, double equals                     MMALIAS   gE-->
<!ENTITY GreaterLess         "&#8823;"><!-- u+2277  greater, less                              MMALIAS   gl-->
<!ENTITY GreaterSlantEqual   "&#58401;"><!-- u+E421  gt-or-equal, slanted                       MMALIAS   ges-->
<!ENTITY GreaterTilde        "&#8819;"><!-- u+2273  greater, similar                           MMALIAS   gsim-->
<!ENTITY gsim                "&#8819;"><!-- u+2273  greater, similar                           ISOAMSR   -->
<!ENTITY gsime               "&#58164;"><!-- u+E334  greater, similar, equal                    ISOAMSR   -->
<!ENTITY gsiml               "&#58166;"><!-- u+E336  greater, similar, less                     ISOAMSR   -->
<!ENTITY Gt                  "&#8811;"><!-- u+226B  double greater-than sign                   ISOAMSR   -->
<!ENTITY gtcc                "&#58198;"><!-- u+E356  greater than, closed by curve              ISOAMSR   -->
<!ENTITY gtcir               "&#58150;"><!-- u+E326  greater than, circle inside                ISOAMSR   -->
<!ENTITY gtdot               "&#8919;"><!-- u+22D7  greater than, with dot                     ISOAMSR   -->
<!ENTITY gtquest             "&#58154;"><!-- u+E32A  greater than, questionmark above           ISOAMSR   -->
<!ENTITY gtrapprox           "&#8819;"><!-- u+2273  greater, approximate                       MMALIAS   gap-->
<!ENTITY gtrarr              "&#58207;"><!-- u+E35F  greater than, right arrow                  ISOAMSR   -->
<!ENTITY gtrdot              "&#8919;"><!-- u+22D7  greater than, with dot                     MMALIAS   gtdot-->
<!ENTITY gtreqless           "&#8923;"><!-- u+22DB  greater, equals, less                      MMALIAS   gel-->
<!ENTITY gtreqqless          "&#8923;"><!-- u+22DB  gt, double equals, less                    MMALIAS   gEl-->
<!ENTITY gtrless             "&#8823;"><!-- u+2277  greater, less                              MMALIAS   gl-->
<!ENTITY gtrsim              "&#8819;"><!-- u+2273  greater, similar                           MMALIAS   gsim-->
<!ENTITY homtht              "&#8763;"><!-- u+223B  homothetic                                 ISOAMSR   -->
<!ENTITY HumpDownHump        "&#8782;"><!-- u+224E  bumpy equals                               MMALIAS   bump-->
<!ENTITY HumpEqual           "&#8783;"><!-- u+224F  bumpy equals, equals                       MMALIAS   bumpe-->
<!ENTITY lap                 "&#8818;"><!-- u+2272  less, approximate                          ISOAMSR   -->
<!ENTITY lat                 "&#58170;"><!-- u+E33A  larger than                                ISOAMSR   -->
<!ENTITY late                "&#58172;"><!-- u+E33C  larger than or equal                       ISOAMSR   -->
<!ENTITY lates               "&#58174;"><!-- u+E33E  larger than or equal, slanted              ISOAMSR   -->
<!ENTITY lE                  "&#8806;"><!-- u+2266  less, double equals                        ISOAMSR   -->
<!ENTITY LeftTee             "&#8867;"><!-- u+22A3  dash, vertical                             MMALIAS   dashv-->
<!ENTITY LeftTriangle        "&#8882;"><!-- u+22B2  left triangle, open, variant               MMALIAS   vltri-->
<!ENTITY LeftTriangleEqual   "&#8884;"><!-- u+22B4  left triangle, equals                      MMALIAS   ltrie-->
<!ENTITY lEg                 "&#8922;"><!-- u+22DA  less, double equals, greater               ISOAMSR   -->
<!ENTITY leg                 "&#8922;"><!-- u+22DA  less, equals, greater                      ISOAMSR   -->
<!ENTITY leqq                "&#8806;"><!-- u+2266  less, double equals                        MMALIAS   lE-->
<!ENTITY leqslant            "&#58405;"><!-- u+E425  less-than-or-equals, slant                 MMALIAS   les-->
<!ENTITY les                 "&#58405;"><!-- u+E425  less-than-or-equals, slant                 ISOAMSR   -->
<!ENTITY lescc               "&#58199;"><!-- u+E357  less than, closed by curve, equal, slanted ISOAMSR   -->
<!ENTITY lesdot              "&#58141;"><!-- u+E31D  less-than-or-equal, slanted, dot inside    ISOAMSR   -->
<!ENTITY lesdoto             "&#58143;"><!-- u+E31F  less-than-or-equal, slanted, dot above     ISOAMSR   -->
<!ENTITY lesdotor            "&#58145;"><!-- u+E321  less-than-or-equal, slanted, dot above right ISOAMSR   -->
<!ENTITY lesg                "&#58155;"><!-- u+E32B  less, equal, slanted, greater              ISOAMSR   -->
<!ENTITY lesges              "&#58161;"><!-- u+E331  less, equal, slanted, greater, equal, slanted ISOAMSR   -->
<!ENTITY lessapprox          "&#8818;"><!-- u+2272  less, approximate                          MMALIAS   lap-->
<!ENTITY lessdot             "&#8918;"><!-- u+22D6  less than, with dot                        MMALIAS   ltdot-->
<!ENTITY lesseqgtr           "&#8922;"><!-- u+22DA  less, equals, greater                      MMALIAS   leg-->
<!ENTITY lesseqqgtr          "&#8922;"><!-- u+22DA  less, double equals, greater               MMALIAS   lEg-->
<!ENTITY LessEqualGreater    "&#8922;"><!-- u+22DA  less, equals, greater                      MMALIAS   leg-->
<!ENTITY LessFullEqual       "&#8806;"><!-- u+2266  less, double equals                        MMALIAS   lE-->
<!ENTITY LessGreater         "&#8822;"><!-- u+2276  less, greater                              MMALIAS   lg-->
<!ENTITY lessgtr             "&#8822;"><!-- u+2276  less, greater                              MMALIAS   lg-->
<!ENTITY lesssim             "&#8818;"><!-- u+2272  less, similar                              MMALIAS   lsim-->
<!ENTITY LessSlantEqual      "&#58405;"><!-- u+E425  less-than-or-equals, slant                 MMALIAS   les-->
<!ENTITY LessTilde           "&#8818;"><!-- u+2272  less, similar                              MMALIAS   lsim-->
<!ENTITY lg                  "&#8822;"><!-- u+2276  less, greater                              ISOAMSR   -->
<!ENTITY lgE                 "&#58157;"><!-- u+E32D  less, greater, equal                       ISOAMSR   -->
<!ENTITY Ll                  "&#8920;"><!-- u+22D8  triple less-than                           ISOAMSR   -->
<!ENTITY ll                  "&#8810;"><!-- u+226A  double less-than sign                      MMALIAS   Lt-->
<!ENTITY lsim                "&#8818;"><!-- u+2272  less, similar                              ISOAMSR   -->
<!ENTITY lsime               "&#58163;"><!-- u+E333  less, similar, equal                       ISOAMSR   -->
<!ENTITY lsimg               "&#58165;"><!-- u+E335  less, similar, greater                     ISOAMSR   -->
<!ENTITY Lt                  "&#8810;"><!-- u+226A  double less-than sign                      ISOAMSR   -->
<!ENTITY ltcc                "&#58197;"><!-- u+E355  less than, closed by curve                 ISOAMSR   -->
<!ENTITY ltcir               "&#58149;"><!-- u+E325  less than, circle inside                   ISOAMSR   -->
<!ENTITY ltdot               "&#8918;"><!-- u+22D6  less than, with dot                        ISOAMSR   -->
<!ENTITY ltlarr              "&#58206;"><!-- u+E35E  less than, left arrow                      ISOAMSR   -->
<!ENTITY ltquest             "&#58153;"><!-- u+E329  less than, questionmark above              ISOAMSR   -->
<!ENTITY ltrie               "&#8884;"><!-- u+22B4  left triangle, equals                      ISOAMSR   -->
<!ENTITY mcomma              "&#58138;"><!-- u+E31A  minus, comma above                         ISOAMSR   -->
<!ENTITY mDDot               "&#8762;"><!-- u+223A  minus with four dots, geometric properties ISOAMSR   -->
<!ENTITY mid                 "&#8739;"><!-- u+2223  mid                                        ISOAMSR   -->
<!ENTITY mlcp                "&#58122;"><!-- u+E30A  transversal intersection                   ISOAMSR   -->
<!ENTITY models              "&#8871;"><!-- u+22A7  models                                     ISOAMSR   -->
<!ENTITY mstpos              "&#8766;"><!-- u+223E  most positive                              ISOAMSR   -->
<!ENTITY NestedGreaterGreater "&#8811;"><!-- u+226B  double greater-than sign                   MMALIAS   Gt-->
<!ENTITY NestedLessLess      "&#8810;"><!-- u+226A  double less-than sign                      MMALIAS   Lt-->
<!ENTITY pitchfork           "&#8916;"><!-- u+22D4  pitchfork                                  MMALIAS   fork-->
<!ENTITY Pr                  "&#58204;"><!-- u+E35C  double precedes                            ISOAMSR   -->
<!ENTITY pr                  "&#8826;"><!-- u+227A  precedes                                   ISOAMSR   -->
<!ENTITY prap                "&#8830;"><!-- u+227E  precedes, approximate                      ISOAMSR   -->
<!ENTITY prcue               "&#8828;"><!-- u+227C  precedes, curly equals                     ISOAMSR   -->
<!ENTITY prE                 "&#8828;"><!-- u+227C  precedes, double equals                    ISOAMSR   -->
<!ENTITY pre                 "&#8828;"><!-- u+227C  precedes, equals                           ISOAMSR   -->
<!ENTITY prec                "&#8826;"><!-- u+227A  precedes                                   MMALIAS   pr-->
<!ENTITY precapprox          "&#8830;"><!-- u+227E  precedes, approximate                      MMALIAS   prap-->
<!ENTITY preccurlyeq         "&#8828;"><!-- u+227C  precedes, curly equals                     MMALIAS   prcue-->
<!ENTITY Precedes            "&#8826;"><!-- u+227A  precedes                                   MMALIAS   pr-->
<!ENTITY PrecedesEqual       "&#8828;"><!-- u+227C  precedes, equals                           MMALIAS   pre-->
<!ENTITY PrecedesSlantEqual  "&#8828;"><!-- u+227C  precedes, curly equals                     MMALIAS   prcue-->
<!ENTITY PrecedesTilde       "&#8830;"><!-- u+227E  precedes, similar                          MMALIAS   prsim-->
<!ENTITY preceq              "&#8828;"><!-- u+227C  precedes, equals                           MMALIAS   pre-->
<!ENTITY precsim             "&#8830;"><!-- u+227E  precedes, similar                          MMALIAS   prsim-->
<!ENTITY Proportion          "&#8759;"><!-- u+2237  /Colon, two colons                         MMALIAS   Colon-->
<!ENTITY prsim               "&#8830;"><!-- u+227E  precedes, similar                          ISOAMSR   -->
<!ENTITY prurel              "&#8880;"><!-- u+22B0  element precedes under relation            ISOAMSR   -->
<!ENTITY questeq             "&#8799;"><!-- u+225F  equal with questionmark                    MMALIAS   equest-->
<!ENTITY ratio               "&#8758;"><!-- u+2236  ratio                                      ISOAMSR   -->
<!ENTITY RightTee            "&#8866;"><!-- u+22A2  vertical, dash                             MMALIAS   vdash-->
<!ENTITY RightTriangle       "&#8883;"><!-- u+22B3  right triangle, open, variant              MMALIAS   vrtri-->
<!ENTITY RightTriangleEqual  "&#8885;"><!-- u+22B5  right triangle, equals                     MMALIAS   rtrie-->
<!ENTITY risingdotseq        "&#8787;"><!-- u+2253  equals, rising dots                        MMALIAS   erDot-->
<!ENTITY rtrie               "&#8885;"><!-- u+22B5  right triangle, equals                     ISOAMSR   -->
<!ENTITY rtriltri            "&#58201;"><!-- u+E359  right triangle above left triangle         ISOAMSR   -->
<!ENTITY Sc                  "&#58205;"><!-- u+E35D  double succeeds                            ISOAMSR   -->
<!ENTITY sc                  "&#8827;"><!-- u+227B  succeeds                                   ISOAMSR   -->
<!ENTITY scap                "&#8831;"><!-- u+227F  succeeds, approximate                      ISOAMSR   -->
<!ENTITY sccue               "&#8829;"><!-- u+227D  succeeds, curly equals                     ISOAMSR   -->
<!ENTITY scE                 "&#8830;"><!-- u+227E  succeeds, double equals                    ISOAMSR   -->
<!ENTITY sce                 "&#8829;"><!-- u+227D  succeeds, equals                           ISOAMSR   -->
<!ENTITY scsim               "&#8831;"><!-- u+227F  succeeds, similar                          ISOAMSR   -->
<!ENTITY sdote               "&#58137;"><!-- u+E319  equal, dot below                           ISOAMSR   -->
<!ENTITY sfrown              "&#58406;"><!-- u+E426  small down curve                           ISOAMSR   -->
<!ENTITY shortmid            "&#58113;"><!-- u+E301  shortmid                                   MMALIAS   smid-->
<!ENTITY shortparallel       "&#58114;"><!-- u+E302  short parallel                             MMALIAS   spar-->
<!ENTITY simg                "&#58124;"><!-- u+E30C  similar, greater                           ISOAMSR   -->
<!ENTITY simgE               "&#58168;"><!-- u+E338  similar, greater, equal                    ISOAMSR   -->
<!ENTITY siml                "&#58123;"><!-- u+E30B  similar, less                              ISOAMSR   -->
<!ENTITY simlE               "&#58167;"><!-- u+E337  similar, less, equal                       ISOAMSR   -->
<!ENTITY smallfrown          "&#58406;"><!-- u+E426  small down curve                           MMALIAS   sfrown-->
<!ENTITY smallsmile          "&#58115;"><!-- u+E303  small up curve                             MMALIAS   ssmile-->
<!ENTITY smid                "&#58113;"><!-- u+E301  shortmid                                   ISOAMSR   -->
<!ENTITY smile               "&#8995;"><!-- u+2323  up curve                                   ISOAMSR   -->
<!ENTITY smt                 "&#58169;"><!-- u+E339  smaller than                               ISOAMSR   -->
<!ENTITY smte                "&#58171;"><!-- u+E33B  smaller than or equal                      ISOAMSR   -->
<!ENTITY smtes               "&#58173;"><!-- u+E33D  smaller than or equal, slanted             ISOAMSR   -->
<!ENTITY spar                "&#58114;"><!-- u+E302  short parallel                             ISOAMSR   -->
<!ENTITY sqsub               "&#8847;"><!-- u+228F  square subset                              ISOAMSR   -->
<!ENTITY sqsube              "&#8849;"><!-- u+2291  square subset, equals                      ISOAMSR   -->
<!ENTITY sqsubset            "&#8847;"><!-- u+228F  square subset                              MMALIAS   sqsub-->
<!ENTITY sqsubseteq          "&#8849;"><!-- u+2291  square subset, equals                      MMALIAS   sqsube-->
<!ENTITY sqsup               "&#8848;"><!-- u+2290  square superset                            ISOAMSR   -->
<!ENTITY sqsupe              "&#8850;"><!-- u+2292  square superset, equals                    ISOAMSR   -->
<!ENTITY sqsupset            "&#8848;"><!-- u+2290  square superset                            MMALIAS   sqsup-->
<!ENTITY sqsupseteq          "&#8850;"><!-- u+2292  square superset, equals                    MMALIAS   sqsupe-->
<!ENTITY SquareSubset        "&#8847;"><!-- u+228F  square subset                              MMALIAS   sqsub-->
<!ENTITY SquareSubsetEqual   "&#8849;"><!-- u+2291  square subset, equals                      MMALIAS   sqsube-->
<!ENTITY SquareSuperset      "&#8848;"><!-- u+2290  square superset                            MMALIAS   sqsup-->
<!ENTITY SquareSupersetEqual "&#8850;"><!-- u+2292  square superset, equals                    MMALIAS   sqsupe-->
<!ENTITY ssmile              "&#58115;"><!-- u+E303  small up curve                             ISOAMSR   -->
<!ENTITY Sub                 "&#8912;"><!-- u+22D0  double subset                              ISOAMSR   -->
<!ENTITY subE                "&#8838;"><!-- u+2286  subset, double equals                      ISOAMSR   -->
<!ENTITY subedot             "&#58191;"><!-- u+E34F  subset, equals, dot                        ISOAMSR   -->
<!ENTITY submult             "&#58179;"><!-- u+E343  subset, multiply                           ISOAMSR   -->
<!ENTITY subplus             "&#58177;"><!-- u+E341  subset, plus                               ISOAMSR   -->
<!ENTITY subrarr             "&#58175;"><!-- u+E33F  subset, right arrow                        ISOAMSR   -->
<!--<!ENTITY Subset              "&#8912;">-->
<!-- u+22D0  double subset                              MMALIAS   Sub-->
<!ENTITY subseteqq           "&#8838;"><!-- u+2286  subset, double equals                      MMALIAS   subE-->
<!ENTITY subsim              "&#58181;"><!-- u+E345  subset, similar                            ISOAMSR   -->
<!ENTITY subsub              "&#58185;"><!-- u+E349  subset above subset                        ISOAMSR   -->
<!ENTITY subsup              "&#58183;"><!-- u+E347  subset above superset                      ISOAMSR   -->
<!ENTITY succ                "&#8827;"><!-- u+227B  succeeds                                   MMALIAS   sc-->
<!ENTITY succapprox          "&#8831;"><!-- u+227F  succeeds, approximate                      MMALIAS   scap-->
<!ENTITY succcurlyeq         "&#8829;"><!-- u+227D  succeeds, curly equals                     MMALIAS   sccue-->
<!ENTITY Succeeds            "&#8827;"><!-- u+227B  succeeds                                   MMALIAS   sc-->
<!ENTITY SucceedsEqual       "&#8829;"><!-- u+227D  succeeds, equals                           MMALIAS   sce-->
<!ENTITY SucceedsSlantEqual  "&#8829;"><!-- u+227D  succeeds, curly equals                     MMALIAS   sccue-->
<!ENTITY SucceedsTilde       "&#8831;"><!-- u+227F  succeeds, similar                          MMALIAS   scsim-->
<!ENTITY succeq              "&#8829;"><!-- u+227D  succeeds, equals                           MMALIAS   sce-->
<!ENTITY succsim             "&#8831;"><!-- u+227F  succeeds, similar                          MMALIAS   scsim-->
<!ENTITY Sup                 "&#8913;"><!-- u+22D1  double superset                            ISOAMSR   -->
<!ENTITY supdsub             "&#58188;"><!-- u+E34C  superset, subset, dash joining them        ISOAMSR   -->
<!ENTITY supE                "&#8839;"><!-- u+2287  superset, double equals                    ISOAMSR   -->
<!ENTITY supedot             "&#58192;"><!-- u+E350  superset, equals, dot                      ISOAMSR   -->
<!ENTITY suphsol             "&#58190;"><!-- u+E34E  superset, solidus                          ISOAMSR   -->
<!ENTITY suphsub             "&#58187;"><!-- u+E34B  superset, subset                           ISOAMSR   -->
<!ENTITY suplarr             "&#58176;"><!-- u+E340  superset, left arrow                       ISOAMSR   -->
<!ENTITY supmult             "&#58180;"><!-- u+E344  superset, multiply                         ISOAMSR   -->
<!ENTITY supplus             "&#58178;"><!-- u+E342  superset, plus                             ISOAMSR   -->
<!ENTITY Supset              "&#8913;"><!-- u+22D1  double superset                            MMALIAS   Sup-->
<!ENTITY supseteqq           "&#8839;"><!-- u+2287  superset, double equals                    MMALIAS   supE-->
<!ENTITY supsim              "&#58182;"><!-- u+E346  superset, similar                          ISOAMSR   -->
<!ENTITY supsub              "&#58184;"><!-- u+E348  superset above subset                      ISOAMSR   -->
<!ENTITY supsup              "&#58186;"><!-- u+E34A  superset above superset                    ISOAMSR   -->
<!ENTITY thickapprox         "&#58118;"><!-- u+E306  thick approximate                          MMALIAS   thkap-->
<!ENTITY thicksim            "&#58409;"><!-- u+E429  thick similar                              MMALIAS   thksim-->
<!ENTITY thkap               "&#58118;"><!-- u+E306  thick approximate                          ISOAMSR   -->
<!ENTITY thksim              "&#58409;"><!-- u+E429  thick similar                              ISOAMSR   -->
<!ENTITY topfork             "&#58140;"><!-- u+E31C  fork with top                              ISOAMSR   -->
<!ENTITY trianglelefteq      "&#8884;"><!-- u+22B4  left triangle, equals                      MMALIAS   ltrie-->
<!ENTITY triangleq           "&#8796;"><!-- u+225C  triangle, equals                           MMALIAS   trie-->
<!ENTITY trianglerighteq     "&#8885;"><!-- u+22B5  right triangle, equals                     MMALIAS   rtrie-->
<!ENTITY trie                "&#8796;"><!-- u+225C  triangle, equals                           ISOAMSR   -->
<!ENTITY twixt               "&#8812;"><!-- u+226C  between                                    ISOAMSR   -->
<!ENTITY varpropto           "&#8733;"><!-- u+221D  proportional, variant                      MMALIAS   vprop-->
<!ENTITY vartriangleleft     "&#8882;"><!-- u+22B2  left triangle, open, variant               MMALIAS   vltri-->
<!ENTITY vartriangleright    "&#8883;"><!-- u+22B3  right triangle, open, variant              MMALIAS   vrtri-->
<!ENTITY Vbar                "&#58125;"><!-- u+E30D  double vert, bar (under)                   ISOAMSR   -->
<!ENTITY vBar                "&#58128;"><!-- u+E310  vert, double bar (under)                   ISOAMSR   -->
<!ENTITY vBarv               "&#58130;"><!-- u+E312  double bar, vert over and under            ISOAMSR   -->
<!ENTITY VDash               "&#8875;"><!-- u+22AB  double vert, double dash                   ISOAMSR   -->
<!ENTITY Vdash               "&#8873;"><!-- u+22A9  double vertical, dash                      ISOAMSR   -->
<!ENTITY vDash               "&#8872;"><!-- u+22A8  vertical, double dash                      ISOAMSR   -->
<!ENTITY vdash               "&#8866;"><!-- u+22A2  vertical, dash                             ISOAMSR   -->
<!ENTITY Vdashl              "&#58131;"><!-- u+E313  vertical, dash (long)                      ISOAMSR   -->
<!ENTITY VerticalBar         "&#8739;"><!-- u+2223  mid                                        MMALIAS   mid-->
<!ENTITY vltri               "&#8882;"><!-- u+22B2  left triangle, open, variant               ISOAMSR   -->
<!ENTITY vprop               "&#8733;"><!-- u+221D  proportional, variant                      ISOAMSR   -->
<!ENTITY vrtri               "&#8883;"><!-- u+22B3  right triangle, open, variant              ISOAMSR   -->
<!ENTITY Vvdash              "&#8874;"><!-- u+22AA  triple vertical, dash                      ISOAMSR   -->