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