summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsae.dtd
blob: b91f9642403f4ec96e8ad4bcf6043d0611466823 (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

<!--
    ISOAMSA Characters alphabetically 
    Added Math Symbols: Arrow Relations Extended by MathML with aliases

    Converted from HTML table at
          http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSAe1.html

    Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->

<!ENTITY angzarr              "&#57928;"><!-- u+E248  angle with down zig-zag arrow              ISOAMSA   -->
<!ENTITY bkarow               "&#58373;"><!-- u+E405  right broken arrow                         MMALIAS   rbarr-->
<!ENTITY circlearrowleft      "&#8634;"><!-- u+21BA  left arr in circle                         MMALIAS   olarr-->
<!ENTITY circlearrowright     "&#8635;"><!-- u+21BB  right arr in circle                        MMALIAS   orarr-->
<!ENTITY cirmid               "&#57936;"><!-- u+E250  circle, mid below                          ISOAMSA   -->
<!ENTITY cudarrl              "&#57918;"><!-- u+E23E  left, curved, down arrow                   ISOAMSA   -->
<!ENTITY cudarrr              "&#58368;"><!-- u+E400  right, curved, down arrow                  ISOAMSA   -->
<!ENTITY cularr               "&#8630;"><!-- u+21B6  left curved arrow                          ISOAMSA   -->
<!ENTITY cularrp              "&#57930;"><!-- u+E24A  curved left arrow with plus                ISOAMSA   -->
<!ENTITY curarr               "&#8631;"><!-- u+21B7  right curved arrow                         ISOAMSA   -->
<!ENTITY curarrm              "&#57929;"><!-- u+E249  curved right arrow with minus              ISOAMSA   -->
<!ENTITY curvearrowleft       "&#8630;"><!-- u+21B6  left curved arrow                          MMALIAS   cularr-->
<!ENTITY curvearrowright      "&#8631;"><!-- u+21B7  right curved arrow                         MMALIAS   curarr-->
<!ENTITY Darr                 "&#8609;"><!-- u+21A1  down two-headed arrow                      ISOAMSA   -->
<!ENTITY dArr                 "&#8659;"><!-- u+21D3  down double arrow                          ISOAMSA   -->
<!ENTITY dbkarow              "&#57863;"><!-- u+E207  right doubly broken arrow                  MMALIAS   rBarr-->
<!ENTITY ddarr                "&#8650;"><!-- u+21CA  two down arrows                            ISOAMSA   -->
<!ENTITY DDotrahd             "&#57912;"><!-- u+E238  right arrow with dotted stem               ISOAMSA   -->
<!ENTITY dfisht               "&#57932;"><!-- u+E24C  down fish tail                             ISOAMSA   -->
<!ENTITY dHar                 "&#57895;"><!-- u+E227  down harpoon-left, down harpoon-right      ISOAMSA   -->
<!ENTITY dharl                "&#8643;"><!-- u+21C3  down harpoon-left                          ISOAMSA   -->
<!ENTITY dharr                "&#8642;"><!-- u+21C2  down harpoon-rt                            ISOAMSA   -->
<!ENTITY DoubleDownArrow      "&#8659;"><!-- u+21D3  down double arrow                          MMALIAS   dArr-->
<!ENTITY DoubleLeftRightArrow  "&#8660;"><!-- u+21D4  left and right double arrow                MMALIAS   hArr-->
<!ENTITY DoubleLongLeftArrow  "&#57856;"><!-- u+E200  long left double arrow                     MMALIAS   xlArr-->
<!ENTITY DoubleLongLeftRightArrow  "&#57858;"><!-- u+E202  long left and right double arr             MMALIAS   xhArr-->
<!ENTITY DoubleLongRightArrow  "&#57860;"><!-- u+E204  long right double arr                      MMALIAS   xrArr-->
<!ENTITY DoubleUpArrow        "&#8657;"><!-- u+21D1  up double arrow                            MMALIAS   uArr-->
<!ENTITY DoubleUpDownArrow    "&#8661;"><!-- u+21D5  up&down double arrow                       MMALIAS   vArr-->
<!ENTITY Downarrow            "&#8659;"><!-- u+21D3  down double arrow                          MMALIAS   dArr-->
<!ENTITY DownArrowUpArrow     "&#57878;"><!-- u+E216  down arrow, up arrow                       MMALIAS   duarr-->
<!ENTITY downdownarrows       "&#8650;"><!-- u+21CA  two down arrows                            MMALIAS   ddarr-->
<!ENTITY downharpoonleft      "&#8643;"><!-- u+21C3  down harpoon-left                          MMALIAS   dharl-->
<!ENTITY downharpoonright     "&#8642;"><!-- u+21C2  down harpoon-rt                            MMALIAS   dharr-->
<!ENTITY DownLeftVector       "&#8637;"><!-- u+21BD  left harpoon-down                          MMALIAS   lhard-->
<!ENTITY DownRightVector      "&#8641;"><!-- u+21C1  right harpoon-down                         MMALIAS   rhard-->
<!ENTITY drbkarow             "&#57865;"><!-- u+E209  twoheaded right broken arrow               MMALIAS   RBarr-->
<!ENTITY duarr                "&#57878;"><!-- u+E216  down arrow, up arrow                       ISOAMSA   -->
<!ENTITY duhar                "&#57879;"><!-- u+E217  down harp, up harp                         ISOAMSA   -->
<!ENTITY dzigrarr             "&#8669;"><!-- u+21DD  right long zig-zag arrow                   ISOAMSA   -->
<!ENTITY Equilibrium          "&#8652;"><!-- u+21CC  right harp over l                          MMALIAS   rlhar-->
<!ENTITY erarr                "&#57910;"><!-- u+E236  equal, right arrow below                   ISOAMSA   -->
<!ENTITY hArr                 "&#8660;"><!-- u+21D4  left and right double arrow                ISOAMSA   -->
<!ENTITY harr                 "&#8596;"><!-- u+2194  left and right arrow                       ISOAMSA   -->
<!ENTITY harrcir              "&#57920;"><!-- u+E240  left and right arrow with a circle         ISOAMSA   -->
<!ENTITY harrw                "&#8621;"><!-- u+21AD  left and right arr-wavy                    ISOAMSA   -->
<!ENTITY hksearow             "&#57867;"><!-- u+E20B  SE arrow-hooked                            MMALIAS   searhk-->
<!ENTITY hkswarow             "&#57866;"><!-- u+E20A  SW arrow-hooked                            MMALIAS   swarhk-->
<!ENTITY hoarr                "&#57923;"><!-- u+E243  horizontal open arrow                      ISOAMSA   -->
<!ENTITY hookleftarrow        "&#8617;"><!-- u+21A9  left arrow-hooked                          MMALIAS   larrhk-->
<!ENTITY hookrightarrow       "&#8618;"><!-- u+21AA  right arrow-hooked                         MMALIAS   rarrhk-->
<!ENTITY imof                 "&#8887;"><!-- u+22B7  image of                                   ISOAMSA   -->
<!ENTITY lAarr                "&#8666;"><!-- u+21DA  left triple arrow                          ISOAMSA   -->
<!ENTITY Larr                 "&#8606;"><!-- u+219E  twoheadleftarrow                           ISOAMSA   -->
<!ENTITY larrbfs              "&#57888;"><!-- u+E220  left arrow-bar, filled square              ISOAMSA   -->
<!ENTITY larrfs               "&#57890;"><!-- u+E222  left arrow, filled square                  ISOAMSA   -->
<!ENTITY larrhk               "&#8617;"><!-- u+21A9  left arrow-hooked                          ISOAMSA   -->
<!ENTITY larrlp               "&#8619;"><!-- u+21AB  left arrow-looped                          ISOAMSA   -->
<!ENTITY larrpl               "&#57919;"><!-- u+E23F  left arrow, plus                           ISOAMSA   -->
<!ENTITY larrsim              "&#57934;"><!-- u+E24E  left arrow, similar                        ISOAMSA   -->
<!ENTITY larrtl               "&#8610;"><!-- u+21A2  left arrow-tailed                          ISOAMSA   -->
<!ENTITY lAtail               "&#57917;"><!-- u+E23D  left double arrow-tail                     ISOAMSA   -->
<!ENTITY latail               "&#57916;"><!-- u+E23C  left arrow-tail                            ISOAMSA   -->
<!ENTITY lBarr                "&#57862;"><!-- u+E206  left doubly broken arrow                   ISOAMSA   -->
<!ENTITY lbarr                "&#58370;"><!-- u+E402  left broken arrow                          ISOAMSA   -->
<!ENTITY ldca                 "&#57882;"><!-- u+E21A  left down curved arrow                     ISOAMSA   -->
<!ENTITY ldrdhar              "&#57900;"><!-- u+E22C  left harpoon-down over right harpoon-down  ISOAMSA   -->
<!ENTITY ldrushar             "&#57896;"><!-- u+E228  left-down-right-up harpoon                 ISOAMSA   -->
<!ENTITY ldsh                 "&#8626;"><!-- u+21B2  left down angled arrow                     ISOAMSA   -->
<!ENTITY LeftArrowRightArrow  "&#8646;"><!-- u+21C6  left arr over right arr                    MMALIAS   lrarr-->
<!ENTITY leftarrowtail        "&#8610;"><!-- u+21A2  left arrow-tailed                          MMALIAS   larrtl-->
<!ENTITY LeftDownVector       "&#8643;"><!-- u+21C3  down harpoon-left                          MMALIAS   dharl-->
<!ENTITY leftharpoondown      "&#8637;"><!-- u+21BD  left harpoon-down                          MMALIAS   lhard-->
<!ENTITY leftharpoonup        "&#8636;"><!-- u+21BC  left harpoon-up                            MMALIAS   lharu-->
<!ENTITY leftleftarrows       "&#8647;"><!-- u+21C7  two left arrows                            MMALIAS   llarr-->
<!ENTITY LeftRightArrow       "&#8596;"><!-- u+2194  left and right arrow                       MMALIAS   harr-->
<!ENTITY Leftrightarrow       "&#8660;"><!-- u+21D4  left and right double arrow                MMALIAS   hArr-->
<!ENTITY leftrightarrow       "&#8596;"><!-- u+2194  left and right arrow                       MMALIAS   harr-->
<!ENTITY leftrightarrows      "&#8646;"><!-- u+21C6  left arr over right arr                    MMALIAS   lrarr-->
<!ENTITY leftrightharpoons    "&#8651;"><!-- u+21CB  left harp over r                           MMALIAS   lrhar-->
<!ENTITY leftrightsquigarrow  "&#8621;"><!-- u+21AD  left and right arr-wavy                    MMALIAS   harrw-->
<!ENTITY LeftUpVector         "&#8639;"><!-- u+21BF  up harpoon-left                            MMALIAS   uharl-->
<!ENTITY LeftVector           "&#8636;"><!-- u+21BC  left harpoon-up                            MMALIAS   lharu-->
<!ENTITY lfisht               "&#57876;"><!-- u+E214  left fish tail                             ISOAMSA   -->
<!ENTITY lHar                 "&#57893;"><!-- u+E225  left harpoon-up over left harpoon-down     ISOAMSA   -->
<!ENTITY lhard                "&#8637;"><!-- u+21BD  left harpoon-down                          ISOAMSA   -->
<!ENTITY lharu                "&#8636;"><!-- u+21BC  left harpoon-up                            ISOAMSA   -->
<!ENTITY lharul               "&#57902;"><!-- u+E22E  left harpoon-up over long dash             ISOAMSA   -->
<!ENTITY llarr                "&#8647;"><!-- u+21C7  two left arrows                            ISOAMSA   -->
<!ENTITY Lleftarrow           "&#8666;"><!-- u+21DA  left triple arrow                          MMALIAS   lAarr-->
<!ENTITY llhard               "&#57905;"><!-- u+E231  left harpoon-down below long dash          ISOAMSA   -->
<!ENTITY loarr                "&#57922;"><!-- u+E242  left open arrow                            ISOAMSA   -->
<!ENTITY LongLeftArrow        "&#57857;"><!-- u+E201  long left arrow                            MMALIAS   xlarr-->
<!ENTITY Longleftarrow        "&#57856;"><!-- u+E200  long left double arrow                     MMALIAS   xlArr-->
<!ENTITY longleftarrow        "&#57857;"><!-- u+E201  long left arrow                            MMALIAS   xlarr-->
<!ENTITY LongLeftRightArrow   "&#57859;"><!-- u+E203  long left and right arr                    MMALIAS   xharr-->
<!ENTITY Longleftrightarrow   "&#57858;"><!-- u+E202  long left and right double arr             MMALIAS   xhArr-->
<!ENTITY longleftrightarrow   "&#57859;"><!-- u+E203  long left and right arr                    MMALIAS   xharr-->
<!ENTITY longmapsto           "&#57864;"><!-- u+E208  longmapsto                                 MMALIAS   xmap-->
<!ENTITY LongRightArrow       "&#57861;"><!-- u+E205  long right arrow                           MMALIAS   xrarr-->
<!ENTITY Longrightarrow       "&#57860;"><!-- u+E204  long right double arr                      MMALIAS   xrArr-->
<!ENTITY longrightarrow       "&#57861;"><!-- u+E205  long right arrow                           MMALIAS   xrarr-->
<!ENTITY looparrowleft        "&#8619;"><!-- u+21AB  left arrow-looped                          MMALIAS   larrlp-->
<!ENTITY looparrowright       "&#8620;"><!-- u+21AC  right arrow-looped                         MMALIAS   rarrlp-->
<!ENTITY LowerLeftArrow       "&#8601;"><!-- u+2199  SW pointing arrow                          MMALIAS   swarr-->
<!ENTITY LowerRightArrow      "&#8600;"><!-- u+2198  SE pointing arrow                          MMALIAS   searr-->
<!ENTITY lrarr                "&#8646;"><!-- u+21C6  left arr over right arr                    ISOAMSA   -->
<!ENTITY lrhar                "&#8651;"><!-- u+21CB  left harp over r                           ISOAMSA   -->
<!ENTITY lrhard               "&#57903;"><!-- u+E22F  right harpoon-down below long dash         ISOAMSA   -->
<!ENTITY Lsh                  "&#8624;"><!-- u+21B0  Lsh                                        MMALIAS   lsh-->
<!ENTITY lsh                  "&#8624;"><!-- u+21B0  Lsh                                        ISOAMSA   -->
<!ENTITY lurdshar             "&#57897;"><!-- u+E229  left-up-right-down harpoon                 ISOAMSA   -->
<!ENTITY luruhar              "&#57899;"><!-- u+E22B  left harpoon-up over right harpoon-up      ISOAMSA   -->
<!ENTITY Map                  "&#57874;"><!-- u+E212  twoheaded mapsto                           ISOAMSA   -->
<!ENTITY map                  "&#8614;"><!-- u+21A6  mapsto                                     ISOAMSA   -->
<!ENTITY mapsto               "&#8614;"><!-- u+21A6  mapsto                                     MMALIAS   map-->
<!ENTITY midcir               "&#57871;"><!-- u+E20F  mid, circle below                          ISOAMSA   -->
<!ENTITY multimap             "&#8888;"><!-- u+22B8  multimap                                   MMALIAS   mumap-->
<!ENTITY mumap                "&#8888;"><!-- u+22B8  multimap                                   ISOAMSA   -->
<!ENTITY nearhk               "&#57869;"><!-- u+E20D  NE arrow-hooked                            ISOAMSA   -->
<!ENTITY neArr                "&#8663;"><!-- u+21D7  NE pointing double arrow                   ISOAMSA   -->
<!ENTITY nearr                "&#8599;"><!-- u+2197  NE pointing arrow                          ISOAMSA   -->
<!ENTITY nearrow              "&#8599;"><!-- u+2197  NE pointing arrow                          MMALIAS   nearr-->
<!ENTITY nesear               "&#57870;"><!-- u+E20E  NE & SE arrows                             ISOAMSA   -->
<!ENTITY nhArr                "&#8654;"><!-- u+21CE  not left and right double arr              ISOAMSA   -->
<!ENTITY nharr                "&#8622;"><!-- u+21AE  not left and right arrow                   ISOAMSA   -->
<!ENTITY nlArr                "&#8653;"><!-- u+21CD  not implied by                             ISOAMSA   -->
<!ENTITY nlarr                "&#8602;"><!-- u+219A  not left arrow                             ISOAMSA   -->
<!ENTITY nLeftarrow           "&#8653;"><!-- u+21CD  not implied by                             MMALIAS   nlArr-->
<!ENTITY nleftarrow           "&#8602;"><!-- u+219A  not left arrow                             MMALIAS   nlarr-->
<!ENTITY nLeftrightarrow      "&#8654;"><!-- u+21CE  not left and right double arr              MMALIAS   nhArr-->
<!ENTITY nleftrightarrow      "&#8622;"><!-- u+21AE  not left and right arrow                   MMALIAS   nharr-->
<!ENTITY nrArr                "&#8655;"><!-- u+21CF  not implies                                ISOAMSA   -->
<!ENTITY nrarr                "&#8603;"><!-- u+219B  not right arrow                            ISOAMSA   -->
<!ENTITY nrarrc               "&#57885;"><!-- u+E21D  not right arrow-curved                     ISOAMSA   -->
<!ENTITY nrarrw               "&#57883;"><!-- u+E21B  not right arrow-wavy                       ISOAMSA   -->
<!ENTITY nRightarrow          "&#8655;"><!-- u+21CF  not implies                                MMALIAS   nrArr-->
<!ENTITY nrightarrow          "&#8603;"><!-- u+219B  not right arrow                            MMALIAS   nrarr-->
<!-- nvhArr* removed * here (DPC) -->
<!ENTITY nvhArr               "&#8654;"><!-- u+21CE  not, vert, left and right double arrow     ISOAMSA   -->
<!ENTITY nvlArr               "&#8653;"><!-- u+21CD  not, vert, left double arrow               ISOAMSA   -->
<!ENTITY nvrArr               "&#8655;"><!-- u+21CF  not, vert, right double arrow              ISOAMSA   -->
<!ENTITY nwarhk               "&#57868;"><!-- u+E20C  NW arrow-hooked                            ISOAMSA   -->
<!ENTITY nwArr                "&#8662;"><!-- u+21D6  NW pointing double arrow                   ISOAMSA   -->
<!ENTITY nwarr                "&#8598;"><!-- u+2196  NW pointing arrow                          ISOAMSA   -->
<!ENTITY nwarrow              "&#8598;"><!-- u+2196  NW pointing arrow                          MMALIAS   nwarr-->
<!ENTITY nwnear               "&#57873;"><!-- u+E211  NW & NE arrows                             ISOAMSA   -->
<!ENTITY olarr                "&#8634;"><!-- u+21BA  left arr in circle                         ISOAMSA   -->
<!ENTITY orarr                "&#8635;"><!-- u+21BB  right arr in circle                        ISOAMSA   -->
<!ENTITY origof               "&#8886;"><!-- u+22B6  original of                                ISOAMSA   -->
<!ENTITY rAarr                "&#8667;"><!-- u+21DB  right triple arrow                         ISOAMSA   -->
<!ENTITY Rarr                 "&#8608;"><!-- u+21A0  twoheadrightarrow                          ISOAMSA   -->
<!ENTITY rarrap               "&#57909;"><!-- u+E235  approximate, right arrow above             ISOAMSA   -->
<!ENTITY rarrbfs              "&#57889;"><!-- u+E221  right arrow-bar, filled square             ISOAMSA   -->
<!ENTITY rarrc                "&#57884;"><!-- u+E21C  right arrow-curved                         ISOAMSA   -->
<!ENTITY rarrfs               "&#57891;"><!-- u+E223  right arrow, filled square                 ISOAMSA   -->
<!ENTITY rarrhk               "&#8618;"><!-- u+21AA  right arrow-hooked                         ISOAMSA   -->
<!ENTITY rarrlp               "&#8620;"><!-- u+21AC  right arrow-looped                         ISOAMSA   -->
<!ENTITY rarrpl               "&#57886;"><!-- u+E21E  right arrow, plus                          ISOAMSA   -->
<!ENTITY rarrsim              "&#57933;"><!-- u+E24D  right arrow, similar                       ISOAMSA   -->
<!ENTITY Rarrtl               "&#57913;"><!-- u+E239  right two-headed arrow with tail           ISOAMSA   -->
<!ENTITY rarrtl               "&#8611;"><!-- u+21A3  right arrow-tailed                         ISOAMSA   -->
<!ENTITY rarrw                "&#8605;"><!-- u+219D  right arrow-wavy                           ISOAMSA   -->
<!ENTITY rAtail               "&#57915;"><!-- u+E23B  right double arrow-tail                    ISOAMSA   -->
<!ENTITY ratail               "&#8611;"><!-- u+21A3  right arrow-tail                           ISOAMSA   -->
<!ENTITY RBarr                "&#57865;"><!-- u+E209  twoheaded right broken arrow               ISOAMSA   -->
<!ENTITY rBarr                "&#57863;"><!-- u+E207  right doubly broken arrow                  ISOAMSA   -->
<!ENTITY rbarr                "&#58373;"><!-- u+E405  right broken arrow                         ISOAMSA   -->
<!ENTITY rdca                 "&#57881;"><!-- u+E219  right down curved arrow                    ISOAMSA   -->
<!ENTITY rdldhar              "&#57901;"><!-- u+E22D  right harpoon-down over left harpoon-down  ISOAMSA   -->
<!ENTITY rdsh                 "&#8627;"><!-- u+21B3  right down angled arrow                    ISOAMSA   -->
<!ENTITY ReverseEquilibrium   "&#8651;"><!-- u+21CB  left harp over r                           MMALIAS   lrhar-->
<!ENTITY ReverseUpEquilibrium  "&#57879;"><!-- u+E217  down harp, up harp                         MMALIAS   duhar-->
<!ENTITY rfisht               "&#57877;"><!-- u+E215  right fish tail                            ISOAMSA   -->
<!ENTITY rHar                 "&#57892;"><!-- u+E224  right harpoon-up over right harpoon-down   ISOAMSA   -->
<!ENTITY rhard                "&#8641;"><!-- u+21C1  right harpoon-down                         ISOAMSA   -->
<!ENTITY rharu                "&#8640;"><!-- u+21C0  right harpoon-up                           ISOAMSA   -->
<!ENTITY rharul               "&#57904;"><!-- u+E230  right harpoon-up over long dash            ISOAMSA   -->
<!ENTITY RightArrowLeftArrow  "&#8644;"><!-- u+21C4  right arr over left arr                    MMALIAS   rlarr-->
<!ENTITY rightarrowtail       "&#8611;"><!-- u+21A3  right arrow-tailed                         MMALIAS   rarrtl-->
<!ENTITY RightDownVector      "&#8642;"><!-- u+21C2  down harpoon-rt                            MMALIAS   dharr-->
<!ENTITY rightharpoondown     "&#8641;"><!-- u+21C1  right harpoon-down                         MMALIAS   rhard-->
<!ENTITY rightharpoonup       "&#8640;"><!-- u+21C0  right harpoon-up                           MMALIAS   rharu-->
<!ENTITY rightleftarrows      "&#8644;"><!-- u+21C4  right arr over left arr                    MMALIAS   rlarr-->
<!ENTITY rightleftharpoons    "&#8652;"><!-- u+21CC  right harp over l                          MMALIAS   rlhar-->
<!ENTITY rightrightarrows     "&#8649;"><!-- u+21C9  two right arrows                           MMALIAS   rrarr-->
<!ENTITY rightsquigarrow      "&#8605;"><!-- u+219D  right arrow-wavy                           MMALIAS   rarrw-->
<!ENTITY RightTeeArrow        "&#8614;"><!-- u+21A6  mapsto                                     MMALIAS   map-->
<!ENTITY RightUpVector        "&#8638;"><!-- u+21BE  up harp-r                                  MMALIAS   uharr-->
<!ENTITY RightVector          "&#8640;"><!-- u+21C0  right harpoon-up                           MMALIAS   rharu-->
<!ENTITY rlarr                "&#8644;"><!-- u+21C4  right arr over left arr                    ISOAMSA   -->
<!ENTITY rlhar                "&#8652;"><!-- u+21CC  right harp over l                          ISOAMSA   -->
<!ENTITY roarr                "&#57921;"><!-- u+E241  right open arrow                           ISOAMSA   -->
<!ENTITY rrarr                "&#8649;"><!-- u+21C9  two right arrows                           ISOAMSA   -->
<!ENTITY Rrightarrow          "&#8667;"><!-- u+21DB  right triple arrow                         MMALIAS   rAarr-->
<!ENTITY Rsh                  "&#8625;"><!-- u+21B1  Rsh                                        MMALIAS   rsh-->
<!ENTITY rsh                  "&#8625;"><!-- u+21B1  Rsh                                        ISOAMSA   -->
<!ENTITY ruluhar              "&#57898;"><!-- u+E22A  right harpoon-up over left harpoon-up      ISOAMSA   -->
<!ENTITY searhk               "&#57867;"><!-- u+E20B  SE arrow-hooked                            ISOAMSA   -->
<!ENTITY seArr                "&#8664;"><!-- u+21D8  SE pointing double arrow                   ISOAMSA   -->
<!ENTITY searr                "&#8600;"><!-- u+2198  SE pointing arrow                          ISOAMSA   -->
<!ENTITY searrow              "&#8600;"><!-- u+2198  SE pointing arrow                          MMALIAS   searr-->
<!ENTITY seswar               "&#58374;"><!-- u+E406  SE & SW arrows                             ISOAMSA   -->
<!ENTITY ShortLeftArrow       "&#57907;"><!-- u+E233  short left arrow                           MMALIAS   slarr-->
<!ENTITY ShortRightArrow      "&#57906;"><!-- u+E232  short right arrow                          MMALIAS   srarr-->
<!ENTITY simrarr              "&#57908;"><!-- u+E234  similar, right arrow below                 ISOAMSA   -->
<!ENTITY slarr                "&#57907;"><!-- u+E233  short left arrow                           ISOAMSA   -->
<!ENTITY srarr                "&#57906;"><!-- u+E232  short right arrow                          ISOAMSA   -->
<!ENTITY swarhk               "&#57866;"><!-- u+E20A  SW arrow-hooked                            ISOAMSA   -->
<!ENTITY swArr                "&#8665;"><!-- u+21D9  SW pointing double arrow                   ISOAMSA   -->
<!ENTITY swarr                "&#8601;"><!-- u+2199  SW pointing arrow                          ISOAMSA   -->
<!ENTITY swarrow              "&#8601;"><!-- u+2199  SW pointing arrow                          MMALIAS   swarr-->
<!ENTITY swnwar               "&#57872;"><!-- u+E210  SW & NW arrows                             ISOAMSA   -->
<!ENTITY toea                 "&#57870;"><!-- u+E20E  NE & SE arrows                             MMALIAS   nesear-->
<!ENTITY tosa                 "&#58374;"><!-- u+E406  SE & SW arrows                             MMALIAS   seswar-->
<!ENTITY twoheadleftarrow     "&#8606;"><!-- u+219E  twoheadleftarrow                           MMALIAS   Larr-->
<!ENTITY twoheadrightarrow    "&#8608;"><!-- u+21A0  twoheadrightarrow                          MMALIAS   Rarr-->
<!ENTITY Uarr                 "&#8607;"><!-- u+219F  up two-headed arrow                        ISOAMSA   -->
<!ENTITY uArr                 "&#8657;"><!-- u+21D1  up double arrow                            ISOAMSA   -->
<!ENTITY Uarrocir             "&#57911;"><!-- u+E237  up two-headed arrow above circle           ISOAMSA   -->
<!ENTITY udarr                "&#8645;"><!-- u+21C5  up arrow, down arrow                       ISOAMSA   -->
<!ENTITY udhar                "&#57880;"><!-- u+E218  up harp, down harp                         ISOAMSA   -->
<!ENTITY ufisht               "&#57931;"><!-- u+E24B  up fish tail                               ISOAMSA   -->
<!ENTITY uHar                 "&#57894;"><!-- u+E226  up harpoon-left, up harpoon-right          ISOAMSA   -->
<!ENTITY uharl                "&#8639;"><!-- u+21BF  up harpoon-left                            ISOAMSA   -->
<!ENTITY uharr                "&#8638;"><!-- u+21BE  up harp-r                                  ISOAMSA   -->
<!ENTITY Uparrow              "&#8657;"><!-- u+21D1  up double arrow                            MMALIAS   uArr-->
<!ENTITY UpArrowDownArrow     "&#8645;"><!-- u+21C5  up arrow, down arrow                       MMALIAS   udarr-->
<!ENTITY UpDownArrow          "&#8597;"><!-- u+2195  up&down arrow                              MMALIAS   varr-->
<!ENTITY Updownarrow          "&#8661;"><!-- u+21D5  up&down double arrow                       MMALIAS   vArr-->
<!ENTITY updownarrow          "&#8597;"><!-- u+2195  up&down arrow                              MMALIAS   varr-->
<!ENTITY UpEquilibrium        "&#57880;"><!-- u+E218  up harp, down harp                         MMALIAS   udhar-->
<!ENTITY upharpoonleft        "&#8639;"><!-- u+21BF  up harpoon-left                            MMALIAS   uharl-->
<!ENTITY upharpoonright       "&#8638;"><!-- u+21BE  up harp-r                                  MMALIAS   uharr-->
<!ENTITY UpperLeftArrow       "&#8598;"><!-- u+2196  NW pointing arrow                          MMALIAS   nwarr-->
<!ENTITY UpperRightArrow      "&#8599;"><!-- u+2197  NE pointing arrow                          MMALIAS   nearr-->
<!ENTITY upuparrows           "&#8648;"><!-- u+21C8  two up arrows                              MMALIAS   uuarr-->
<!ENTITY uuarr                "&#8648;"><!-- u+21C8  two up arrows                              ISOAMSA   -->
<!ENTITY vArr                 "&#8661;"><!-- u+21D5  up&down double arrow                       ISOAMSA   -->
<!ENTITY varr                 "&#8597;"><!-- u+2195  up&down arrow                              ISOAMSA   -->
<!ENTITY xhArr                "&#57858;"><!-- u+E202  long left and right double arr             ISOAMSA   -->
<!ENTITY xharr                "&#57859;"><!-- u+E203  long left and right arr                    ISOAMSA   -->
<!ENTITY xlArr                "&#57856;"><!-- u+E200  long left double arrow                     ISOAMSA   -->
<!ENTITY xlarr                "&#57857;"><!-- u+E201  long left arrow                            ISOAMSA   -->
<!ENTITY xmap                 "&#57864;"><!-- u+E208  longmapsto                                 ISOAMSA   -->
<!ENTITY xrArr                "&#57860;"><!-- u+E204  long right double arr                      ISOAMSA   -->
<!ENTITY xrarr                "&#57861;"><!-- u+E205  long right arrow                           ISOAMSA   -->
<!ENTITY zigrarr              "&#57924;"><!-- u+E244  right zig-zag arrow                        ISOAMSA   -->