Return to mmlextra.ent CVS log

Up to [LON-CAPA] / loncom / MathML

Annotation of loncom/MathML/mmlextra.ent, revision 1.1

1.1     ! harris41    1: <!-- 
        !             2: 
        !             3:      File mmlextra.ent produced by the dsssl script ent.dsl
        !             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 in the STIX proposal for characters
        !            12:      for Mathematics.
        !            13: 
        !            14:      The STIX assignments are temporary and will change if
        !            15:      the proposal or some variant of it is adopted by the
        !            16:      Unicode Consortium.
        !            17: 
        !            18:      Entity names in this file are derived from files carrying the
        !            19:      following notice:
        !            20: 
        !            21: -->
        !            22: 
        !            23: <!ENTITY af         "&#59552;" ><!--UE8A0 short form of &ApplyFunction; -->
        !            24: <!ENTITY ApplyFunction "&#59552;" ><!--UE8A0 character showing function application in presentation tagging -->
        !            25: <!ENTITY Assign     "&#59483;" ><!--UE85B assignment operator -->
        !            26: <!ENTITY BadBreak   "&#59540;" ><!--UE894 if a linebreak is needed, try to avoid breaking here -->
        !            27: <!ENTITY CapitalDifferentialD "&#63307;" ><!--UF74B D for use in differentials, e.g., within integrals -->
        !            28: <!ENTITY Cross      "&#58905;" ><!--UE619 cross or vector product -->
        !            29: <!ENTITY dd         "&#63308;" ><!--UF74C short form of &DifferentialD; -->
        !            30: <!ENTITY DD         "&#63307;" ><!--UF74B short form of CapitalDifferentialD -->
        !            31: <!ENTITY DifferentialD "&#63308;" ><!--UF74C d for use in differentials, e.g., within integrals -->
        !            32: <!ENTITY DownArrowBar "&#62724;" ><!--UF504 down arrow to bar -->
        !            33: <!ENTITY DownBreve  "&#785;"   ><!--U0311 breve, inverted (non-spacing) -->
        !            34: <!ENTITY DownLeftRightVector "&#62731;" ><!--UF50B left-down-right-down harpoon -->
        !            35: <!ENTITY DownLeftTeeVector "&#62734;" ><!--UF50E left-down harpoon from bar -->
        !            36: <!ENTITY DownLeftVectorBar "&#62732;" ><!--UF50C left-down harpoon to bar -->
        !            37: <!ENTITY DownRightTeeVector "&#62735;" ><!--UF50F right-down harpoon from bar -->
        !            38: <!ENTITY DownRightVectorBar "&#62733;" ><!--UF50D right-down harpoon to bar -->
        !            39: <!ENTITY DownTeeArrow "&#8615;"  ><!--U21A7 alias for mapstodown -->
        !            40: <!ENTITY ee         "&#63309;" ><!--UF74D short form of &ExponentialE; -->
        !            41: <!ENTITY EmptySmallSquare "&#62759;" ><!--UF527 empty small square -->
        !            42: <!ENTITY EmptyVerySmallSquare "&#62768;" ><!--UF530 empty small square -->
        !            43: <!ENTITY Equal      "&#62513;" ><!--UF431 two consecutive equal signs -->
        !            44: <!ENTITY ExponentialE "&#63309;" ><!--UF74D e use for the exponential base of the natural logarithms -->
        !            45: <!ENTITY false      "&#59559;" ><!--UE8A7 logical constant false -->
        !            46: <!ENTITY FilledSmallSquare "&#62760;" ><!--UF528 filled small square -->
        !            47: <!ENTITY FilledVerySmallSquare "&#62761;" ><!--UF529 filled very small square -->
        !            48: <!ENTITY GoodBreak  "&#59539;" ><!--UE893 if a linebreak is needed, here is a good spot -->
        !            49: <!ENTITY GreaterGreater "&#58103;" ><!--UE2F7 alias for GT -->
        !            50: <!ENTITY HorizontalLine "&#59481;" ><!--UE859 short horizontal line  -->
        !            51: <!ENTITY ic         "&#59548;" ><!--UE89C short form of  &InvisibleComma; -->
        !            52: <!ENTITY ii         "&#63310;" ><!--UF74E short form of &ImaginaryI; -->
        !            53: <!ENTITY it         "&#59550;" ><!--UE89E short form of &InvisibleTimes; -->
        !            54: <!ENTITY ImaginaryI "&#63310;" ><!--UF74E i for use as a square root of -1 -->
        !            55: <!ENTITY IndentingNewLine "&#59537;" ><!--UE891 force a line break and indent appropriately on next line -->
        !            56: <!ENTITY InvisibleComma "&#59548;" ><!--UE89C used as a separator, e.g., in indices -->
        !            57: <!ENTITY InvisibleTimes "&#59550;" ><!--UE89E marks multiplication when it is understood without a mark -->
        !            58: <!ENTITY larrb      "&#8676;"  ><!--U21E4 leftwards arrow to bar -->
        !            59: <!ENTITY LeftArrowBar "&#8676;"  ><!--U21E4 alias for larrb -->
        !            60: <!ENTITY LeftBracketingBar "&#62979;" ><!--UF603 left vertical delimiter -->
        !            61: <!ENTITY LeftDoubleBracketingBar "&#62981;" ><!--UF605 left double vertical delimiter -->
        !            62: <!ENTITY LeftDownTeeVector "&#62745;" ><!--UF519 down-left harpoon from bar -->
        !            63: <!ENTITY LeftDownVectorBar "&#62743;" ><!--UF517 down-left harpoon to bar -->
        !            64: <!ENTITY LeftRightVector  "&#62725;" ><!--UF505 left-up-right-up harpoon -->
        !            65: <!ENTITY LeftSkeleton "&#59472;" ><!--UE850 start of missing information -->
        !            66: <!ENTITY LeftTeeArrow "&#8612;"  ><!--U21A4 alias for mapstoleft -->
        !            67: <!ENTITY LeftTeeVector "&#62729;" ><!--UF509 left-up harpoon from bar -->
        !            68: <!ENTITY LeftTriangleBar "&#62480;" ><!--UF410 not left triangle, vertical bar -->
        !            69: <!ENTITY LeftUpDownVector "&#62741;" ><!--UF515 up-left-down-left harpoon -->
        !            70: <!ENTITY LeftUpTeeVector "&#62744;" ><!--UF518 up-left harpoon from bar -->
        !            71: <!ENTITY LeftUpVectorBar "&#62742;" ><!--UF516 up-left harpoon to bar -->
        !            72: <!ENTITY LeftVectorBar  "&#62727;" ><!--UF507 left-up harpoon to bar -->
        !            73: <!ENTITY LessLess   "&#58107;" ><!--UE2FB alias for Lt -->
        !            74: <!ENTITY mapstodown "&#8615;"  ><!--U21A7 downwards arrow from bar -->
        !            75: <!ENTITY mapstoleft "&#8612;"  ><!--U21A4 leftwards arrow from bar -->
        !            76: <!ENTITY mapstoup   "&#8613;"  ><!--U21A5 upwards arrow from bar -->
        !            77: <!ENTITY nbump      "&#58902;" ><!--UE616 not bumpy equals -->
        !            78: <!ENTITY nbumpe     "&#59469;" ><!--UE84D not bumpy single equals -->
        !            79: <!ENTITY nesim      "&#59470;" ><!--UE84E not equal or similar -->
        !            80: <!ENTITY NegativeMediumSpace "&#59546;" ><!--UE89A space of width -4/18 em -->
        !            81: <!ENTITY NegativeThickSpace "&#59547;" ><!--UE89B space of width -5/18 em -->
        !            82: <!ENTITY NegativeThinSpace "&#59545;" ><!--UE899 space of width -3/18 em -->
        !            83: <!ENTITY NegativeVeryThinSpace "&#59544;" ><!--UE898 space of width -1/18 em -->
        !            84: <!ENTITY NewLine    "&#10;"    ><!--U000A force a line break; line feed -->
        !            85: <!ENTITY NoBreak    "&#59538;" ><!--UE892 never break line here -->
        !            86: <!ENTITY NotANumber "&#59562;" ><!--UE8AA  used in MML 4.3.2.9 -->
        !            87: <!ENTITY NotCupCap  "&#8813;"  ><!--U226D alias for &nasymp; -->
        !            88: <!ENTITY NotEqualTilde "&#59470;" ><!--UE84E alias for  &nesim; -->
        !            89: <!ENTITY NotHumpDownHump "&#58902;" ><!--UE616 alias for &nbump; -->
        !            90: <!ENTITY NotHumpEqual "&#59469;" ><!--UE84D alias for &nbumpe; -->
        !            91: <!ENTITY NotLeftTriangleBar "&#62482;" ><!--UF412 not left triangle, vertical bar -->
        !            92: <!ENTITY NotNestedGreaterGreater "&#62504;" ><!--UF428 not double greater-than sign -->
        !            93: <!ENTITY NotNestedLessLess "&#62499;" ><!--UF423 not double less-than sign -->
        !            94: <!ENTITY NotRightTriangleBar "&#62483;" ><!--UF413 not vertical bar, right triangle -->
        !            95: <!ENTITY NotSquareSubset "&#58884;" ><!--UE604 square not subset -->
        !            96: <!ENTITY NotSquareSuperset "&#58901;" ><!--UE615 negated set-like partial order operator -->
        !            97: <!ENTITY NotSucceedsTilde "&#59447;" ><!--UE837 not succeeds or similar -->
        !            98: <!ENTITY OverBar    "&#175;"   ><!--U00AF over bar -->
        !            99: <!ENTITY OverBrace  "&#62994;" ><!--UF612 over brace  -->
        !           100: <!ENTITY OverBracket "&#62996;" ><!--UF614 over bracket -->
        !           101: <!ENTITY OverParenthesis "&#62992;" ><!--UF610 over parenthesis -->
        !           102: <!ENTITY Product    "&#8719;"  ><!--U220F alias for &prod -->
        !           103: <!ENTITY rarrb      "&#8677;"  ><!--U21E5 leftwards arrow to bar -->
        !           104: <!ENTITY RightArrowBar "&#8677;"  ><!--U21E5 alias for rarrb -->
        !           105: <!ENTITY RightBracketingBar "&#62980;" ><!--UF604 right vertical delimiter -->
        !           106: <!ENTITY RightDoubleBracketingBar "&#62982;" ><!--UF606 right double vertical delimiter -->
        !           107: <!ENTITY RightDownTeeVector "&#62740;" ><!--UF514 down-right harpoon from bar -->
        !           108: <!ENTITY RightDownVectorBar "&#62738;" ><!--UF512 down-right harpoon to bar -->
        !           109: <!ENTITY RightSkeleton "&#59473;" ><!--UE851 end of missing information -->
        !           110: <!ENTITY RightTeeVector "&#62730;" ><!--UF50A right-up harpoon from bar -->
        !           111: <!ENTITY RightTriangleBar "&#62481;" ><!--UF411 vertical bar, right triangle -->
        !           112: <!ENTITY RightUpDownVector "&#62736;" ><!--UF510 up-right-down-right harpoon -->
        !           113: <!ENTITY RightUpTeeVector "&#62739;" ><!--UF513 up-right harpoon from bar -->
        !           114: <!ENTITY RightUpVectorBar "&#62737;" ><!--UF511 up-right harpoon to bar -->
        !           115: <!ENTITY RightVectorBar "&#62728;" ><!--UF508 up-right harpoon to bar -->
        !           116: <!ENTITY RoundImplies "&#62756;" ><!--UF524 round implies -->
        !           117: <!ENTITY RuleDelayed "&#62751;" ><!--UF51F rule-delayed (colon right arrow) -->
        !           118: <!ENTITY ShortDownArrow "&#59519;" ><!--UE87F short down arrow -->
        !           119: <!ENTITY ShortUpArrow "&#59520;" ><!--UE880 sort up arrow  -->
        !           120: <!ENTITY true       "&#59563;" ><!--UE8AB logical constant true -->
        !           121: <!ENTITY Tab        "&#9;"     ><!--U0009 tabulator stop; horizontal tabulation -->
        !           122: <!ENTITY ThickSpace "&#59543;" ><!--UE897 space of width 5/18 em -->
        !           123: <!ENTITY UnderBar   "&#818;"   ><!--U0332 combining low line -->
        !           124: <!ENTITY UnderBrace "&#62995;" ><!--UF613 under brace  -->
        !           125: <!ENTITY UnderBracket "&#62997;" ><!--UF615 under bracket -->
        !           126: <!ENTITY UnderParenthesis "&#62993;" ><!--UF611 under parenthesis -->
        !           127: <!ENTITY UpArrowBar "&#62723;" ><!--UF503 up arrow to bar -->
        !           128: <!ENTITY UpTeeArrow "&#8613;"  ><!--U21A5 Alias mapstoup -->
        !           129: <!ENTITY VerticalLine "&#59482;" ><!--UE85A short vertical line  -->
        !           130: <!ENTITY VerticalSeparator "&#59484;" ><!--UE85C vertical separating operator -->
        !           131: <!ENTITY ZeroWidthSpace "&#8203;"  ><!--U200B zero width space -->