diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd new file mode 100644 index 00000000000..f1625ef7af2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd @@ -0,0 +1,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 "★"><!-- u+2605 star, filled ISOPUB starf--> +<!ENTITY blacklozenge ""><!-- u+E501 lozenge, filled ISOPUB lozf--> +<!ENTITY blacktriangle "▴"><!-- u+25B4 up triangle, filled ISOPUB utrif--> +<!ENTITY blacktriangledown "▾"><!-- u+25BE down triangle, filled ISOPUB dtrif--> +<!ENTITY blacktriangleleft "◂"><!-- u+25C2 left triangle, filled ISOPUB ltrif--> +<!ENTITY blacktriangleright "▸"><!-- u+25B8 right triangle, filled ISOPUB rtrif--> +<!ENTITY Breve "̆"><!-- u+0306 breve ISODIA breve--> +<!ENTITY bullet "•"><!-- u+2022 round bullet, filled ISOPUB bull--> +<!ENTITY Cedilla "̧"><!-- u+0327 cedilla ISODIA cedil--> +<!ENTITY CenterDot "·"><!-- u+00B7 middle dot ISONUM middot--> +<!ENTITY centerdot "·"><!-- u+00B7 middle dot ISONUM middot--> +<!ENTITY checkmark "✓"><!-- u+2713 tick, check mark ISOPUB check--> +<!ENTITY circledR "¯"><!-- u+00AE registered sign ISONUM reg--> +<!ENTITY CloseCurlyDoubleQuote "”"><!-- u+201D double quotation mark, right ISONUM rdquo--> +<!ENTITY CloseCurlyQuote "’"><!-- u+2019 single quotation mark, right ISONUM rsquo--> +<!ENTITY clubsuit "♣"><!-- u+2663 club suit symbol ISOPUB clubs--> +<!--<!ENTITY ddagger "‡">--> +<!-- u+2021 double dagger ISOPUB Dagger--> +<!ENTITY DiacriticalAcute "́"><!-- u+0301 acute accent ISODIA acute--> +<!ENTITY DiacriticalDot "̇"><!-- u+0307 dot above ISODIA dot--> +<!ENTITY DiacriticalDoubleAcute "̋"><!-- u+030B double acute accent ISODIA dblac--> +<!ENTITY DiacriticalGrave "̀"><!-- u+0300 grave accent ISODIA grave--> +<!ENTITY DiacriticalTilde "̃"><!-- u+0303 tilde ISODIA tilde--> +<!ENTITY diamondsuit "♢"><!-- u+2662 diamond suit symbol ISOPUB diams--> +<!ENTITY div "÷"><!-- u+00F7 divide sign ISONUM divide--> +<!ENTITY DoubleDot "̈"><!-- u+0308 dieresis ISODIA die--> +<!ENTITY DownArrow "↓"><!-- u+2193 downward arrow ISONUM darr--> +<!ENTITY downarrow "↓"><!-- u+2193 downward arrow ISONUM darr--> +<!-- +<!ENTITY DownTeeArrow > +--> +<!ENTITY Hacek "̌"><!-- u+030C caron ISODIA caron--> +<!ENTITY Hat "̂"><!-- u+0302 circumflex accent ISODIA circ--> +<!ENTITY heartsuit "♡"><!-- u+2661 heart suit symbol ISOPUB hearts--> +<!ENTITY lbrace "{"><!-- u+007B left curly bracket ISONUM lcub--> +<!ENTITY lbrack "["><!-- u+005B left square bracket ISONUM lsqb--> +<!ENTITY LeftArrow "←"><!-- u+2190 leftward arrow ISONUM larr--> +<!ENTITY leftarrow "←"><!-- u+2190 leftward arrow ISONUM larr--> +<!-- +<!ENTITY LeftTeeArrow > +--> +<!ENTITY lozenge "◊"><!-- u+25CA lozenge or total mark ISOPUB loz--> +<!ENTITY maltese "✠"><!-- u+2720 maltese cross ISOPUB malt--> +<!ENTITY natural "♮"><!-- u+266E music natural ISOPUB natur--> +<!-- +<!ENTITY NotCupCap > +<!ENTITY NotEqualTilde > +<!ENTITY NotHumpDownHump > +<!ENTITY NotHumpEqual > +<!ENTITY NotSquareSuperset > +--> +<!ENTITY OpenCurlyDoubleQuote "“"><!-- u+201C double quotation mark, left ISONUM ldquo--> +<!ENTITY OpenCurlyQuote "‘"><!-- u+2018 single quotation mark, left ISONUM lsquo--> +<!ENTITY PlusMinus "±"><!-- u+00B1 plus-or-minus sign ISONUM plusmn--> +<!ENTITY pm "±"><!-- u+00B1 plus-or-minus sign ISONUM plusmn--> +<!ENTITY rbrace "}"><!-- u+007D right curly bracket ISONUM rcub--> +<!ENTITY rbrack "]"><!-- u+005D right square bracket ISONUM rsqb--> +<!ENTITY RightArrow "→"><!-- u+2192 rightward arrow ISONUM rarr--> +<!ENTITY rightarrow "→"><!-- u+2192 rightward arrow ISONUM rarr--> +<!ENTITY spadesuit "♠"><!-- u+2660 spades suit symbol ISOPUB spades--> +<!ENTITY triangle "▵"><!-- u+25B5 up triangle, open ISOPUB utri--> +<!ENTITY triangledown "▿"><!-- u+25BF down triangle, open ISOPUB dtri--> +<!ENTITY triangleleft "◃"><!-- u+25C3 left triangle, open ISOPUB ltri--> +<!ENTITY triangleright "▹"><!-- u+25B9 right triangle, open ISOPUB rtri--> +<!ENTITY UpArrow "↑"><!-- u+2191 upward arrow ISONUM uarr--> +<!ENTITY uparrow "↑"><!-- u+2191 upward arrow ISONUM uarr--> +<!ENTITY vert "|"><!-- u+007C vertical bar ISONUM verbar--> |