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

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

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

-->

<!ENTITY af               "&#x02061;" ><!--character showing function application in presentation tagging -->
<!ENTITY aopf             "&#x1D552;" ><!-- -->
<!ENTITY bopf             "&#x1D553;" ><!-- -->
<!ENTITY copf             "&#x1D554;" ><!-- -->
<!ENTITY Cross            "&#x02A2F;" ><!--cross or vector product -->
<!ENTITY dd               "&#x02146;" ><!--d for use in differentials, e.g., within integrals -->
<!ENTITY DD               "&#x02145;" ><!--D for use in differentials, e.g., within integrals -->
<!ENTITY dopf             "&#x1D555;" ><!-- -->
<!ENTITY DownArrowBar     "&#x02913;" ><!--down arrow to bar -->
<!ENTITY DownBreve        "&#x00311;" ><!--breve, inverted (non-spacing) -->
<!ENTITY DownLeftRightVector "&#x02950;" ><!--left-down-right-down harpoon -->
<!ENTITY DownLeftTeeVector "&#x0295E;" ><!--left-down harpoon from bar -->
<!ENTITY DownLeftVectorBar "&#x02956;" ><!--left-down harpoon to bar -->
<!ENTITY DownRightTeeVector "&#x0295F;" ><!--right-down harpoon from bar -->
<!ENTITY DownRightVectorBar "&#x02957;" ><!--right-down harpoon to bar -->
<!ENTITY ee               "&#x02147;" ><!--e use for the exponential base of the natural logarithms -->
<!ENTITY EmptySmallSquare "&#x025FD;" ><!--empty small square -->
<!ENTITY EmptyVerySmallSquare "&#x0F59C;" ><!--empty small square -->
<!ENTITY eopf             "&#x1D556;" ><!-- -->
<!ENTITY Equal            "&#x02A75;" ><!--two consecutive equal signs -->
<!ENTITY FilledSmallSquare "&#x025FE;" ><!--filled small square -->
<!ENTITY FilledVerySmallSquare "&#x0F59B;" ><!--filled very small square -->
<!ENTITY fopf             "&#x1D557;" ><!-- -->
<!ENTITY gopf             "&#x1D558;" ><!-- -->
<!ENTITY GreaterGreater   "&#x02AA2;" ><!--alias for GT -->
<!ENTITY hopf             "&#x1D559;" ><!-- -->
<!ENTITY HorizontalLine   "&#x02500;" ><!--short horizontal line  -->
<!ENTITY ic               "&#x0200B;" ><!--short form of  &InvisibleComma; -->
<!ENTITY ii               "&#x02148;" ><!--i for use as a square root of -1 -->
<!ENTITY iopf             "&#x1D55A;" ><!-- -->
<!ENTITY it               "&#x02062;" ><!--marks multiplication when it is understood without a mark -->
<!ENTITY jopf             "&#x1D55B;" ><!-- -->
<!ENTITY kopf             "&#x1D55C;" ><!-- -->
<!ENTITY larrb            "&#x021E4;" ><!--leftwards arrow to bar -->
<!ENTITY LeftDownTeeVector "&#x02961;" ><!--down-left harpoon from bar -->
<!ENTITY LeftDownVectorBar "&#x02959;" ><!--down-left harpoon to bar -->
<!ENTITY LeftRightVector  "&#x0294E;" ><!--left-up-right-up harpoon -->
<!ENTITY LeftTeeVector    "&#x0295A;" ><!--left-up harpoon from bar -->
<!ENTITY LeftTriangleBar  "&#x029CF;" ><!--not left triangle, vertical bar -->
<!ENTITY LeftUpDownVector "&#x02951;" ><!--up-left-down-left harpoon -->
<!ENTITY LeftUpTeeVector  "&#x02960;" ><!--up-left harpoon from bar -->
<!ENTITY LeftUpVectorBar  "&#x02958;" ><!--up-left harpoon to bar -->
<!ENTITY LeftVectorBar    "&#x02952;" ><!--left-up harpoon to bar -->
<!ENTITY LessLess         "&#x02AA1;" ><!--alias for Lt -->
<!ENTITY lopf             "&#x1D55D;" ><!-- -->
<!ENTITY mapstodown       "&#x021A7;" ><!--downwards arrow from bar -->
<!ENTITY mapstoleft       "&#x021A4;" ><!--leftwards arrow from bar -->
<!ENTITY mapstoup         "&#x021A5;" ><!--upwards arrow from bar -->
<!ENTITY MediumSpace      "&#x0205F;" ><!--space of width 4/18 em -->
<!ENTITY mopf             "&#x1D55E;" ><!-- -->
<!ENTITY nbump            "&#x0224E;&#x00338;" ><!--not bumpy equals -->
<!ENTITY nbumpe           "&#x0224F;&#x00338;" ><!--not bumpy single equals -->
<!ENTITY NegativeMediumSpace "&#x0205F;&#x0FE00;" ><!--space of width -4/18 em -->
<!ENTITY NegativeThickSpace "&#x02005;&#x0FE00;" ><!--space of width -5/18 em -->
<!ENTITY NegativeThinSpace "&#x02009;&#x0FE00;" ><!--space of width -3/18 em -->
<!ENTITY NegativeVeryThinSpace "&#x0200A;&#x0FE00;" ><!--space of width -1/18 em -->
<!ENTITY nesim            "&#x02242;&#x00338;" ><!--not equal or similar -->
<!ENTITY NewLine          "&#x0000A;" ><!--force a line break; line feed -->
<!ENTITY NoBreak          "&#x0FEFF;" ><!--never break line here -->
<!ENTITY nopf             "&#x1D55F;" ><!-- -->
<!ENTITY NotCupCap        "&#x0226D;" ><!--alias for &nasymp; -->
<!ENTITY NotHumpEqual     "&#x0224F;&#x00338;" ><!--alias for &nbumpe; -->
<!ENTITY NotLeftTriangleBar "&#x029CF;&#x00338;" ><!--not left triangle, vertical bar -->
<!ENTITY NotNestedGreaterGreater "&#x024A2;&#x00338;" ><!--not double greater-than sign -->
<!ENTITY NotNestedLessLess "&#x024A1;&#x00338;" ><!--not double less-than sign -->
<!ENTITY NotRightTriangleBar "&#x029D0;&#x00338;" ><!--not vertical bar, right triangle -->
<!ENTITY NotSquareSubset  "&#x0228F;&#x00338;" ><!--square not subset -->
<!ENTITY NotSquareSuperset "&#x02290;&#x00338;" ><!--negated set-like partial order operator -->
<!ENTITY NotSucceedsTilde "&#x0227F;&#x00338;" ><!--not succeeds or similar -->
<!ENTITY oopf             "&#x1D560;" ><!-- -->
<!ENTITY OverBar          "&#x000AF;" ><!--over bar -->
<!ENTITY OverBrace        "&#x0FE37;" ><!--over brace  -->
<!ENTITY OverBracket      "&#x023B4;" ><!--over bracket -->
<!ENTITY OverParenthesis  "&#x0FE35;" ><!--over parenthesis -->
<!ENTITY planckh          "&#x0210E;" ><!--the ring (skew field) of quaternions -->
<!ENTITY popf             "&#x1D561;" ><!-- -->
<!ENTITY Product          "&#x0220F;" ><!--alias for &prod -->
<!ENTITY qopf             "&#x1D562;" ><!-- -->
<!ENTITY rarrb            "&#x021E5;" ><!--leftwards arrow to bar -->
<!ENTITY RightDownTeeVector "&#x0295D;" ><!--down-right harpoon from bar -->
<!ENTITY RightDownVectorBar "&#x02955;" ><!--down-right harpoon to bar -->
<!ENTITY RightTeeVector   "&#x0295B;" ><!--right-up harpoon from bar -->
<!ENTITY RightTriangleBar "&#x029D0;" ><!--vertical bar, right triangle -->
<!ENTITY RightUpDownVector "&#x0294F;" ><!--up-right-down-right harpoon -->
<!ENTITY RightUpTeeVector "&#x0295C;" ><!--up-right harpoon from bar -->
<!ENTITY RightUpVectorBar "&#x02954;" ><!--up-right harpoon to bar -->
<!ENTITY RightVectorBar   "&#x02953;" ><!--up-right harpoon to bar -->
<!ENTITY ropf             "&#x1D563;" ><!-- -->
<!ENTITY RoundImplies     "&#x02970;" ><!--round implies -->
<!ENTITY RuleDelayed      "&#x029F4;" ><!--rule-delayed (colon right arrow) -->
<!ENTITY ShortDownArrow   "&#x02304;&#x0FE00;" ><!--short down arrow -->
<!ENTITY ShortUpArrow     "&#x02303;&#x0FE00;" ><!--short up arrow  -->
<!ENTITY sopf             "&#x1D564;" ><!-- -->
<!ENTITY Tab              "&#x00009;" ><!--tabulator stop; horizontal tabulation -->
<!ENTITY ThickSpace       "&#x02009;&#x0200A;&#x0200A;" ><!--space of width 5/18 em -->
<!ENTITY topf             "&#x1D565;" ><!-- -->
<!ENTITY UnderBar         "&#x00332;" ><!--combining low line -->
<!ENTITY UnderBrace       "&#x0FE38;" ><!--under brace  -->
<!ENTITY UnderBracket     "&#x023B5;" ><!--under bracket -->
<!ENTITY UnderParenthesis "&#x0FE36;" ><!--under parenthesis -->
<!ENTITY uopf             "&#x1D566;" ><!-- -->
<!ENTITY UpArrowBar       "&#x02912;" ><!--up arrow to bar -->
<!ENTITY VerticalLine     "&#x0007C;" ><!--alias ISONUM verbar -->
<!ENTITY VerticalSeparator "&#x02758;" ><!--vertical separating operator -->
<!ENTITY vopf             "&#x1D567;" ><!-- -->
<!ENTITY wopf             "&#x1D568;" ><!-- -->
<!ENTITY xopf             "&#x1D569;" ><!-- -->
<!ENTITY yopf             "&#x1D56A;" ><!-- -->
<!ENTITY zopf             "&#x1D56B;" ><!-- -->