summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/mmaliase.dtd
diff options
context:
space:
mode:
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.dtd78
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 "&#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-->