home *** CD-ROM | disk | FTP | other *** search
- <!--
-
- File mmlextra.ent produced by the dsssl script ent.dsl
- 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 in the STIX proposal for characters
- for Mathematics.
-
- The STIX assignments are temporary and will change if
- the proposal or some variant of it is adopted by the
- Unicode Consortium.
-
- Entity names in this file are derived from files carrying the
- following notice:
-
- -->
-
- <!ENTITY af "" ><!--UE8A0 short form of ⁡ -->
- <!ENTITY ApplyFunction "" ><!--UE8A0 character showing function application in presentation tagging -->
- <!ENTITY Assign "" ><!--UE85B assignment operator -->
- <!ENTITY BadBreak "" ><!--UE894 if a linebreak is needed, try to avoid breaking here -->
- <!ENTITY CapitalDifferentialD "" ><!--UF74B D for use in differentials, e.g., within integrals -->
- <!ENTITY Cross "" ><!--UE619 cross or vector product -->
- <!ENTITY dd "" ><!--UF74C short form of ⅆ -->
- <!ENTITY DD "" ><!--UF74B short form of CapitalDifferentialD -->
- <!ENTITY DifferentialD "" ><!--UF74C d for use in differentials, e.g., within integrals -->
- <!ENTITY DownArrowBar "" ><!--UF504 down arrow to bar -->
- <!ENTITY DownBreve "̑" ><!--U0311 breve, inverted (non-spacing) -->
- <!ENTITY DownLeftRightVector "" ><!--UF50B left-down-right-down harpoon -->
- <!ENTITY DownLeftTeeVector "" ><!--UF50E left-down harpoon from bar -->
- <!ENTITY DownLeftVectorBar "" ><!--UF50C left-down harpoon to bar -->
- <!ENTITY DownRightTeeVector "" ><!--UF50F right-down harpoon from bar -->
- <!ENTITY DownRightVectorBar "" ><!--UF50D right-down harpoon to bar -->
- <!ENTITY DownTeeArrow "↧" ><!--U21A7 alias for mapstodown -->
- <!ENTITY ee "" ><!--UF74D short form of ⅇ -->
- <!ENTITY EmptySmallSquare "" ><!--UF527 empty small square -->
- <!ENTITY EmptyVerySmallSquare "" ><!--UF530 empty small square -->
- <!ENTITY Equal "" ><!--UF431 two consecutive equal signs -->
- <!ENTITY ExponentialE "" ><!--UF74D e use for the exponential base of the natural logarithms -->
- <!ENTITY false "" ><!--UE8A7 logical constant false -->
- <!ENTITY FilledSmallSquare "" ><!--UF528 filled small square -->
- <!ENTITY FilledVerySmallSquare "" ><!--UF529 filled very small square -->
- <!ENTITY GoodBreak "" ><!--UE893 if a linebreak is needed, here is a good spot -->
- <!ENTITY GreaterGreater "" ><!--UE2F7 alias for GT -->
- <!ENTITY HorizontalLine "" ><!--UE859 short horizontal line -->
- <!ENTITY ic "" ><!--UE89C short form of ⁣ -->
- <!ENTITY ii "" ><!--UF74E short form of ⅈ -->
- <!ENTITY it "" ><!--UE89E short form of ⁢ -->
- <!ENTITY ImaginaryI "" ><!--UF74E i for use as a square root of -1 -->
- <!ENTITY IndentingNewLine "" ><!--UE891 force a line break and indent appropriately on next line -->
- <!ENTITY InvisibleComma "" ><!--UE89C used as a separator, e.g., in indices -->
- <!ENTITY InvisibleTimes "" ><!--UE89E marks multiplication when it is understood without a mark -->
- <!ENTITY larrb "⇤" ><!--U21E4 leftwards arrow to bar -->
- <!ENTITY LeftArrowBar "⇤" ><!--U21E4 alias for larrb -->
- <!ENTITY LeftBracketingBar "" ><!--UF603 left vertical delimiter -->
- <!ENTITY LeftDoubleBracketingBar "" ><!--UF605 left double vertical delimiter -->
- <!ENTITY LeftDownTeeVector "" ><!--UF519 down-left harpoon from bar -->
- <!ENTITY LeftDownVectorBar "" ><!--UF517 down-left harpoon to bar -->
- <!ENTITY LeftRightVector "" ><!--UF505 left-up-right-up harpoon -->
- <!ENTITY LeftSkeleton "" ><!--UE850 start of missing information -->
- <!ENTITY LeftTeeArrow "↤" ><!--U21A4 alias for mapstoleft -->
- <!ENTITY LeftTeeVector "" ><!--UF509 left-up harpoon from bar -->
- <!ENTITY LeftTriangleBar "" ><!--UF410 not left triangle, vertical bar -->
- <!ENTITY LeftUpDownVector "" ><!--UF515 up-left-down-left harpoon -->
- <!ENTITY LeftUpTeeVector "" ><!--UF518 up-left harpoon from bar -->
- <!ENTITY LeftUpVectorBar "" ><!--UF516 up-left harpoon to bar -->
- <!ENTITY LeftVectorBar "" ><!--UF507 left-up harpoon to bar -->
- <!ENTITY LessLess "" ><!--UE2FB alias for Lt -->
- <!ENTITY mapstodown "↧" ><!--U21A7 downwards arrow from bar -->
- <!ENTITY mapstoleft "↤" ><!--U21A4 leftwards arrow from bar -->
- <!ENTITY mapstoup "↥" ><!--U21A5 upwards arrow from bar -->
- <!ENTITY nbump "" ><!--UE616 not bumpy equals -->
- <!ENTITY nbumpe "" ><!--UE84D not bumpy single equals -->
- <!ENTITY nesim "" ><!--UE84E not equal or similar -->
- <!ENTITY NegativeMediumSpace "" ><!--UE89A space of width -4/18 em -->
- <!ENTITY NegativeThickSpace "" ><!--UE89B space of width -5/18 em -->
- <!ENTITY NegativeThinSpace "" ><!--UE899 space of width -3/18 em -->
- <!ENTITY NegativeVeryThinSpace "" ><!--UE898 space of width -1/18 em -->
- <!ENTITY NewLine "
" ><!--U000A force a line break; line feed -->
- <!ENTITY NoBreak "" ><!--UE892 never break line here -->
- <!ENTITY NotANumber "" ><!--UE8AA used in MML 4.3.2.9 -->
- <!ENTITY NotCupCap "≭" ><!--U226D alias for &nasymp; -->
- <!ENTITY NotEqualTilde "" ><!--UE84E alias for ≂̸ -->
- <!ENTITY NotHumpDownHump "" ><!--UE616 alias for ≎̸ -->
- <!ENTITY NotHumpEqual "" ><!--UE84D alias for ≏̸ -->
- <!ENTITY NotLeftTriangleBar "" ><!--UF412 not left triangle, vertical bar -->
- <!ENTITY NotNestedGreaterGreater "" ><!--UF428 not double greater-than sign -->
- <!ENTITY NotNestedLessLess "" ><!--UF423 not double less-than sign -->
- <!ENTITY NotRightTriangleBar "" ><!--UF413 not vertical bar, right triangle -->
- <!ENTITY NotSquareSubset "" ><!--UE604 square not subset -->
- <!ENTITY NotSquareSuperset "" ><!--UE615 negated set-like partial order operator -->
- <!ENTITY NotSucceedsTilde "" ><!--UE837 not succeeds or similar -->
- <!ENTITY OverBar "¯" ><!--U00AF over bar -->
- <!ENTITY OverBrace "" ><!--UF612 over brace -->
- <!ENTITY OverBracket "" ><!--UF614 over bracket -->
- <!ENTITY OverParenthesis "" ><!--UF610 over parenthesis -->
- <!ENTITY Product "∏" ><!--U220F alias for &prod -->
- <!ENTITY rarrb "⇥" ><!--U21E5 leftwards arrow to bar -->
- <!ENTITY RightArrowBar "⇥" ><!--U21E5 alias for rarrb -->
- <!ENTITY RightBracketingBar "" ><!--UF604 right vertical delimiter -->
- <!ENTITY RightDoubleBracketingBar "" ><!--UF606 right double vertical delimiter -->
- <!ENTITY RightDownTeeVector "" ><!--UF514 down-right harpoon from bar -->
- <!ENTITY RightDownVectorBar "" ><!--UF512 down-right harpoon to bar -->
- <!ENTITY RightSkeleton "" ><!--UE851 end of missing information -->
- <!ENTITY RightTeeVector "" ><!--UF50A right-up harpoon from bar -->
- <!ENTITY RightTriangleBar "" ><!--UF411 vertical bar, right triangle -->
- <!ENTITY RightUpDownVector "" ><!--UF510 up-right-down-right harpoon -->
- <!ENTITY RightUpTeeVector "" ><!--UF513 up-right harpoon from bar -->
- <!ENTITY RightUpVectorBar "" ><!--UF511 up-right harpoon to bar -->
- <!ENTITY RightVectorBar "" ><!--UF508 up-right harpoon to bar -->
- <!ENTITY RoundImplies "" ><!--UF524 round implies -->
- <!ENTITY RuleDelayed "" ><!--UF51F rule-delayed (colon right arrow) -->
- <!ENTITY ShortDownArrow "" ><!--UE87F short down arrow -->
- <!ENTITY ShortUpArrow "" ><!--UE880 sort up arrow -->
- <!ENTITY true "" ><!--UE8AB logical constant true -->
- <!ENTITY Tab " " ><!--U0009 tabulator stop; horizontal tabulation -->
- <!ENTITY ThickSpace "" ><!--UE897 space of width 5/18 em -->
- <!ENTITY UnderBar "̲" ><!--U0332 combining low line -->
- <!ENTITY UnderBrace "" ><!--UF613 under brace -->
- <!ENTITY UnderBracket "" ><!--UF615 under bracket -->
- <!ENTITY UnderParenthesis "" ><!--UF611 under parenthesis -->
- <!ENTITY UpArrowBar "" ><!--UF503 up arrow to bar -->
- <!ENTITY UpTeeArrow "↥" ><!--U21A5 Alias mapstoup -->
- <!ENTITY VerticalLine "" ><!--UE85A short vertical line -->
- <!ENTITY VerticalSeparator "" ><!--UE85C vertical separating operator -->
- <!ENTITY ZeroWidthSpace "" ><!--U200B zero width space -->
-