
<!--
    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   -->
