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 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128
|
<!--
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 "⁡" ><!--character showing function application in presentation tagging -->
<!ENTITY aopf "𝕒" ><!-- -->
<!ENTITY bopf "𝕓" ><!-- -->
<!ENTITY copf "𝕔" ><!-- -->
<!ENTITY Cross "⨯" ><!--cross or vector product -->
<!ENTITY dd "ⅆ" ><!--d for use in differentials, e.g., within integrals -->
<!ENTITY DD "ⅅ" ><!--D for use in differentials, e.g., within integrals -->
<!ENTITY dopf "𝕕" ><!-- -->
<!ENTITY DownArrowBar "⤓" ><!--down arrow to bar -->
<!ENTITY DownBreve "̑" ><!--breve, inverted (non-spacing) -->
<!ENTITY DownLeftRightVector "⥐" ><!--left-down-right-down harpoon -->
<!ENTITY DownLeftTeeVector "⥞" ><!--left-down harpoon from bar -->
<!ENTITY DownLeftVectorBar "⥖" ><!--left-down harpoon to bar -->
<!ENTITY DownRightTeeVector "⥟" ><!--right-down harpoon from bar -->
<!ENTITY DownRightVectorBar "⥗" ><!--right-down harpoon to bar -->
<!ENTITY ee "ⅇ" ><!--e use for the exponential base of the natural logarithms -->
<!ENTITY EmptySmallSquare "◽" ><!--empty small square -->
<!ENTITY EmptyVerySmallSquare "" ><!--empty small square -->
<!ENTITY eopf "𝕖" ><!-- -->
<!ENTITY Equal "⩵" ><!--two consecutive equal signs -->
<!ENTITY FilledSmallSquare "◾" ><!--filled small square -->
<!ENTITY FilledVerySmallSquare "" ><!--filled very small square -->
<!ENTITY fopf "𝕗" ><!-- -->
<!ENTITY gopf "𝕘" ><!-- -->
<!ENTITY GreaterGreater "⪢" ><!--alias for GT -->
<!ENTITY hopf "𝕙" ><!-- -->
<!ENTITY HorizontalLine "─" ><!--short horizontal line -->
<!ENTITY ic "​" ><!--short form of ⁣ -->
<!ENTITY ii "ⅈ" ><!--i for use as a square root of -1 -->
<!ENTITY iopf "𝕚" ><!-- -->
<!ENTITY it "⁢" ><!--marks multiplication when it is understood without a mark -->
<!ENTITY jopf "𝕛" ><!-- -->
<!ENTITY kopf "𝕜" ><!-- -->
<!ENTITY larrb "⇤" ><!--leftwards arrow to bar -->
<!ENTITY LeftDownTeeVector "⥡" ><!--down-left harpoon from bar -->
<!ENTITY LeftDownVectorBar "⥙" ><!--down-left harpoon to bar -->
<!ENTITY LeftRightVector "⥎" ><!--left-up-right-up harpoon -->
<!ENTITY LeftTeeVector "⥚" ><!--left-up harpoon from bar -->
<!ENTITY LeftTriangleBar "⧏" ><!--not left triangle, vertical bar -->
<!ENTITY LeftUpDownVector "⥑" ><!--up-left-down-left harpoon -->
<!ENTITY LeftUpTeeVector "⥠" ><!--up-left harpoon from bar -->
<!ENTITY LeftUpVectorBar "⥘" ><!--up-left harpoon to bar -->
<!ENTITY LeftVectorBar "⥒" ><!--left-up harpoon to bar -->
<!ENTITY LessLess "⪡" ><!--alias for Lt -->
<!ENTITY lopf "𝕝" ><!-- -->
<!ENTITY mapstodown "↧" ><!--downwards arrow from bar -->
<!ENTITY mapstoleft "↤" ><!--leftwards arrow from bar -->
<!ENTITY mapstoup "↥" ><!--upwards arrow from bar -->
<!ENTITY MediumSpace " " ><!--space of width 4/18 em -->
<!ENTITY mopf "𝕞" ><!-- -->
<!ENTITY nbump "≎̸" ><!--not bumpy equals -->
<!ENTITY nbumpe "≏̸" ><!--not bumpy single equals -->
<!ENTITY NegativeMediumSpace " ︀" ><!--space of width -4/18 em -->
<!ENTITY NegativeThickSpace " ︀" ><!--space of width -5/18 em -->
<!ENTITY NegativeThinSpace " ︀" ><!--space of width -3/18 em -->
<!ENTITY NegativeVeryThinSpace " ︀" ><!--space of width -1/18 em -->
<!ENTITY nesim "≂̸" ><!--not equal or similar -->
<!ENTITY NewLine "
" ><!--force a line break; line feed -->
<!ENTITY NoBreak "" ><!--never break line here -->
<!ENTITY nopf "𝕟" ><!-- -->
<!ENTITY NotCupCap "≭" ><!--alias for &nasymp; -->
<!ENTITY NotHumpEqual "≏̸" ><!--alias for ≏̸ -->
<!ENTITY NotLeftTriangleBar "⧏̸" ><!--not left triangle, vertical bar -->
<!ENTITY NotNestedGreaterGreater "⒢̸" ><!--not double greater-than sign -->
<!ENTITY NotNestedLessLess "⒡̸" ><!--not double less-than sign -->
<!ENTITY NotRightTriangleBar "⧐̸" ><!--not vertical bar, right triangle -->
<!ENTITY NotSquareSubset "⊏̸" ><!--square not subset -->
<!ENTITY NotSquareSuperset "⊐̸" ><!--negated set-like partial order operator -->
<!ENTITY NotSucceedsTilde "≿̸" ><!--not succeeds or similar -->
<!ENTITY oopf "𝕠" ><!-- -->
<!ENTITY OverBar "¯" ><!--over bar -->
<!ENTITY OverBrace "︷" ><!--over brace -->
<!ENTITY OverBracket "⎴" ><!--over bracket -->
<!ENTITY OverParenthesis "︵" ><!--over parenthesis -->
<!ENTITY planckh "ℎ" ><!--the ring (skew field) of quaternions -->
<!ENTITY popf "𝕡" ><!-- -->
<!ENTITY Product "∏" ><!--alias for &prod -->
<!ENTITY qopf "𝕢" ><!-- -->
<!ENTITY rarrb "⇥" ><!--leftwards arrow to bar -->
<!ENTITY RightDownTeeVector "⥝" ><!--down-right harpoon from bar -->
<!ENTITY RightDownVectorBar "⥕" ><!--down-right harpoon to bar -->
<!ENTITY RightTeeVector "⥛" ><!--right-up harpoon from bar -->
<!ENTITY RightTriangleBar "⧐" ><!--vertical bar, right triangle -->
<!ENTITY RightUpDownVector "⥏" ><!--up-right-down-right harpoon -->
<!ENTITY RightUpTeeVector "⥜" ><!--up-right harpoon from bar -->
<!ENTITY RightUpVectorBar "⥔" ><!--up-right harpoon to bar -->
<!ENTITY RightVectorBar "⥓" ><!--up-right harpoon to bar -->
<!ENTITY ropf "𝕣" ><!-- -->
<!ENTITY RoundImplies "⥰" ><!--round implies -->
<!ENTITY RuleDelayed "⧴" ><!--rule-delayed (colon right arrow) -->
<!ENTITY ShortDownArrow "⌄︀" ><!--short down arrow -->
<!ENTITY ShortUpArrow "⌃︀" ><!--short up arrow -->
<!ENTITY sopf "𝕤" ><!-- -->
<!ENTITY Tab "	" ><!--tabulator stop; horizontal tabulation -->
<!ENTITY ThickSpace "   " ><!--space of width 5/18 em -->
<!ENTITY topf "𝕥" ><!-- -->
<!ENTITY UnderBar "̲" ><!--combining low line -->
<!ENTITY UnderBrace "︸" ><!--under brace -->
<!ENTITY UnderBracket "⎵" ><!--under bracket -->
<!ENTITY UnderParenthesis "︶" ><!--under parenthesis -->
<!ENTITY uopf "𝕦" ><!-- -->
<!ENTITY UpArrowBar "⤒" ><!--up arrow to bar -->
<!ENTITY VerticalLine "|" ><!--alias ISONUM verbar -->
<!ENTITY VerticalSeparator "❘" ><!--vertical separating operator -->
<!ENTITY vopf "𝕧" ><!-- -->
<!ENTITY wopf "𝕨" ><!-- -->
<!ENTITY xopf "𝕩" ><!-- -->
<!ENTITY yopf "𝕪" ><!-- -->
<!ENTITY zopf "𝕫" ><!-- -->
|