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

<!--
    ISOAMSB Characters alphabetically 
    Added Math Symbols: Binary Operators Extended by MathML with aliases

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

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

<!ENTITY ac                  "&#57863;"><!-- u+E207  most positive                              ISOAMSB   -->
<!ENTITY acE                 "&#58000;"><!-- u+E290  most positive, two lines below             ISOAMSB   -->
<!ENTITY amalg               "&#57937;"><!-- u+E251  amalgamation or coproduct                  ISOAMSB   -->
<!ENTITY ast                 "&#0042;"><!-- u+002A  centered asterisk                          MMALIAS   midast-->
<!ENTITY Backslash           "&#8726;"><!-- u+2216  reverse solidus                            MMALIAS   setmn-->
<!ENTITY barvee              "&#8893;"><!-- u+22BD  bar, vee                                   ISOAMSB   -->
<!ENTITY Barwed              "&#8966;"><!-- u+2306  logical and, double bar above              ISOAMSB   -->
<!ENTITY barwed              "&#8892;"><!-- u+22BC  logical and, bar above                     ISOAMSB   -->
<!ENTITY barwedge            "&#8892;"><!-- u+22BC  logical and, bar above                     MMALIAS   barwed-->
<!ENTITY bigcap              "&#8898;"><!-- u+22C2  intersection operator                      MMALIAS   xcap-->
<!ENTITY bigcirc             "&#9943;"><!-- u+25EF  large circle                               MMALIAS   xcirc-->
<!ENTITY bigcup              "&#8899;"><!-- u+22C3  union operator                             MMALIAS   xcup-->
<!ENTITY bigodot             "&#8857;"><!-- u+2299  circle dot operator                        MMALIAS   xodot-->
<!ENTITY bigoplus            "&#8853;"><!-- u+2295  circle plus operator                       MMALIAS   xoplus-->
<!ENTITY bigotimes           "&#8855;"><!-- u+2297  circle times operator                      MMALIAS   xotime-->
<!ENTITY bigsqcup            "&#8852;"><!-- u+2294  square union operator                      MMALIAS   xsqcup-->
<!ENTITY bigtriangledown     "&#9661;"><!-- u+25BD  big down triangle, open                    MMALIAS   xdtri-->
<!ENTITY bigtriangleup       "&#9651;"><!-- u+25B3  big up triangle, open                      MMALIAS   xutri-->
<!ENTITY biguplus            "&#8846;"><!-- u+228E  biguplus                                   MMALIAS   xuplus-->
<!ENTITY bigvee              "&#8897;"><!-- u+22C1  logical and operator                       MMALIAS   xvee-->
<!ENTITY bigwedge            "&#8896;"><!-- u+22C0  logical or operator                        MMALIAS   xwedge-->
<!ENTITY boxminus            "&#8863;"><!-- u+229F  minus sign in box                          MMALIAS   minusb-->
<!ENTITY boxplus             "&#8862;"><!-- u+229E  plus sign in box                           MMALIAS   plusb-->
<!ENTITY boxtimes            "&#8864;"><!-- u+22A0  multiply sign in box                       MMALIAS   timesb-->
<!ENTITY bsolb               "&#57984;"><!-- u+E280  reverse solidus in square                  ISOAMSB   -->
<!ENTITY Cap                 "&#8914;"><!-- u+22D2  double intersection                        ISOAMSB   -->
<!ENTITY capand              "&#57985;"><!-- u+E281  intersection, and                          ISOAMSB   -->
<!ENTITY capbrcup            "&#57969;"><!-- u+E271  intersection, bar, union                   ISOAMSB   -->
<!ENTITY capcap              "&#57971;"><!-- u+E273  intersection, intersection, joined         ISOAMSB   -->
<!ENTITY capcup              "&#57967;"><!-- u+E26F  intersection above union                   ISOAMSB   -->
<!ENTITY capdot              "&#57953;"><!-- u+E261  intersection, with dot                     ISOAMSB   -->
<!ENTITY caps                "&#57973;"><!-- u+E275  intersection, serifs                       ISOAMSB   -->
<!ENTITY ccaps               "&#57977;"><!-- u+E279  closed intersection, serifs                ISOAMSB   -->
<!ENTITY ccups               "&#57976;"><!-- u+E278  closed union, serifs                       ISOAMSB   -->
<!ENTITY ccupssm             "&#57978;"><!-- u+E27A  closed union, serifs, smash product        ISOAMSB   -->
<!ENTITY circledast          "&#8859;"><!-- u+229B  asterisk in circle                         MMALIAS   oast-->
<!ENTITY circledcirc         "&#8858;"><!-- u+229A  small circle in circle                     MMALIAS   ocir-->
<!ENTITY circleddash         "&#8861;"><!-- u+229D  hyphen in circle                           MMALIAS   odash-->
<!ENTITY CircleDot           "&#8857;"><!-- u+2299  middle dot in circle                       MMALIAS   odot-->
<!ENTITY CircleMinus         "&#8854;"><!-- u+2296  minus sign in circle                       MMALIAS   ominus-->
<!ENTITY CirclePlus          "&#8853;"><!-- u+2295  plus sign in circle                        MMALIAS   oplus-->
<!ENTITY CircleTimes         "&#8855;"><!-- u+2297  multiply sign in circle                    MMALIAS   otimes-->
<!ENTITY coprod              "&#8720;"><!-- u+2210  coproduct operator                         ISOAMSB   -->
<!ENTITY Coproduct           "&#8720;"><!-- u+2210  coproduct operator                         MMALIAS   coprod-->
<!ENTITY Cup                 "&#8915;"><!-- u+22D3  double union                               ISOAMSB   -->
<!ENTITY cupbrcap            "&#57968;"><!-- u+E270  union, bar, intersection                   ISOAMSB   -->
<!ENTITY cupcap              "&#57966;"><!-- u+E26E  union above intersection                   ISOAMSB   -->
<!ENTITY cupcup              "&#57970;"><!-- u+E272  union, union, joined                       ISOAMSB   -->
<!ENTITY cupdot              "&#8845;"><!-- u+228D  union, with dot                            ISOAMSB   -->
<!ENTITY cupor               "&#57986;"><!-- u+E282  union, or                                  ISOAMSB   -->
<!ENTITY cups                "&#57972;"><!-- u+E274  union, serifs                              ISOAMSB   -->
<!ENTITY curlyvee            "&#8910;"><!-- u+22CE  curly logical or                           MMALIAS   cuvee-->
<!ENTITY curlywedge          "&#8911;"><!-- u+22CF  curly logical and                          MMALIAS   cuwed-->
<!ENTITY cuvee               "&#8910;"><!-- u+22CE  curly logical or                           ISOAMSB   -->
<!ENTITY cuwed               "&#8911;"><!-- u+22CF  curly logical and                          ISOAMSB   -->
<!ENTITY Dagger              "&#8225;"><!-- u+2021  double dagger relation                     ISOAMSB   -->
<!ENTITY dagger              "&#8224;"><!-- u+2020  dagger relation                            ISOAMSB   -->
<!ENTITY ddagger             "&#8225;"><!-- u+2021  double dagger relation                     MMALIAS   Dagger-->
<!ENTITY diam                "&#8900;"><!-- u+22C4  open diamond                               ISOAMSB   -->
<!ENTITY diamond             "&#8900;"><!-- u+22C4  open diamond                               MMALIAS   diam-->
<!ENTITY divideontimes       "&#8903;"><!-- u+22C7  division on times                          MMALIAS   divonx-->
<!ENTITY divonx              "&#8903;"><!-- u+22C7  division on times                          ISOAMSB   -->
<!ENTITY dotminus            "&#8760;"><!-- u+2238  minus sign, dot above                      MMALIAS   minusd-->
<!ENTITY dotplus             "&#8724;"><!-- u+2214  plus sign, dot above                       MMALIAS   plusdo-->
<!ENTITY dotsquare           "&#8865;"><!-- u+22A1  small dot in box                           MMALIAS   sdotb-->
<!ENTITY doublebarwedge      "&#8966;"><!-- u+2306  logical and, double bar above              MMALIAS   Barwed-->
<!ENTITY eplus               "&#57960;"><!-- u+E268  equal, plus                                ISOAMSB   -->
<!ENTITY hercon              "&#8889;"><!-- u+22B9  hermitian conjugate matrix                 ISOAMSB   -->
<!ENTITY intcal              "&#8890;"><!-- u+22BA  intercal                                   ISOAMSB   -->
<!ENTITY intercal            "&#8890;"><!-- u+22BA  intercal                                   MMALIAS   intcal-->
<!ENTITY Intersection        "&#8898;"><!-- u+22C2  intersection operator                      MMALIAS   xcap-->
<!ENTITY intprod             "&#57945;"><!-- u+E259  interior product                           MMALIAS   iprod-->
<!ENTITY iprod               "&#57945;"><!-- u+E259  interior product                           ISOAMSB   -->
<!ENTITY leftthreetimes      "&#8907;"><!-- u+22CB  leftthreetimes                             MMALIAS   lthree-->
<!ENTITY loplus              "&#57948;"><!-- u+E25C  plus sign in left half circle              ISOAMSB   -->
<!ENTITY lotimes             "&#57950;"><!-- u+E25E  multiply sign in left half circle          ISOAMSB   -->
<!ENTITY lthree              "&#8907;"><!-- u+22CB  leftthreetimes                             ISOAMSB   -->
<!ENTITY ltimes              "&#8905;"><!-- u+22C9  times sign, left closed                    ISOAMSB   -->
<!ENTITY midast              "&#8727;"><!-- u+2217  centered asterisk                          ISOAMSB   -->
<!ENTITY minusb              "&#8863;"><!-- u+229F  minus sign in box                          ISOAMSB   -->
<!ENTITY minusd              "&#8760;"><!-- u+2238  minus sign, dot above                      ISOAMSB   -->
<!ENTITY minusdu             "&#57947;"><!-- u+E25B  minus sign, dot below                      ISOAMSB   -->
<!ENTITY ncap                "&#57988;"><!-- u+E284  bar, intersection                          ISOAMSB   -->
<!ENTITY ncup                "&#57987;"><!-- u+E283  bar, union                                 ISOAMSB   -->
<!ENTITY oast                "&#8859;"><!-- u+229B  asterisk in circle                         ISOAMSB   -->
<!ENTITY ocir                "&#8858;"><!-- u+229A  small circle in circle                     ISOAMSB   -->
<!ENTITY odash               "&#8861;"><!-- u+229D  hyphen in circle                           ISOAMSB   -->
<!ENTITY odiv                "&#57989;"><!-- u+E285  divide in circle                           ISOAMSB   -->
<!ENTITY odot                "&#8857;"><!-- u+2299  middle dot in circle                       ISOAMSB   -->
<!ENTITY odsold              "&#57990;"><!-- u+E286  dot, solidus, dot in circle                ISOAMSB   -->
<!ENTITY ofcir               "&#57991;"><!-- u+E287  filled circle in circle                    ISOAMSB   -->
<!ENTITY ogt                 "&#57993;"><!-- u+E289  greater-than in circle                     ISOAMSB   -->
<!ENTITY ohbar               "&#57952;"><!-- u+E260  circle with horizontal bar                 ISOAMSB   -->
<!ENTITY olcir               "&#58377;"><!-- u+E409  large circle in circle                     ISOAMSB   -->
<!ENTITY olt                 "&#57992;"><!-- u+E288  less-than in circle                        ISOAMSB   -->
<!ENTITY omid                "&#58378;"><!-- u+E40A  vertical bar in circle                     ISOAMSB   -->
<!ENTITY ominus              "&#8854;"><!-- u+2296  minus sign in circle                       ISOAMSB   -->
<!ENTITY opar                "&#57994;"><!-- u+E28A  parallel in circle                         ISOAMSB   -->
<!ENTITY operp               "&#57995;"><!-- u+E28B  perpendicular in circle                    ISOAMSB   -->
<!ENTITY oplus               "&#8853;"><!-- u+2295  plus sign in circle                        ISOAMSB   -->
<!ENTITY oslash              "&#8856;"><!-- u+2298  solidus in circle                          MMALIAS   osol-->
<!ENTITY osol                "&#8856;"><!-- u+2298  solidus in circle                          ISOAMSB   -->
<!ENTITY Otimes              "&#57996;"><!-- u+E28C  multiply sign in double circle             ISOAMSB   -->
<!ENTITY otimes              "&#8855;"><!-- u+2297  multiply sign in circle                    ISOAMSB   -->
<!ENTITY otimesas            "&#57997;"><!-- u+E28D  multiply sign in circle, circumflex accent ISOAMSB   -->
<!ENTITY ovbar               "&#58379;"><!-- u+E40B  circle with vertical bar                   ISOAMSB   -->
<!ENTITY plusacir            "&#57962;"><!-- u+E26A  plus, circumflex accent above              ISOAMSB   -->
<!ENTITY plusb               "&#8862;"><!-- u+229E  plus sign in box                           ISOAMSB   -->
<!ENTITY pluscir             "&#57958;"><!-- u+E266  plus, small circle above                   ISOAMSB   -->
<!ENTITY plusdo              "&#8724;"><!-- u+2214  plus sign, dot above                       ISOAMSB   -->
<!ENTITY plusdu              "&#57946;"><!-- u+E25A  plus sign, dot below                       ISOAMSB   -->
<!ENTITY pluse               "&#57959;"><!-- u+E267  plus, equals                               ISOAMSB   -->
<!ENTITY plussim             "&#57964;"><!-- u+E26C  plus, similar below                        ISOAMSB   -->
<!ENTITY plustwo             "&#57961;"><!-- u+E269  plus, two; Nim-addition                    ISOAMSB   -->
<!ENTITY race                "&#58380;"><!-- u+E40C  reverse most positive, line below          ISOAMSB   -->
<!ENTITY rightthreetimes     "&#8908;"><!-- u+22CC  rightthreetimes                            MMALIAS   rthree-->
<!ENTITY roplus              "&#57949;"><!-- u+E25D  plus sign in right half circle             ISOAMSB   -->
<!ENTITY rotimes             "&#58381;"><!-- u+E40D  multiply sign in right half circle         ISOAMSB   -->
<!ENTITY rthree              "&#8908;"><!-- u+22CC  rightthreetimes                            ISOAMSB   -->
<!ENTITY rtimes              "&#8906;"><!-- u+22CA  times sign, right closed                   ISOAMSB   -->
<!ENTITY sdot                "&#8901;"><!-- u+22C5  small middle dot                           ISOAMSB   -->
<!ENTITY sdotb               "&#8865;"><!-- u+22A1  small dot in box                           ISOAMSB   -->
<!ENTITY setminus            "&#8726;"><!-- u+2216  reverse solidus                            MMALIAS   setmn-->
<!ENTITY setmn               "&#8726;"><!-- u+2216  reverse solidus                            ISOAMSB   -->
<!ENTITY simplus             "&#57963;"><!-- u+E26B  plus, similar above                        ISOAMSB   -->
<!ENTITY smallsetminus       "&#59460;"><!-- u+E844  sm reverse solidus                         MMALIAS   ssetmn-->
<!ENTITY smashp              "&#57956;"><!-- u+E264  smash product                              ISOAMSB   -->
<!ENTITY solb                "&#57983;"><!-- u+E27F  solidus in square                          ISOAMSB   -->
<!ENTITY sqcap               "&#8851;"><!-- u+2293  square intersection                        ISOAMSB   -->
<!ENTITY sqcaps              "&#57975;"><!-- u+E277  square intersection, serifs                ISOAMSB   -->
<!ENTITY sqcup               "&#8852;"><!-- u+2294  square union                               ISOAMSB   -->
<!ENTITY sqcups              "&#57974;"><!-- u+E276  square union, serifs                       ISOAMSB   -->
<!ENTITY SquareIntersection  "&#8851;"><!-- u+2293  square intersection                        MMALIAS   sqcap-->
<!ENTITY SquareUnion         "&#8852;"><!-- u+2294  square union                               MMALIAS   sqcup-->
<!ENTITY ssetmn              "&#59460;"><!-- u+E844  sm reverse solidus                         ISOAMSB   -->
<!ENTITY sstarf              "&#8902;"><!-- u+22C6  small star, filled, low                    ISOAMSB   -->
<!ENTITY Star                "&#8902;"><!-- u+22C6  small star, filled, low                    MMALIAS   sstarf-->
<!ENTITY star                "&#8902;"><!-- u+22C6  small star, filled, low                    MMALIAS   sstarf-->
<!ENTITY subdot              "&#57954;"><!-- u+E262  subset, with dot                           ISOAMSB   -->
<!ENTITY Sum                 "&#8721;"><!-- u+2211  summation operator                         MMALIAS   sum-->
<!ENTITY sum                 "&#8721;"><!-- u+2211  summation operator                         ISOAMSB   -->
<!ENTITY supdot              "&#57955;"><!-- u+E263  superset, with dot                         ISOAMSB   -->
<!ENTITY timesb              "&#8864;"><!-- u+22A0  multiply sign in box                       ISOAMSB   -->
<!ENTITY timesbar            "&#57998;"><!-- u+E28E  multiply sign, bar below                   ISOAMSB   -->
<!ENTITY timesd              "&#57965;"><!-- u+E26D  times, dot                                 ISOAMSB   -->
<!ENTITY tridot              "&#9708;"><!-- u+25EC  dot in triangle                            ISOAMSB   -->
<!ENTITY triminus            "&#57980;"><!-- u+E27C  minus in triangle                          ISOAMSB   -->
<!ENTITY triplus             "&#57979;"><!-- u+E27B  plus in triangle                           ISOAMSB   -->
<!ENTITY trisb               "&#57982;"><!-- u+E27E  triangle, serifs at bottom                 ISOAMSB   -->
<!ENTITY tritime             "&#57981;"><!-- u+E27D  multiply in triangle                       ISOAMSB   -->
<!ENTITY Union               "&#8899;"><!-- u+22C3  union operator                             MMALIAS   xcup-->
<!ENTITY UnionPlus           "&#8846;"><!-- u+228E  plus sign in union                         MMALIAS   uplus-->
<!ENTITY uplus               "&#8846;"><!-- u+228E  plus sign in union                         ISOAMSB   -->
<!ENTITY Vee                 "&#8897;"><!-- u+22C1  logical and operator                       MMALIAS   xvee-->
<!ENTITY veebar              "&#8891;"><!-- u+22BB  logical or, bar below                      ISOAMSB   -->
<!ENTITY VerticalTilde       "&#8768;"><!-- u+2240  wreath product                             MMALIAS   wreath-->
<!ENTITY wedbar              "&#57957;"><!-- u+E265  wedge, bar below                           ISOAMSB   -->
<!ENTITY Wedge               "&#8896;"><!-- u+22C0  logical or operator                        MMALIAS   xwedge-->
<!ENTITY wr                  "&#8768;"><!-- u+2240  wreath product                             MMALIAS   wreath-->
<!ENTITY wreath              "&#8768;"><!-- u+2240  wreath product                             ISOAMSB   -->
<!ENTITY xcap                "&#8898;"><!-- u+22C2  intersection operator                      ISOAMSB   -->
<!ENTITY xcirc               "&#9943;"><!-- u+25EF  large circle                               ISOAMSB   -->
<!ENTITY xcup                "&#8899;"><!-- u+22C3  union operator                             ISOAMSB   -->
<!ENTITY xdtri               "&#9661;"><!-- u+25BD  big down triangle, open                    ISOAMSB   -->
<!ENTITY xodot               "&#8857;"><!-- u+2299  circle dot operator                        ISOAMSB   -->
<!ENTITY xoplus              "&#8853;"><!-- u+2295  circle plus operator                       ISOAMSB   -->
<!ENTITY xotime              "&#8855;"><!-- u+2297  circle times operator                      ISOAMSB   -->
<!ENTITY xsqcup              "&#8852;"><!-- u+2294  square union operator                      ISOAMSB   -->
<!ENTITY xuplus              "&#8846;"><!-- u+228E  biguplus                                   ISOAMSB   -->
<!ENTITY xutri               "&#9651;"><!-- u+25B3  big up triangle, open                      ISOAMSB   -->
<!ENTITY xvee                "&#8897;"><!-- u+22C1  logical and operator                       ISOAMSB   -->
<!ENTITY xwedge              "&#8896;"><!-- u+22C0  logical or operator                        ISOAMSB   -->