Project

Profile

Help

How to connect?
Download (7.89 KB) Statistics
| Branch: | Tag: | Revision:

he / latest10 / hej / net / sf / saxon / data / w3c / mathml / mathml2 / mmlextra.ent @ 02f8308b

1

    
2
<!--
3
     File mmlextra.ent produced by the XSL script mmldtd.xsl
4
     from input data in unicode.xml.
5

    
6
     Please report any errors to 
7
     David Carlisle <davidc@nag.co.uk>.
8

    
9
     The numeric character values assigned to each entity
10
     (should) match either official Unicode assignments
11
     or assignments provisionally allocated by the
12
     Unicode Consortium based on the characters in the `STIX'
13
     propsal for mathematics. Note that these assignments
14
     have not been ratified by the corresponding ISO
15
     committee and thus should be considered liable to
16
     change.
17

    
18
-->
19

    
20
<!ENTITY af               "&#x02061;" ><!--character showing function application in presentation tagging -->
21
<!ENTITY aopf             "&#x1D552;" ><!-- -->
22
<!ENTITY bopf             "&#x1D553;" ><!-- -->
23
<!ENTITY copf             "&#x1D554;" ><!-- -->
24
<!ENTITY Cross            "&#x02A2F;" ><!--cross or vector product -->
25
<!ENTITY dd               "&#x02146;" ><!--d for use in differentials, e.g., within integrals -->
26
<!ENTITY DD               "&#x02145;" ><!--D for use in differentials, e.g., within integrals -->
27
<!ENTITY dopf             "&#x1D555;" ><!-- -->
28
<!ENTITY DownArrowBar     "&#x02913;" ><!--down arrow to bar -->
29
<!ENTITY DownBreve        "&#x00311;" ><!--breve, inverted (non-spacing) -->
30
<!ENTITY DownLeftRightVector "&#x02950;" ><!--left-down-right-down harpoon -->
31
<!ENTITY DownLeftTeeVector "&#x0295E;" ><!--left-down harpoon from bar -->
32
<!ENTITY DownLeftVectorBar "&#x02956;" ><!--left-down harpoon to bar -->
33
<!ENTITY DownRightTeeVector "&#x0295F;" ><!--right-down harpoon from bar -->
34
<!ENTITY DownRightVectorBar "&#x02957;" ><!--right-down harpoon to bar -->
35
<!ENTITY ee               "&#x02147;" ><!--e use for the exponential base of the natural logarithms -->
36
<!ENTITY EmptySmallSquare "&#x025FB;" ><!--empty small square -->
37
<!ENTITY EmptyVerySmallSquare "&#x025AB;" ><!--empty small square -->
38
<!ENTITY eopf             "&#x1D556;" ><!-- -->
39
<!ENTITY Equal            "&#x02A75;" ><!--two consecutive equal signs -->
40
<!ENTITY FilledSmallSquare "&#x025FC;" ><!--filled small square -->
41
<!ENTITY FilledVerySmallSquare "&#x025AA;" ><!--filled very small square -->
42
<!ENTITY fopf             "&#x1D557;" ><!-- -->
43
<!ENTITY gopf             "&#x1D558;" ><!-- -->
44
<!ENTITY GreaterGreater   "&#x02AA2;" ><!--alias for GT -->
45
<!ENTITY hopf             "&#x1D559;" ><!-- -->
46
<!ENTITY HorizontalLine   "&#x02500;" ><!--short horizontal line  -->
47
<!ENTITY ic               "&#x02063;" ><!--short form of  &InvisibleComma; -->
48
<!ENTITY ii               "&#x02148;" ><!--i for use as a square root of -1 -->
49
<!ENTITY iopf             "&#x1D55A;" ><!-- -->
50
<!ENTITY it               "&#x02062;" ><!--marks multiplication when it is understood without a mark -->
51
<!ENTITY jopf             "&#x1D55B;" ><!-- -->
52
<!ENTITY kopf             "&#x1D55C;" ><!-- -->
53
<!ENTITY larrb            "&#x021E4;" ><!--leftwards arrow to bar -->
54
<!ENTITY LeftDownTeeVector "&#x02961;" ><!--down-left harpoon from bar -->
55
<!ENTITY LeftDownVectorBar "&#x02959;" ><!--down-left harpoon to bar -->
56
<!ENTITY LeftRightVector  "&#x0294E;" ><!--left-up-right-up harpoon -->
57
<!ENTITY LeftTeeVector    "&#x0295A;" ><!--left-up harpoon from bar -->
58
<!ENTITY LeftTriangleBar  "&#x029CF;" ><!--not left triangle, vertical bar -->
59
<!ENTITY LeftUpDownVector "&#x02951;" ><!--up-left-down-left harpoon -->
60
<!ENTITY LeftUpTeeVector  "&#x02960;" ><!--up-left harpoon from bar -->
61
<!ENTITY LeftUpVectorBar  "&#x02958;" ><!--up-left harpoon to bar -->
62
<!ENTITY LeftVectorBar    "&#x02952;" ><!--left-up harpoon to bar -->
63
<!ENTITY LessLess         "&#x02AA1;" ><!--alias for Lt -->
64
<!ENTITY lopf             "&#x1D55D;" ><!-- -->
65
<!ENTITY mapstodown       "&#x021A7;" ><!--downwards arrow from bar -->
66
<!ENTITY mapstoleft       "&#x021A4;" ><!--leftwards arrow from bar -->
67
<!ENTITY mapstoup         "&#x021A5;" ><!--upwards arrow from bar -->
68
<!ENTITY MediumSpace      "&#x0205F;" ><!--space of width 4/18 em -->
69
<!ENTITY mopf             "&#x1D55E;" ><!-- -->
70
<!ENTITY nbump            "&#x0224E;&#x00338;" ><!--not bumpy equals -->
71
<!ENTITY nbumpe           "&#x0224F;&#x00338;" ><!--not bumpy single equals -->
72
<!ENTITY NegativeMediumSpace "&#x0205F;&#x0FE00;" ><!--space of width -4/18 em -->
73
<!ENTITY NegativeThickSpace "&#x02005;&#x0FE00;" ><!--space of width -5/18 em -->
74
<!ENTITY NegativeThinSpace "&#x02009;&#x0FE00;" ><!--space of width -3/18 em -->
75
<!ENTITY NegativeVeryThinSpace "&#x0200A;&#x0FE00;" ><!--space of width -1/18 em -->
76
<!ENTITY nesim            "&#x02242;&#x00338;" ><!--not equal or similar -->
77
<!ENTITY NewLine          "&#x0000A;" ><!--force a line break; line feed -->
78
<!ENTITY NoBreak          "&#x0FEFF;" ><!--never break line here -->
79
<!ENTITY nopf             "&#x1D55F;" ><!-- -->
80
<!ENTITY NotCupCap        "&#x0226D;" ><!--alias for &nasymp; -->
81
<!ENTITY NotHumpEqual     "&#x0224F;&#x00338;" ><!--alias for &nbumpe; -->
82
<!ENTITY NotLeftTriangleBar "&#x029CF;&#x00338;" ><!--not left triangle, vertical bar -->
83
<!ENTITY NotNestedGreaterGreater "&#x024A2;&#x00338;" ><!--not double greater-than sign -->
84
<!ENTITY NotNestedLessLess "&#x024A1;&#x00338;" ><!--not double less-than sign -->
85
<!ENTITY NotRightTriangleBar "&#x029D0;&#x00338;" ><!--not vertical bar, right triangle -->
86
<!ENTITY NotSquareSubset  "&#x0228F;&#x00338;" ><!--square not subset -->
87
<!ENTITY NotSquareSuperset "&#x02290;&#x00338;" ><!--negated set-like partial order operator -->
88
<!ENTITY NotSucceedsTilde "&#x0227F;&#x00338;" ><!--not succeeds or similar -->
89
<!ENTITY oopf             "&#x1D560;" ><!-- -->
90
<!ENTITY OverBar          "&#x000AF;" ><!--over bar -->
91
<!ENTITY OverBrace        "&#x0FE37;" ><!--over brace  -->
92
<!ENTITY OverBracket      "&#x023B4;" ><!--over bracket -->
93
<!ENTITY OverParenthesis  "&#x0FE35;" ><!--over parenthesis -->
94
<!ENTITY planckh          "&#x0210E;" ><!--the ring (skew field) of quaternions -->
95
<!ENTITY popf             "&#x1D561;" ><!-- -->
96
<!ENTITY Product          "&#x0220F;" ><!--alias for &prod -->
97
<!ENTITY qopf             "&#x1D562;" ><!-- -->
98
<!ENTITY rarrb            "&#x021E5;" ><!--leftwards arrow to bar -->
99
<!ENTITY RightDownTeeVector "&#x0295D;" ><!--down-right harpoon from bar -->
100
<!ENTITY RightDownVectorBar "&#x02955;" ><!--down-right harpoon to bar -->
101
<!ENTITY RightTeeVector   "&#x0295B;" ><!--right-up harpoon from bar -->
102
<!ENTITY RightTriangleBar "&#x029D0;" ><!--vertical bar, right triangle -->
103
<!ENTITY RightUpDownVector "&#x0294F;" ><!--up-right-down-right harpoon -->
104
<!ENTITY RightUpTeeVector "&#x0295C;" ><!--up-right harpoon from bar -->
105
<!ENTITY RightUpVectorBar "&#x02954;" ><!--up-right harpoon to bar -->
106
<!ENTITY RightVectorBar   "&#x02953;" ><!--up-right harpoon to bar -->
107
<!ENTITY ropf             "&#x1D563;" ><!-- -->
108
<!ENTITY RoundImplies     "&#x02970;" ><!--round implies -->
109
<!ENTITY RuleDelayed      "&#x029F4;" ><!--rule-delayed (colon right arrow) -->
110
<!ENTITY ShortDownArrow   "&#x02304;&#x0FE00;" ><!--short down arrow -->
111
<!ENTITY ShortUpArrow     "&#x02303;&#x0FE00;" ><!--short up arrow  -->
112
<!ENTITY sopf             "&#x1D564;" ><!-- -->
113
<!ENTITY Tab              "&#x00009;" ><!--tabulator stop; horizontal tabulation -->
114
<!ENTITY ThickSpace       "&#x02009;&#x0200A;&#x0200A;" ><!--space of width 5/18 em -->
115
<!ENTITY topf             "&#x1D565;" ><!-- -->
116
<!ENTITY UnderBar         "&#x00332;" ><!--combining low line -->
117
<!ENTITY UnderBrace       "&#x0FE38;" ><!--under brace  -->
118
<!ENTITY UnderBracket     "&#x023B5;" ><!--under bracket -->
119
<!ENTITY UnderParenthesis "&#x0FE36;" ><!--under parenthesis -->
120
<!ENTITY uopf             "&#x1D566;" ><!-- -->
121
<!ENTITY UpArrowBar       "&#x02912;" ><!--up arrow to bar -->
122
<!ENTITY VerticalLine     "&#x0007C;" ><!--alias ISONUM verbar -->
123
<!ENTITY VerticalSeparator "&#x02758;" ><!--vertical separating operator -->
124
<!ENTITY vopf             "&#x1D567;" ><!-- -->
125
<!ENTITY wopf             "&#x1D568;" ><!-- -->
126
<!ENTITY xopf             "&#x1D569;" ><!-- -->
127
<!ENTITY yopf             "&#x1D56A;" ><!-- -->
128
<!ENTITY zopf             "&#x1D56B;" ><!-- -->
(24-24/27)