]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/mmlalias.ent
...
[helm.git] / helm / dtd / mmlalias.ent
1
2 <!--
3      File mmlalias.ent produced by the XSL script mmldtd.xsl
4      from input data in unicode.xml.
5
6      Please report any errors to 
7      David Carlisle <davidc@nag.co.uk>.
8
9      The numeric character values assigned to each entity
10      (should) match either official Unicode assignments
11      or assignments provisionally allocated by the
12      Unicode Consortium based on the characters in the `STIX'
13      propsal for mathematics. Note that these assignments
14      have not been ratified by the corresponding ISO
15      committee and thus should be considered liable to
16      change.
17
18 -->
19
20 <!ENTITY angle            "&#x02220;" ><!--alias ISOAMSO ang -->
21 <!ENTITY approx           "&#x02248;" ><!--alias ISOTECH ap -->
22 <!ENTITY approxeq         "&#x0224A;" ><!--alias ISOAMSR ape -->
23 <!ENTITY backcong         "&#x0224C;" ><!--alias ISOAMSR bcong -->
24 <!ENTITY backepsilon      "&#x0213C;" ><!--alias ISOAMSR bepsi -->
25 <!ENTITY backprime        "&#x02035;" ><!--alias ISOAMSO bprime -->
26 <!ENTITY backsim          "&#x0223D;" ><!--alias ISOAMSR bsim -->
27 <!ENTITY backsimeq        "&#x022CD;" ><!--alias ISOAMSR bsime -->
28 <!ENTITY Backslash        "&#x02216;" ><!--alias ISOAMSB setmn -->
29 <!ENTITY barwedge         "&#x022BC;" ><!--alias ISOAMSB barwed -->
30 <!ENTITY because          "&#x02235;" ><!--alias ISOTECH becaus -->
31 <!ENTITY Because          "&#x02235;" ><!--alias ISOTECH becaus -->
32 <!ENTITY Bernoullis       "&#x0212C;" ><!--alias ISOTECH bernou -->
33 <!ENTITY between          "&#x0226C;" ><!--alias ISOAMSR twixt -->
34 <!ENTITY bigcap           "&#x022C2;" ><!--alias ISOAMSB xcap -->
35 <!ENTITY bigcirc          "&#x025EF;" ><!--alias ISOAMSB xcirc -->
36 <!ENTITY bigcup           "&#x022C3;" ><!--alias ISOAMSB xcup -->
37 <!ENTITY bigodot          "&#x02299;" ><!--alias ISOAMSB xodot -->
38 <!ENTITY bigoplus         "&#x02295;" ><!--alias ISOAMSB xoplus -->
39 <!ENTITY bigotimes        "&#x02297;" ><!--alias ISOAMSB xotime -->
40 <!ENTITY bigsqcup         "&#x02294;" ><!--alias ISOAMSB xsqcup -->
41 <!ENTITY bigstar          "&#x02605;" ><!--ISOPUB    starf  -->
42 <!ENTITY bigtriangledown  "&#x025BD;" ><!--alias ISOAMSB xdtri -->
43 <!ENTITY bigtriangleup    "&#x025B3;" ><!--alias ISOAMSB xutri -->
44 <!ENTITY biguplus         "&#x0228E;" ><!--alias ISOAMSB xuplus -->
45 <!ENTITY bigvee           "&#x022C1;" ><!--alias ISOAMSB xvee -->
46 <!ENTITY bigwedge         "&#x022C0;" ><!--alias ISOAMSB xwedge -->
47 <!ENTITY bkarow           "&#x0290D;" ><!--alias ISOAMSA rbarr -->
48 <!ENTITY blacklozenge     "&#x029EB;" ><!--alias ISOPUB lozf -->
49 <!ENTITY blacksquare      "&#x025AA;" ><!--ISOTECH  squarf  -->
50 <!ENTITY blacktriangle    "&#x025B4;" ><!--alias ISOPUB utrif -->
51 <!ENTITY blacktriangledown "&#x025BE;" ><!--alias ISOPUB dtrif -->
52 <!ENTITY blacktriangleleft "&#x025C2;" ><!--alias ISOPUB ltrif -->
53 <!ENTITY blacktriangleright "&#x025B8;" ><!--alias ISOPUB rtrif -->
54 <!ENTITY bot              "&#x022A5;" ><!--alias ISOTECH bottom -->
55 <!ENTITY boxminus         "&#x0229F;" ><!--alias ISOAMSB minusb -->
56 <!ENTITY boxplus          "&#x0229E;" ><!--alias ISOAMSB plusb -->
57 <!ENTITY boxtimes         "&#x022A0;" ><!--alias ISOAMSB timesb -->
58 <!ENTITY Breve            "&#x002D8;" ><!--alias ISODIA breve -->
59 <!ENTITY bullet           "&#x02022;" ><!--alias ISOPUB bull -->
60 <!ENTITY bumpeq           "&#x0224F;" ><!--alias ISOAMSR bumpe -->
61 <!ENTITY Bumpeq           "&#x0224E;" ><!--alias ISOAMSR bump -->
62 <!ENTITY Cedilla          "&#x000B8;" ><!--alias ISODIA cedil -->
63 <!ENTITY centerdot        "&#x000B7;" ><!--alias ISONUM middot -->
64 <!ENTITY CenterDot        "&#x000B7;" ><!--alias ISONUM middot -->
65 <!ENTITY checkmark        "&#x02713;" ><!--alias ISOPUB check -->
66 <!ENTITY circeq           "&#x02257;" ><!--alias ISOAMSR cire -->
67 <!ENTITY circlearrowleft  "&#x021BA;" ><!--alias ISOAMSA olarr -->
68 <!ENTITY circlearrowright "&#x021BB;" ><!--alias ISOAMSA orarr -->
69 <!ENTITY circledast       "&#x0229B;" ><!--alias ISOAMSB oast -->
70 <!ENTITY circledcirc      "&#x0229A;" ><!--alias ISOAMSB ocir -->
71 <!ENTITY circleddash      "&#x0229D;" ><!--alias ISOAMSB odash -->
72 <!ENTITY CircleDot        "&#x02299;" ><!--alias ISOAMSB odot -->
73 <!ENTITY circledR         "&#x000AE;" ><!--alias ISONUM reg -->
74 <!ENTITY circledS         "&#x024C8;" ><!--alias ISOAMSO oS -->
75 <!ENTITY CircleMinus      "&#x02296;" ><!--alias ISOAMSB ominus -->
76 <!ENTITY CirclePlus       "&#x02295;" ><!--alias ISOAMSB oplus -->
77 <!ENTITY CircleTimes      "&#x02297;" ><!--alias ISOAMSB otimes -->
78 <!ENTITY ClockwiseContourIntegral "&#x02232;" ><!--alias ISOTECH cwconint -->
79 <!ENTITY CloseCurlyDoubleQuote "&#x0201D;" ><!--alias ISONUM rdquo -->
80 <!ENTITY CloseCurlyQuote  "&#x02019;" ><!--alias ISONUM rsquo -->
81 <!ENTITY clubsuit         "&#x02663;" ><!--ISOPUB    clubs  -->
82 <!ENTITY coloneq          "&#x02254;" ><!--alias ISOAMSR colone -->
83 <!ENTITY complement       "&#x02201;" ><!--alias ISOAMSO comp -->
84 <!ENTITY Congruent        "&#x02261;" ><!--alias ISOTECH equiv -->
85 <!ENTITY ContourIntegral  "&#x0222E;" ><!--alias ISOTECH conint -->
86 <!ENTITY Coproduct        "&#x02210;" ><!--alias ISOAMSB coprod -->
87 <!ENTITY CounterClockwiseContourIntegral "&#x02233;" ><!--alias ISOTECH awconint -->
88 <!ENTITY CupCap           "&#x0224D;" ><!--alias ISOAMSR asymp -->
89 <!ENTITY curlyeqprec      "&#x022DE;" ><!--alias ISOAMSR cuepr -->
90 <!ENTITY curlyeqsucc      "&#x022DF;" ><!--alias ISOAMSR cuesc -->
91 <!ENTITY curlyvee         "&#x022CE;" ><!--alias ISOAMSB cuvee -->
92 <!ENTITY curlywedge       "&#x022CF;" ><!--alias ISOAMSB cuwed -->
93 <!ENTITY curvearrowleft   "&#x021B6;" ><!--alias ISOAMSA cularr -->
94 <!ENTITY curvearrowright  "&#x021B7;" ><!--alias ISOAMSA curarr -->
95 <!ENTITY dbkarow          "&#x0290F;" ><!--alias ISOAMSA rBarr -->
96 <!ENTITY ddagger          "&#x02021;" ><!--alias ISOPUB Dagger -->
97 <!ENTITY ddotseq          "&#x02A77;" ><!--alias ISOAMSR eDDot -->
98 <!ENTITY Del              "&#x02207;" ><!--alias ISOTECH nabla -->
99 <!ENTITY DiacriticalAcute "&#x000B4;" ><!--alias ISODIA acute -->
100 <!ENTITY DiacriticalDot   "&#x002D9;" ><!--alias ISODIA dot -->
101 <!ENTITY DiacriticalDoubleAcute "&#x002DD;" ><!--alias ISODIA dblac -->
102 <!ENTITY DiacriticalGrave "&#x00060;" ><!--alias ISODIA grave -->
103 <!ENTITY DiacriticalTilde "&#x002DC;" ><!--alias ISODIA tilde -->
104 <!ENTITY diamond          "&#x022C4;" ><!--alias ISOAMSB diam -->
105 <!ENTITY Diamond          "&#x022C4;" ><!--alias ISOAMSB diam -->
106 <!ENTITY diamondsuit      "&#x02666;" ><!--ISOPUB    diams  -->
107 <!ENTITY digamma          "&#x003DC;" ><!--alias ISOGRK3 gammad -->
108 <!ENTITY div              "&#x000F7;" ><!--alias ISONUM divide -->
109 <!ENTITY divideontimes    "&#x022C7;" ><!--alias ISOAMSB divonx -->
110 <!ENTITY doteq            "&#x02250;" ><!--alias ISOAMSR esdot -->
111 <!ENTITY doteqdot         "&#x02251;" ><!--alias ISOAMSR eDot -->
112 <!ENTITY DotEqual         "&#x02250;" ><!--alias ISOAMSR esdot -->
113 <!ENTITY dotminus         "&#x02238;" ><!--alias ISOAMSB minusd -->
114 <!ENTITY dotplus          "&#x02214;" ><!--alias ISOAMSB plusdo -->
115 <!ENTITY dotsquare        "&#x022A1;" ><!--alias ISOAMSB sdotb -->
116 <!ENTITY doublebarwedge   "&#x02306;" ><!--alias ISOAMSB Barwed -->
117 <!ENTITY DoubleContourIntegral "&#x0222F;" ><!--alias ISOTECH Conint -->
118 <!ENTITY DoubleDot        "&#x000A8;" ><!--alias ISODIA die -->
119 <!ENTITY DoubleDownArrow  "&#x021D3;" ><!--alias ISOAMSA dArr -->
120 <!ENTITY DoubleLeftArrow  "&#x021D0;" ><!--alias ISOTECH lArr -->
121 <!ENTITY DoubleLeftRightArrow "&#x021D4;" ><!--alias ISOAMSA hArr -->
122 <!ENTITY DoubleLeftTee    "&#x02AE4;" ><!--alias for  &Dashv;  -->
123 <!ENTITY DoubleLongLeftArrow "&#x021D0;" ><!--alias ISOAMSA xlArr -->
124 <!ENTITY DoubleLongLeftRightArrow "&#x021D4;" ><!--alias ISOAMSA xhArr -->
125 <!ENTITY DoubleLongRightArrow "&#x021D2;" ><!--alias ISOAMSA xrArr -->
126 <!ENTITY DoubleRightArrow "&#x021D2;" ><!--alias ISOTECH rArr -->
127 <!ENTITY DoubleRightTee   "&#x022A8;" ><!--alias ISOAMSR vDash -->
128 <!ENTITY DoubleUpArrow    "&#x021D1;" ><!--alias ISOAMSA uArr -->
129 <!ENTITY DoubleUpDownArrow "&#x021D5;" ><!--alias ISOAMSA vArr -->
130 <!ENTITY DoubleVerticalBar "&#x02225;" ><!--alias ISOTECH par -->
131 <!ENTITY downarrow        "&#x02193;" ><!--alias ISONUM darr -->
132 <!ENTITY Downarrow        "&#x021D3;" ><!--alias ISOAMSA dArr -->
133 <!ENTITY DownArrow        "&#x02193;" ><!--alias ISONUM darr -->
134 <!ENTITY DownArrowUpArrow "&#x021F5;" ><!--alias ISOAMSA duarr -->
135 <!ENTITY downdownarrows   "&#x021CA;" ><!--alias ISOAMSA ddarr -->
136 <!ENTITY downharpoonleft  "&#x021C3;" ><!--alias ISOAMSA dharl -->
137 <!ENTITY downharpoonright "&#x021C2;" ><!--alias ISOAMSA dharr -->
138 <!ENTITY DownLeftVector   "&#x021BD;" ><!--alias ISOAMSA lhard -->
139 <!ENTITY DownRightVector  "&#x021C1;" ><!--alias ISOAMSA rhard -->
140 <!ENTITY DownTee          "&#x022A4;" ><!--alias ISOTECH top -->
141 <!ENTITY drbkarow         "&#x02910;" ><!--alias ISOAMSA RBarr -->
142 <!ENTITY Element          "&#x02208;" ><!--alias ISOTECH isinv -->
143 <!ENTITY emptyset         "&#x02205;&#x02063;" ><!--alias ISOAMSO empty -->
144 <!ENTITY eqcirc           "&#x02256;" ><!--alias ISOAMSR ecir -->
145 <!ENTITY eqcolon          "&#x02255;" ><!--alias ISOAMSR ecolon -->
146 <!ENTITY eqsim            "&#x02242;" ><!--alias ISOAMSR esim -->
147 <!ENTITY eqslantgtr       "&#x022DD;" ><!--alias ISOAMSR egs -->
148 <!ENTITY eqslantless      "&#x022DC;" ><!--alias ISOAMSR els -->
149 <!ENTITY EqualTilde       "&#x02242;" ><!--alias ISOAMSR esim -->
150 <!ENTITY Equilibrium      "&#x021CC;" ><!--alias ISOAMSA rlhar -->
151 <!ENTITY Exists           "&#x02203;" ><!--alias ISOTECH exist -->
152 <!ENTITY fallingdotseq    "&#x02252;" ><!--alias ISOAMSR efDot -->
153 <!ENTITY ForAll           "&#x02200;" ><!--alias ISOTECH forall -->
154 <!ENTITY geq              "&#x02265;" ><!--alias ISOTECH ge -->
155 <!ENTITY geqq             "&#x02267;" ><!--alias ISOAMSR gE -->
156 <!ENTITY geqslant         "&#x02A7E;" ><!--alias ISOAMSR ges -->
157 <!ENTITY gg               "&#x0226B;" ><!--alias ISOAMSR Gt -->
158 <!ENTITY ggg              "&#x022D9;" ><!--alias ISOAMSR Gg -->
159 <!ENTITY gnapprox         "&#x02A8A;" ><!--alias ISOAMSN gnap -->
160 <!ENTITY gneq             "&#x02269;" ><!--alias ISOAMSN gne -->
161 <!ENTITY gneqq            "&#x02269;" ><!--alias ISOAMSN gnE -->
162 <!ENTITY GreaterEqual     "&#x02265;" ><!--alias ISOTECH ge -->
163 <!ENTITY GreaterEqualLess "&#x022DB;" ><!--alias ISOAMSR gel -->
164 <!ENTITY GreaterFullEqual "&#x02267;" ><!--alias ISOAMSR gE -->
165 <!ENTITY GreaterLess      "&#x02277;" ><!--alias ISOAMSR gl -->
166 <!ENTITY GreaterSlantEqual "&#x02A7E;" ><!--alias ISOAMSR ges -->
167 <!ENTITY GreaterTilde     "&#x02273;" ><!--alias ISOAMSR gsim -->
168 <!ENTITY gtrapprox        "&#x02273;" ><!--alias ISOAMSR gap -->
169 <!ENTITY gtrdot           "&#x022D7;" ><!--alias ISOAMSR gtdot -->
170 <!ENTITY gtreqless        "&#x022DB;" ><!--alias ISOAMSR gel -->
171 <!ENTITY gtreqqless       "&#x022DB;" ><!--alias ISOAMSR gEl -->
172 <!ENTITY gtrless          "&#x02277;" ><!--alias ISOAMSR gl -->
173 <!ENTITY gtrsim           "&#x02273;" ><!--alias ISOAMSR gsim -->
174 <!ENTITY gvertneqq        "&#x02269;&#x00338;" ><!--alias ISOAMSN gvnE -->
175 <!ENTITY Hacek            "&#x002C7;" ><!--alias ISODIA caron -->
176 <!ENTITY Hat              "&#x00302;" ><!--circumflex accent (circ in ISODIA) -->
177 <!ENTITY hbar             "&#x0210F;" ><!--alias ISOAMSO plank -->
178 <!ENTITY heartsuit        "&#x02661;" ><!--ISOPUB    hearts  -->
179 <!ENTITY hksearow         "&#x02925;" ><!--alias ISOAMSA searhk -->
180 <!ENTITY hkswarow         "&#x02926;" ><!--alias ISOAMSA swarhk -->
181 <!ENTITY hookleftarrow    "&#x021A9;" ><!--alias ISOAMSA larrhk -->
182 <!ENTITY hookrightarrow   "&#x021AA;" ><!--alias ISOAMSA rarrhk -->
183 <!ENTITY hslash           "&#x0210F;" ><!--alias ISOAMSO plankv -->
184 <!ENTITY HumpDownHump     "&#x0224E;" ><!--alias ISOAMSR bump -->
185 <!ENTITY HumpEqual        "&#x0224F;" ><!--alias ISOAMSR bumpe -->
186 <!ENTITY iiiint           "&#x02A0C;" ><!--alias ISOTECH qint -->
187 <!ENTITY iiint            "&#x0222D;" ><!--alias ISOTECH tint -->
188 <!ENTITY Im               "&#x02111;" ><!--alias ISOAMSO image -->
189 <!ENTITY imagpart         "&#x02111;" ><!--alias ISOAMSO image -->
190 <!ENTITY Implies          "&#x021D2;" ><!--alias ISOTECH rArr -->
191 <!ENTITY in               "&#x02208;" ><!--ISOTECH   isin  -->
192 <!ENTITY Integral         "&#x0222B;" ><!--alias ISOTECH int -->
193 <!ENTITY intercal         "&#x022BA;" ><!--alias ISOAMSB intcal -->
194 <!ENTITY Intersection     "&#x022C2;" ><!--alias ISOAMSB xcap -->
195 <!ENTITY intprod          "&#x02A3C;" ><!--alias ISOAMSB iprod -->
196 <!ENTITY langle           "&#x03008;" ><!--alias ISOTECH lang -->
197 <!ENTITY lbrace           "&#x0007B;" ><!--alias ISONUM lcub -->
198 <!ENTITY lbrack           "&#x0005B;" ><!--alias ISONUM lsqb -->
199 <!ENTITY LeftAngleBracket "&#x03008;" ><!--alias ISOTECH lang -->
200 <!ENTITY leftarrow        "&#x02190;" ><!--alias ISONUM larr -->
201 <!ENTITY Leftarrow        "&#x021D0;" ><!--alias ISOTECH lArr -->
202 <!ENTITY LeftArrow        "&#x02190;" ><!--alias ISONUM larr -->
203 <!ENTITY LeftArrowRightArrow "&#x021C6;" ><!--alias ISOAMSA lrarr -->
204 <!ENTITY leftarrowtail    "&#x021A2;" ><!--alias ISOAMSA larrtl -->
205 <!ENTITY LeftCeiling      "&#x02308;" ><!--alias ISOAMSC lceil -->
206 <!ENTITY LeftDoubleBracket "&#x0301A;" ><!--left double bracket delimiter -->
207 <!ENTITY LeftDownVector   "&#x021C3;" ><!--alias ISOAMSA dharl -->
208 <!ENTITY LeftFloor        "&#x0230A;" ><!--alias ISOAMSC lfloor -->
209 <!ENTITY leftharpoondown  "&#x021BD;" ><!--alias ISOAMSA lhard -->
210 <!ENTITY leftharpoonup    "&#x021BC;" ><!--alias ISOAMSA lharu -->
211 <!ENTITY leftleftarrows   "&#x021C7;" ><!--alias ISOAMSA llarr -->
212 <!ENTITY leftrightarrow   "&#x02194;" ><!--alias ISOAMSA harr -->
213 <!ENTITY Leftrightarrow   "&#x021D4;" ><!--alias ISOAMSA hArr -->
214 <!ENTITY LeftRightArrow   "&#x02194;" ><!--alias ISOAMSA harr -->
215 <!ENTITY leftrightarrows  "&#x021C6;" ><!--alias ISOAMSA lrarr -->
216 <!ENTITY leftrightharpoons "&#x021CB;" ><!--alias ISOAMSA lrhar -->
217 <!ENTITY leftrightsquigarrow "&#x021AD;" ><!--alias ISOAMSA harrw -->
218 <!ENTITY LeftTee          "&#x022A3;" ><!--alias ISOAMSR dashv -->
219 <!ENTITY leftthreetimes   "&#x022CB;" ><!--alias ISOAMSB lthree -->
220 <!ENTITY LeftTriangle     "&#x022B2;" ><!--alias ISOAMSR vltri -->
221 <!ENTITY LeftTriangleEqual "&#x022B4;" ><!--alias ISOAMSR ltrie -->
222 <!ENTITY LeftUpVector     "&#x021BF;" ><!--alias ISOAMSA uharl -->
223 <!ENTITY LeftVector       "&#x021BC;" ><!--alias ISOAMSA lharu -->
224 <!ENTITY leq              "&#x02264;" ><!--alias ISOTECH le -->
225 <!ENTITY leqq             "&#x02266;" ><!--alias ISOAMSR lE -->
226 <!ENTITY leqslant         "&#x02A7D;" ><!--alias ISOAMSR les -->
227 <!ENTITY lessapprox       "&#x02272;" ><!--alias ISOAMSR lap -->
228 <!ENTITY lessdot          "&#x022D6;" ><!--alias ISOAMSR ltdot -->
229 <!ENTITY lesseqgtr        "&#x022DA;" ><!--alias ISOAMSR leg -->
230 <!ENTITY lesseqqgtr       "&#x022DA;" ><!--alias ISOAMSR lEg -->
231 <!ENTITY LessEqualGreater "&#x022DA;" ><!--alias ISOAMSR leg -->
232 <!ENTITY LessFullEqual    "&#x02266;" ><!--alias ISOAMSR lE -->
233 <!ENTITY LessGreater      "&#x02276;" ><!--alias ISOAMSR lg -->
234 <!ENTITY lessgtr          "&#x02276;" ><!--alias ISOAMSR lg -->
235 <!ENTITY lesssim          "&#x02272;" ><!--alias ISOAMSR lsim -->
236 <!ENTITY LessSlantEqual   "&#x02A7D;" ><!--alias ISOAMSR les -->
237 <!ENTITY LessTilde        "&#x02272;" ><!--alias ISOAMSR lsim -->
238 <!ENTITY ll               "&#x0226A;" ><!--alias ISOAMSR Lt -->
239 <!ENTITY llcorner         "&#x0231E;" ><!--alias ISOAMSC dlcorn -->
240 <!ENTITY Lleftarrow       "&#x021DA;" ><!--alias ISOAMSA lAarr -->
241 <!ENTITY lmoustache       "&#x02998;" ><!--alias ISOAMSC lmoust -->
242 <!ENTITY lnapprox         "&#x02A89;" ><!--alias ISOAMSN lnap -->
243 <!ENTITY lneq             "&#x02268;" ><!--alias ISOAMSN lne -->
244 <!ENTITY lneqq            "&#x02268;" ><!--alias ISOAMSN lnE -->
245 <!ENTITY longleftarrow    "&#x02190;" ><!--alias ISOAMSA xlarr -->
246 <!ENTITY Longleftarrow    "&#x021D0;" ><!--alias ISOAMSA xlArr -->
247 <!ENTITY LongLeftArrow    "&#x02190;" ><!--alias ISOAMSA xlarr -->
248 <!ENTITY longleftrightarrow "&#x02194;" ><!--alias ISOAMSA xharr -->
249 <!ENTITY Longleftrightarrow "&#x021D4;" ><!--alias ISOAMSA xhArr -->
250 <!ENTITY LongLeftRightArrow "&#x02194;" ><!--alias ISOAMSA xharr -->
251 <!ENTITY longmapsto       "&#x021A6;" ><!--alias ISOAMSA xmap -->
252 <!ENTITY longrightarrow   "&#x02192;" ><!--alias ISOAMSA xrarr -->
253 <!ENTITY Longrightarrow   "&#x021D2;" ><!--alias ISOAMSA xrArr -->
254 <!ENTITY LongRightArrow   "&#x02192;" ><!--alias ISOAMSA xrarr -->
255 <!ENTITY looparrowleft    "&#x021AB;" ><!--alias ISOAMSA larrlp -->
256 <!ENTITY looparrowright   "&#x021AC;" ><!--alias ISOAMSA rarrlp -->
257 <!ENTITY LowerLeftArrow   "&#x02199;" ><!--alias ISOAMSA swarr -->
258 <!ENTITY LowerRightArrow  "&#x02198;" ><!--alias ISOAMSA searr -->
259 <!ENTITY lozenge          "&#x025CA;" ><!--alias ISOPUB loz -->
260 <!ENTITY lrcorner         "&#x0231F;" ><!--alias ISOAMSC drcorn -->
261 <!ENTITY Lsh              "&#x021B0;" ><!--alias ISOAMSA lsh -->
262 <!ENTITY lvertneqq        "&#x02268;&#x00338;" ><!--alias ISOAMSN lvnE -->
263 <!ENTITY maltese          "&#x02720;" ><!--alias ISOPUB malt -->
264 <!ENTITY mapsto           "&#x021A6;" ><!--alias ISOAMSA map -->
265 <!ENTITY measuredangle    "&#x02221;" ><!--alias ISOAMSO angmsd -->
266 <!ENTITY MinusPlus        "&#x02213;" ><!--alias ISOTECH mnplus -->
267 <!ENTITY mp               "&#x02213;" ><!--alias ISOTECH mnplus -->
268 <!ENTITY multimap         "&#x022B8;" ><!--alias ISOAMSA mumap -->
269 <!ENTITY napprox          "&#x02249;" ><!--alias ISOAMSN nap -->
270 <!ENTITY natural          "&#x0266E;" ><!--alias ISOPUB natur -->
271 <!ENTITY nearrow          "&#x02197;" ><!--alias ISOAMSA nearr -->
272 <!ENTITY NestedGreaterGreater "&#x0226B;" ><!--alias ISOAMSR Gt -->
273 <!ENTITY NestedLessLess   "&#x0226A;" ><!--alias ISOAMSR Lt -->
274 <!ENTITY nexists          "&#x02204;" ><!--alias ISOAMSO nexist -->
275 <!ENTITY ngeq             "&#x02271;&#x020E5;" ><!--alias ISOAMSN nge -->
276 <!ENTITY ngeqq            "&#x02271;" ><!--alias ISOAMSN ngE -->
277 <!ENTITY ngeqslant        "&#x02271;" ><!--alias ISOAMSN nges -->
278 <!ENTITY ngtr             "&#x0226F;" ><!--alias ISOAMSN ngt -->
279 <!ENTITY nleftarrow       "&#x0219A;" ><!--alias ISOAMSA nlarr -->
280 <!ENTITY nLeftarrow       "&#x021CD;" ><!--alias ISOAMSA nlArr -->
281 <!ENTITY nleftrightarrow  "&#x021AE;" ><!--alias ISOAMSA nharr -->
282 <!ENTITY nLeftrightarrow  "&#x021CE;" ><!--alias ISOAMSA nhArr -->
283 <!ENTITY nleq             "&#x02270;&#x020E5;" ><!--alias ISOAMSN nle -->
284 <!ENTITY nleqq            "&#x02270;" ><!--alias ISOAMSN nlE -->
285 <!ENTITY nleqslant        "&#x02270;" ><!--alias ISOAMSN nles -->
286 <!ENTITY nless            "&#x0226E;" ><!--alias ISOAMSN nlt -->
287 <!ENTITY NotCongruent     "&#x02262;" ><!--alias ISOAMSN nequiv -->
288 <!ENTITY NotDoubleVerticalBar "&#x02226;" ><!--alias ISOAMSN npar -->
289 <!ENTITY NotElement       "&#x02209;" ><!--alias ISOTECH notin -->
290 <!ENTITY NotEqual         "&#x02260;" ><!--alias ISOTECH ne -->
291 <!ENTITY NotExists        "&#x02204;" ><!--alias ISOAMSO nexist -->
292 <!ENTITY NotGreater       "&#x0226F;" ><!--alias ISOAMSN ngt -->
293 <!ENTITY NotGreaterEqual  "&#x02271;&#x020E5;" ><!--alias ISOAMSN nge -->
294 <!ENTITY NotGreaterFullEqual "&#x02270;" ><!--alias ISOAMSN nlE -->
295 <!ENTITY NotGreaterGreater "&#x0226B;&#x00338;&#x02063;" ><!--alias ISOAMSN nGtv -->
296 <!ENTITY NotGreaterLess   "&#x02279;" ><!--alias ISOAMSN ntvgl -->
297 <!ENTITY NotGreaterSlantEqual "&#x02271;" ><!--alias ISOAMSN nges -->
298 <!ENTITY NotGreaterTilde  "&#x02275;" ><!--alias ISOAMSN ngsim -->
299 <!ENTITY NotLeftTriangle  "&#x022EA;" ><!--alias ISOAMSN nltri -->
300 <!ENTITY NotLeftTriangleEqual "&#x022EC;" ><!--alias ISOAMSN nltrie -->
301 <!ENTITY NotLess          "&#x0226E;" ><!--alias ISOAMSN nlt -->
302 <!ENTITY NotLessEqual     "&#x02270;&#x020E5;" ><!--alias ISOAMSN nle -->
303 <!ENTITY NotLessGreater   "&#x02278;" ><!--alias ISOAMSN ntvlg -->
304 <!ENTITY NotLessLess      "&#x0226A;&#x00338;&#x02063;" ><!--alias ISOAMSN nLtv -->
305 <!ENTITY NotLessSlantEqual "&#x02270;" ><!--alias ISOAMSN nles -->
306 <!ENTITY NotLessTilde     "&#x02274;" ><!--alias ISOAMSN nlsim -->
307 <!ENTITY NotPrecedes      "&#x02280;" ><!--alias ISOAMSN npr -->
308 <!ENTITY NotPrecedesEqual "&#x02AAF;&#x00338;" ><!--alias ISOAMSN npre -->
309 <!ENTITY NotPrecedesSlantEqual "&#x022E0;" ><!--alias ISOAMSN nprcue -->
310 <!ENTITY NotReverseElement "&#x0220C;" ><!--alias ISOTECH notniva -->
311 <!ENTITY NotRightTriangle "&#x022EB;" ><!--alias ISOAMSN nrtri -->
312 <!ENTITY NotRightTriangleEqual "&#x022ED;" ><!--alias ISOAMSN nrtrie -->
313 <!ENTITY NotSquareSubsetEqual "&#x022E2;" ><!--alias ISOAMSN nsqsube -->
314 <!ENTITY NotSquareSupersetEqual "&#x022E3;" ><!--alias ISOAMSN nsqsupe -->
315 <!ENTITY NotSubset        "&#x02284;" ><!--alias ISOAMSN vnsub -->
316 <!ENTITY NotSubsetEqual   "&#x02288;" ><!--alias ISOAMSN nsube -->
317 <!ENTITY NotSucceeds      "&#x02281;" ><!--alias ISOAMSN nsc -->
318 <!ENTITY NotSucceedsEqual "&#x02AB0;&#x00338;" ><!--alias ISOAMSN nsce -->
319 <!ENTITY NotSucceedsSlantEqual "&#x022E1;" ><!--alias ISOAMSN nsccue -->
320 <!ENTITY NotSuperset      "&#x02285;" ><!--alias ISOAMSN vnsup -->
321 <!ENTITY NotSupersetEqual "&#x02289;" ><!--alias ISOAMSN nsupe -->
322 <!ENTITY NotTilde         "&#x02241;" ><!--alias ISOAMSN nsim -->
323 <!ENTITY NotTildeEqual    "&#x02244;" ><!--alias ISOAMSN nsime -->
324 <!ENTITY NotTildeFullEqual "&#x02247;" ><!--alias ISOAMSN ncong -->
325 <!ENTITY NotTildeTilde    "&#x02249;" ><!--alias ISOAMSN nap -->
326 <!ENTITY NotVerticalBar   "&#x02224;" ><!--alias ISOAMSN nmid -->
327 <!ENTITY nparallel        "&#x02226;" ><!--alias ISOAMSN npar -->
328 <!ENTITY nprec            "&#x02280;" ><!--alias ISOAMSN npr -->
329 <!ENTITY npreceq          "&#x02AAF;&#x00338;" ><!--alias ISOAMSN npre -->
330 <!ENTITY nrightarrow      "&#x0219B;" ><!--alias ISOAMSA nrarr -->
331 <!ENTITY nRightarrow      "&#x021CF;" ><!--alias ISOAMSA nrArr -->
332 <!ENTITY nshortmid        "&#x02224;&#x02063;" ><!--alias ISOAMSN nsmid -->
333 <!ENTITY nshortparallel   "&#x02226;&#x02063;" ><!--alias ISOAMSN nspar -->
334 <!ENTITY nsimeq           "&#x02244;" ><!--alias ISOAMSN nsime -->
335 <!ENTITY nsubset          "&#x02284;" ><!--alias ISOAMSN vnsub -->
336 <!ENTITY nsubseteq        "&#x02288;" ><!--alias ISOAMSN nsube -->
337 <!ENTITY nsubseteqq       "&#x02288;" ><!--alias ISOAMSN nsubE -->
338 <!ENTITY nsucc            "&#x02281;" ><!--alias ISOAMSN nsc -->
339 <!ENTITY nsucceq          "&#x02AB0;&#x00338;" ><!--alias ISOAMSN nsce -->
340 <!ENTITY nsupset          "&#x02285;" ><!--alias ISOAMSN vnsup -->
341 <!ENTITY nsupseteq        "&#x02289;" ><!--alias ISOAMSN nsupe -->
342 <!ENTITY nsupseteqq       "&#x02289;" ><!--alias ISOAMSN nsupE -->
343 <!ENTITY ntriangleleft    "&#x022EA;" ><!--alias ISOAMSN nltri -->
344 <!ENTITY ntrianglelefteq  "&#x022EC;" ><!--alias ISOAMSN nltrie -->
345 <!ENTITY ntriangleright   "&#x022EB;" ><!--alias ISOAMSN nrtri -->
346 <!ENTITY ntrianglerighteq "&#x022ED;" ><!--alias ISOAMSN nrtrie -->
347 <!ENTITY nwarrow          "&#x02196;" ><!--alias ISOAMSA nwarr -->
348 <!ENTITY oint             "&#x0222E;" ><!--alias ISOTECH conint -->
349 <!ENTITY OpenCurlyDoubleQuote "&#x0201C;" ><!--alias ISONUM ldquo -->
350 <!ENTITY OpenCurlyQuote   "&#x02018;" ><!--alias ISONUM lsquo -->
351 <!ENTITY orderof          "&#x02134;" ><!--alias ISOTECH order -->
352 <!ENTITY parallel         "&#x02225;" ><!--alias ISOTECH par -->
353 <!ENTITY PartialD         "&#x02202;" ><!--alias ISOTECH part -->
354 <!ENTITY pitchfork        "&#x022D4;" ><!--alias ISOAMSR fork -->
355 <!ENTITY PlusMinus        "&#x000B1;" ><!--alias ISONUM plusmn -->
356 <!ENTITY pm               "&#x000B1;" ><!--alias ISONUM plusmn -->
357 <!ENTITY prec             "&#x0227A;" ><!--alias ISOAMSR pr -->
358 <!ENTITY precapprox       "&#x0227E;" ><!--alias ISOAMSR prap -->
359 <!ENTITY preccurlyeq      "&#x0227C;" ><!--alias ISOAMSR prcue -->
360 <!ENTITY Precedes         "&#x0227A;" ><!--alias ISOAMSR pr -->
361 <!ENTITY PrecedesEqual    "&#x02AAF;" ><!--alias ISOAMSR pre -->
362 <!ENTITY PrecedesSlantEqual "&#x0227C;" ><!--alias ISOAMSR prcue -->
363 <!ENTITY PrecedesTilde    "&#x0227E;" ><!--alias ISOAMSR prsim -->
364 <!ENTITY preceq           "&#x02AAF;" ><!--alias ISOAMSR pre -->
365 <!ENTITY precnapprox      "&#x022E8;" ><!--alias ISOAMSN prnap -->
366 <!ENTITY precneqq         "&#x02AB5;" ><!--alias ISOAMSN prnE -->
367 <!ENTITY precnsim         "&#x022E8;" ><!--alias ISOAMSN prnsim -->
368 <!ENTITY precsim          "&#x0227E;" ><!--alias ISOAMSR prsim -->
369 <!ENTITY Proportion       "&#x02237;" ><!--alias ISOAMSR Colon -->
370 <!ENTITY Proportional     "&#x0221D;" ><!--alias ISOTECH prop -->
371 <!ENTITY propto           "&#x0221D;" ><!--alias ISOTECH prop -->
372 <!ENTITY questeq          "&#x0225F;" ><!--alias ISOAMSR equest -->
373 <!ENTITY rangle           "&#x03009;" ><!--alias ISOTECH rang -->
374 <!ENTITY rbrace           "&#x0007D;" ><!--alias ISONUM rcub -->
375 <!ENTITY rbrack           "&#x0005D;" ><!--alias ISONUM rsqb -->
376 <!ENTITY Re               "&#x0211C;" ><!--alias ISOAMSO real -->
377 <!ENTITY realpart         "&#x0211C;" ><!--alias ISOAMSO real -->
378 <!ENTITY ReverseElement   "&#x0220B;" ><!--alias ISOTECH niv -->
379 <!ENTITY ReverseEquilibrium "&#x021CB;" ><!--alias ISOAMSA lrhar -->
380 <!ENTITY ReverseUpEquilibrium "&#x0296F;" ><!--alias ISOAMSA duhar -->
381 <!ENTITY RightAngleBracket "&#x03009;" ><!--alias ISOTECH rang -->
382 <!ENTITY rightarrow       "&#x02192;" ><!--alias ISONUM rarr -->
383 <!ENTITY Rightarrow       "&#x021D2;" ><!--alias ISOTECH rArr -->
384 <!ENTITY RightArrow       "&#x02192;" ><!--alias ISONUM rarr -->
385 <!ENTITY RightArrowLeftArrow "&#x021C4;" ><!--alias ISOAMSA rlarr -->
386 <!ENTITY rightarrowtail   "&#x021A3;" ><!--alias ISOAMSA rarrtl -->
387 <!ENTITY RightCeiling     "&#x02309;" ><!--alias ISOAMSC rceil -->
388 <!ENTITY RightDoubleBracket "&#x0301B;" ><!--right double bracket delimiter -->
389 <!ENTITY RightDownVector  "&#x021C2;" ><!--alias ISOAMSA dharr -->
390 <!ENTITY RightFloor       "&#x0230B;" ><!--alias ISOAMSC rfloor -->
391 <!ENTITY rightharpoondown "&#x021C1;" ><!--alias ISOAMSA rhard -->
392 <!ENTITY rightharpoonup   "&#x021C0;" ><!--alias ISOAMSA rharu -->
393 <!ENTITY rightleftarrows  "&#x021C4;" ><!--alias ISOAMSA rlarr -->
394 <!ENTITY rightleftharpoons "&#x021CC;" ><!--alias ISOAMSA rlhar -->
395 <!ENTITY rightrightarrows "&#x021C9;" ><!--alias ISOAMSA rrarr -->
396 <!ENTITY rightsquigarrow  "&#x021DD;" ><!--alias ISOAMSA rarrw -->
397 <!ENTITY RightTee         "&#x022A2;" ><!--alias ISOAMSR vdash -->
398 <!ENTITY RightTeeArrow    "&#x021A6;" ><!--alias ISOAMSA map -->
399 <!ENTITY rightthreetimes  "&#x022CC;" ><!--alias ISOAMSB rthree -->
400 <!ENTITY RightTriangle    "&#x022B3;" ><!--alias ISOAMSR vrtri -->
401 <!ENTITY RightTriangleEqual "&#x022B5;" ><!--alias ISOAMSR rtrie -->
402 <!ENTITY RightUpVector    "&#x021BE;" ><!--alias ISOAMSA uharr -->
403 <!ENTITY RightVector      "&#x021C0;" ><!--alias ISOAMSA rharu -->
404 <!ENTITY risingdotseq     "&#x02253;" ><!--alias ISOAMSR erDot -->
405 <!ENTITY rmoustache       "&#x02997;" ><!--alias ISOAMSC rmoust -->
406 <!ENTITY Rrightarrow      "&#x021DB;" ><!--alias ISOAMSA rAarr -->
407 <!ENTITY Rsh              "&#x021B1;" ><!--alias ISOAMSA rsh -->
408 <!ENTITY searrow          "&#x02198;" ><!--alias ISOAMSA searr -->
409 <!ENTITY setminus         "&#x02216;" ><!--alias ISOAMSB setmn -->
410 <!ENTITY ShortLeftArrow   "&#x02190;&#x02063;" ><!--alias ISOAMSA slarr -->
411 <!ENTITY shortmid         "&#x02223;&#x02063;" ><!--alias ISOAMSR smid -->
412 <!ENTITY shortparallel    "&#x02225;&#x02063;" ><!--alias ISOAMSR spar -->
413 <!ENTITY ShortRightArrow  "&#x02192;&#x02063;" ><!--alias ISOAMSA srarr -->
414 <!ENTITY simeq            "&#x02243;" ><!--alias ISOTECH sime -->
415 <!ENTITY SmallCircle      "&#x02218;" ><!--alias ISOTECH compfn -->
416 <!ENTITY smallsetminus    "&#x02216;" ><!--alias ISOAMSB ssetmn -->
417 <!ENTITY spadesuit        "&#x02660;" ><!--ISOPUB    spades  -->
418 <!ENTITY Sqrt             "&#x0221A;" ><!--alias ISOTECH radic -->
419 <!ENTITY sqsubset         "&#x0228F;" ><!--alias ISOAMSR sqsub -->
420 <!ENTITY sqsubseteq       "&#x02291;" ><!--alias ISOAMSR sqsube -->
421 <!ENTITY sqsupset         "&#x02290;" ><!--alias ISOAMSR sqsup -->
422 <!ENTITY sqsupseteq       "&#x02292;" ><!--alias ISOAMSR sqsupe -->
423 <!ENTITY Square           "&#x025A1;" ><!--alias for square -->
424 <!ENTITY SquareIntersection "&#x02293;" ><!--alias ISOAMSB sqcap -->
425 <!ENTITY SquareSubset     "&#x0228F;" ><!--alias ISOAMSR sqsub -->
426 <!ENTITY SquareSubsetEqual "&#x02291;" ><!--alias ISOAMSR sqsube -->
427 <!ENTITY SquareSuperset   "&#x02290;" ><!--alias ISOAMSR sqsup -->
428 <!ENTITY SquareSupersetEqual "&#x02292;" ><!--alias ISOAMSR sqsupe -->
429 <!ENTITY SquareUnion      "&#x02294;" ><!--alias ISOAMSB sqcup -->
430 <!ENTITY Star             "&#x022C6;" ><!--alias ISOAMSB sstarf -->
431 <!ENTITY straightepsilon  "&#x003B5;" ><!--alias ISOGRK3 epsi -->
432 <!ENTITY straightphi      "&#x003C6;" ><!--alias ISOGRK3 phi -->
433 <!ENTITY subset           "&#x02282;" ><!--alias ISOTECH sub -->
434 <!ENTITY Subset           "&#x022D0;" ><!--alias ISOAMSR Sub -->
435 <!ENTITY subseteq         "&#x02286;" ><!--alias ISOTECH sube -->
436 <!ENTITY subseteqq        "&#x02286;" ><!--alias ISOAMSR subE -->
437 <!ENTITY SubsetEqual      "&#x02286;" ><!--alias ISOTECH sube -->
438 <!ENTITY subsetneq        "&#x0228A;" ><!--alias ISOAMSN subne -->
439 <!ENTITY subsetneqq       "&#x0228A;" ><!--alias ISOAMSN subnE -->
440 <!ENTITY succ             "&#x0227B;" ><!--alias ISOAMSR sc -->
441 <!ENTITY succapprox       "&#x0227F;" ><!--alias ISOAMSR scap -->
442 <!ENTITY succcurlyeq      "&#x0227D;" ><!--alias ISOAMSR sccue -->
443 <!ENTITY Succeeds         "&#x0227B;" ><!--alias ISOAMSR sc -->
444 <!ENTITY SucceedsEqual    "&#x0227D;" ><!--alias ISOAMSR sce -->
445 <!ENTITY SucceedsSlantEqual "&#x0227D;" ><!--alias ISOAMSR sccue -->
446 <!ENTITY SucceedsTilde    "&#x0227F;" ><!--alias ISOAMSR scsim -->
447 <!ENTITY succeq           "&#x0227D;" ><!--alias ISOAMSR sce -->
448 <!ENTITY succnapprox      "&#x022E9;" ><!--alias ISOAMSN scnap -->
449 <!ENTITY succneqq         "&#x02AB6;" ><!--alias ISOAMSN scnE -->
450 <!ENTITY succnsim         "&#x022E9;" ><!--alias ISOAMSN scnsim -->
451 <!ENTITY succsim          "&#x0227F;" ><!--alias ISOAMSR scsim -->
452 <!ENTITY SuchThat         "&#x0220B;" ><!--ISOTECH  ni -->
453 <!ENTITY Sum              "&#x02211;" ><!--alias ISOAMSB sum -->
454 <!ENTITY Superset         "&#x02283;" ><!--alias ISOTECH sup -->
455 <!ENTITY SupersetEqual    "&#x02287;" ><!--alias ISOTECH supe -->
456 <!ENTITY supset           "&#x02283;" ><!--alias ISOTECH sup -->
457 <!ENTITY Supset           "&#x022D1;" ><!--alias ISOAMSR Sup -->
458 <!ENTITY supseteq         "&#x02287;" ><!--alias ISOTECH supe -->
459 <!ENTITY supseteqq        "&#x02287;" ><!--alias ISOAMSR supE -->
460 <!ENTITY supsetneq        "&#x0228B;" ><!--alias ISOAMSN supne -->
461 <!ENTITY supsetneqq       "&#x0228B;" ><!--alias ISOAMSN supnE -->
462 <!ENTITY swarrow          "&#x02199;" ><!--alias ISOAMSA swarr -->
463 <!ENTITY therefore        "&#x02234;" ><!--alias ISOTECH there4 -->
464 <!ENTITY Therefore        "&#x02234;" ><!--alias ISOTECH there4 -->
465 <!ENTITY thickapprox      "&#x02248;&#x02063;" ><!--ISOAMSR   thkap  -->
466 <!ENTITY thicksim         "&#x0223C;" ><!--ISOAMSR   thksim -->
467 <!ENTITY ThinSpace        "&#x02009;" ><!--space of width 3/18 em alias ISOPUB thinsp -->
468 <!ENTITY Tilde            "&#x0223C;" ><!--alias ISOTECH sim -->
469 <!ENTITY TildeEqual       "&#x02243;" ><!--alias ISOTECH sime -->
470 <!ENTITY TildeFullEqual   "&#x02245;" ><!--alias ISOTECH cong -->
471 <!ENTITY TildeTilde       "&#x02248;" ><!--alias ISOTECH ap -->
472 <!ENTITY toea             "&#x02928;" ><!--alias ISOAMSA nesear -->
473 <!ENTITY tosa             "&#x02929;" ><!--alias ISOAMSA seswar -->
474 <!ENTITY triangle         "&#x025B5;" ><!--alias ISOPUB utri -->
475 <!ENTITY triangledown     "&#x025BF;" ><!--alias ISOPUB dtri -->
476 <!ENTITY triangleleft     "&#x025C3;" ><!--alias ISOPUB ltri -->
477 <!ENTITY trianglelefteq   "&#x022B4;" ><!--alias ISOAMSR ltrie -->
478 <!ENTITY triangleq        "&#x0225C;" ><!--alias ISOAMSR trie -->
479 <!ENTITY triangleright    "&#x025B9;" ><!--alias ISOPUB rtri -->
480 <!ENTITY trianglerighteq  "&#x022B5;" ><!--alias ISOAMSR rtrie -->
481 <!ENTITY TripleDot        "&#x020DB;" ><!--alias ISOTECH tdot -->
482 <!ENTITY twoheadleftarrow "&#x0219E;" ><!--alias ISOAMSA Larr -->
483 <!ENTITY twoheadrightarrow "&#x021A0;" ><!--alias ISOAMSA Rarr -->
484 <!ENTITY ulcorner         "&#x0231C;" ><!--alias ISOAMSC ulcorn -->
485 <!ENTITY Union            "&#x022C3;" ><!--alias ISOAMSB xcup -->
486 <!ENTITY UnionPlus        "&#x0228E;" ><!--alias ISOAMSB uplus -->
487 <!ENTITY uparrow          "&#x02191;" ><!--alias ISONUM uarr -->
488 <!ENTITY Uparrow          "&#x021D1;" ><!--alias ISOAMSA uArr -->
489 <!ENTITY UpArrow          "&#x02191;" ><!--alias ISONUM uarr -->
490 <!ENTITY UpArrowDownArrow "&#x021C5;" ><!--alias ISOAMSA udarr -->
491 <!ENTITY updownarrow      "&#x02195;" ><!--alias ISOAMSA varr -->
492 <!ENTITY Updownarrow      "&#x021D5;" ><!--alias ISOAMSA vArr -->
493 <!ENTITY UpDownArrow      "&#x02195;" ><!--alias ISOAMSA varr -->
494 <!ENTITY UpEquilibrium    "&#x0296E;" ><!--alias ISOAMSA udhar -->
495 <!ENTITY upharpoonleft    "&#x021BF;" ><!--alias ISOAMSA uharl -->
496 <!ENTITY upharpoonright   "&#x021BE;" ><!--alias ISOAMSA uharr -->
497 <!ENTITY UpperLeftArrow   "&#x02196;" ><!--alias ISOAMSA nwarr -->
498 <!ENTITY UpperRightArrow  "&#x02197;" ><!--alias ISOAMSA nearr -->
499 <!ENTITY upsilon          "&#x003C5;" ><!--alias ISOGRK3 upsi -->
500 <!ENTITY Upsilon          "&#x003D2;" ><!--alias ISOGRK3 Upsi -->
501 <!ENTITY UpTee            "&#x022A5;" ><!--alias ISOTECH perp -->
502 <!ENTITY upuparrows       "&#x021C8;" ><!--alias ISOAMSA uuarr -->
503 <!ENTITY urcorner         "&#x0231D;" ><!--alias ISOAMSC urcorn -->
504 <!ENTITY varepsilon       "&#x0025B;" ><!--alias ISOGRK3 epsiv -->
505 <!ENTITY varkappa         "&#x003F0;" ><!--alias ISOGRK3 kappav -->
506 <!ENTITY varnothing       "&#x02205;" ><!--alias ISOAMSO emptyv -->
507 <!ENTITY varphi           "&#x003D5;" ><!--alias ISOGRK3 phiv -->
508 <!ENTITY varpi            "&#x003D6;" ><!--alias ISOGRK3 piv -->
509 <!ENTITY varpropto        "&#x0221D;" ><!--alias ISOAMSR vprop -->
510 <!ENTITY varrho           "&#x003F1;" ><!--alias ISOGRK3 rhov -->
511 <!ENTITY varsigma         "&#x003C2;" ><!--alias ISOGRK3 sigmav -->
512 <!ENTITY varsubsetneq     "&#x0228A;&#x02063;" ><!--alias ISOAMSN vsubne -->
513 <!ENTITY varsubsetneqq    "&#x0228A;&#x02063;" ><!--alias ISOAMSN vsubnE -->
514 <!ENTITY varsupsetneq     "&#x0228B;&#x02063;" ><!--alias ISOAMSN vsupne -->
515 <!ENTITY varsupsetneqq    "&#x0228B;&#x02063;" ><!--alias ISOAMSN vsupnE -->
516 <!ENTITY vartheta         "&#x003D1;" ><!--alias ISOGRK3 thetav -->
517 <!ENTITY vartriangleleft  "&#x022B2;" ><!--alias ISOAMSR vltri -->
518 <!ENTITY vartriangleright "&#x022B3;" ><!--alias ISOAMSR vrtri -->
519 <!ENTITY vee              "&#x02228;" ><!--alias ISOTECH or -->
520 <!ENTITY Vee              "&#x022C1;" ><!--alias ISOAMSB xvee -->
521 <!ENTITY vert             "&#x0007C;" ><!--alias ISONUM verbar -->
522 <!ENTITY Vert             "&#x02016;" ><!--alias ISOTECH Verbar -->
523 <!ENTITY VerticalBar      "&#x02223;" ><!--alias ISOAMSR mid -->
524 <!ENTITY VerticalTilde    "&#x02240;" ><!--alias ISOAMSB wreath -->
525 <!ENTITY VeryThinSpace    "&#x0200A;" ><!--space of width 1/18 em alias ISOPUB hairsp -->
526 <!ENTITY wedge            "&#x02227;" ><!--alias ISOTECH and -->
527 <!ENTITY Wedge            "&#x022C0;" ><!--alias ISOAMSB xwedge -->
528 <!ENTITY wp               "&#x02118;" ><!--alias ISOAMSO weierp -->
529 <!ENTITY wr               "&#x02240;" ><!--alias ISOAMSB wreath -->