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

<!--
    MMALIAS Characters alphabetically 
    MathML Aliases

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

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

<!ENTITY bigstar             "&#9733;"><!-- u+2605  star, filled                               ISOPUB    starf-->
<!ENTITY blacklozenge        "&#58625;"><!-- u+E501  lozenge, filled                            ISOPUB    lozf-->
<!ENTITY blacktriangle       "&#9652;"><!-- u+25B4  up triangle, filled                        ISOPUB    utrif-->
<!ENTITY blacktriangledown   "&#9662;"><!-- u+25BE  down triangle, filled                      ISOPUB    dtrif-->
<!ENTITY blacktriangleleft   "&#9666;"><!-- u+25C2  left triangle, filled                      ISOPUB    ltrif-->
<!ENTITY blacktriangleright  "&#9656;"><!-- u+25B8  right triangle, filled                     ISOPUB    rtrif-->
<!ENTITY Breve               "&#774;"><!-- u+0306  breve                                      ISODIA    breve-->
<!ENTITY bullet              "&#8226;"><!-- u+2022  round bullet, filled                       ISOPUB    bull-->
<!ENTITY Cedilla             "&#807;"><!-- u+0327  cedilla                                    ISODIA    cedil-->
<!ENTITY CenterDot           "&#183;"><!-- u+00B7  middle dot                                 ISONUM    middot-->
<!ENTITY centerdot           "&#183;"><!-- u+00B7  middle dot                                 ISONUM    middot-->
<!ENTITY checkmark           "&#10003;"><!-- u+2713  tick, check mark                           ISOPUB    check-->
<!ENTITY circledR            "&#175;"><!-- u+00AE  registered sign                            ISONUM    reg-->
<!ENTITY CloseCurlyDoubleQuote "&#8221;"><!-- u+201D  double quotation mark, right               ISONUM    rdquo-->
<!ENTITY CloseCurlyQuote     "&#8217;"><!-- u+2019  single quotation mark, right               ISONUM    rsquo-->
<!ENTITY clubsuit            "&#9827;"><!-- u+2663  club suit symbol                           ISOPUB    clubs-->
<!--<!ENTITY ddagger             "&#8225;">-->
<!-- u+2021  double dagger                              ISOPUB    Dagger-->
<!ENTITY DiacriticalAcute    "&#769;"><!-- u+0301  acute accent                               ISODIA    acute-->
<!ENTITY DiacriticalDot      "&#775;"><!-- u+0307  dot above                                  ISODIA    dot-->
<!ENTITY DiacriticalDoubleAcute "&#779;"><!-- u+030B  double acute accent                        ISODIA    dblac-->
<!ENTITY DiacriticalGrave    "&#768;"><!-- u+0300  grave accent                               ISODIA    grave-->
<!ENTITY DiacriticalTilde    "&#771;"><!-- u+0303  tilde                                      ISODIA    tilde-->
<!ENTITY diamondsuit         "&#9826;"><!-- u+2662  diamond suit symbol                        ISOPUB    diams-->
<!ENTITY div                 "&#247;"><!-- u+00F7  divide sign                                ISONUM    divide-->
<!ENTITY DoubleDot           "&#776;"><!-- u+0308  dieresis                                   ISODIA    die-->
<!ENTITY DownArrow           "&#8595;"><!-- u+2193  downward arrow                             ISONUM    darr-->
<!ENTITY downarrow           "&#8595;"><!-- u+2193  downward arrow                             ISONUM    darr-->
<!--
<!ENTITY DownTeeArrow                                                                   >
-->
<!ENTITY Hacek               "&#780;"><!-- u+030C  caron                                      ISODIA    caron-->
<!ENTITY Hat                 "&#770;"><!-- u+0302  circumflex accent                          ISODIA    circ-->
<!ENTITY heartsuit           "&#9825;"><!-- u+2661  heart suit symbol                          ISOPUB    hearts-->
<!ENTITY lbrace              "&#123;"><!-- u+007B  left curly bracket                         ISONUM    lcub-->
<!ENTITY lbrack              "&#91;"><!-- u+005B  left square bracket                        ISONUM    lsqb-->
<!ENTITY LeftArrow           "&#8592;"><!-- u+2190  leftward arrow                             ISONUM    larr-->
<!ENTITY leftarrow           "&#8592;"><!-- u+2190  leftward arrow                             ISONUM    larr-->
<!--
<!ENTITY LeftTeeArrow                                                                   >
-->
<!ENTITY lozenge             "&#9674;"><!-- u+25CA  lozenge or total mark                      ISOPUB    loz-->
<!ENTITY maltese             "&#10016;"><!-- u+2720  maltese cross                              ISOPUB    malt-->
<!ENTITY natural             "&#9838;"><!-- u+266E  music natural                              ISOPUB    natur-->
<!--
<!ENTITY NotCupCap                                                                      >
<!ENTITY NotEqualTilde                                                                  >
<!ENTITY NotHumpDownHump                                                                >
<!ENTITY NotHumpEqual                                                                   >
<!ENTITY NotSquareSuperset                                                              >
-->
<!ENTITY OpenCurlyDoubleQuote "&#8220;"><!-- u+201C  double quotation mark, left                ISONUM    ldquo-->
<!ENTITY OpenCurlyQuote      "&#8216;"><!-- u+2018  single quotation mark, left                ISONUM    lsquo-->
<!ENTITY PlusMinus           "&#177;"><!-- u+00B1  plus-or-minus sign                         ISONUM    plusmn-->
<!ENTITY pm                  "&#177;"><!-- u+00B1  plus-or-minus sign                         ISONUM    plusmn-->
<!ENTITY rbrace              "&#125;"><!-- u+007D  right curly bracket                        ISONUM    rcub-->
<!ENTITY rbrack              "&#93;"><!-- u+005D  right square bracket                       ISONUM    rsqb-->
<!ENTITY RightArrow          "&#8594;"><!-- u+2192  rightward arrow                            ISONUM    rarr-->
<!ENTITY rightarrow          "&#8594;"><!-- u+2192  rightward arrow                            ISONUM    rarr-->
<!ENTITY spadesuit           "&#9824;"><!-- u+2660  spades suit symbol                         ISOPUB    spades-->
<!ENTITY triangle            "&#9653;"><!-- u+25B5  up triangle, open                          ISOPUB    utri-->
<!ENTITY triangledown        "&#9663;"><!-- u+25BF  down triangle, open                        ISOPUB    dtri-->
<!ENTITY triangleleft        "&#9667;"><!-- u+25C3  left triangle, open                        ISOPUB    ltri-->
<!ENTITY triangleright       "&#9657;"><!-- u+25B9  right triangle, open                       ISOPUB    rtri-->
<!ENTITY UpArrow             "&#8593;"><!-- u+2191  upward arrow                               ISONUM    uarr-->
<!ENTITY uparrow             "&#8593;"><!-- u+2191  upward arrow                               ISONUM    uarr-->
<!ENTITY vert                "&#124;"><!-- u+007C  vertical bar                               ISONUM    verbar-->