docs/xslt/db2latex-xsl/xsl/mathml/ent/mmlextra.ent

   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;" ><!--short form of &ApplyFunction; -->
  21 <!ENTITY ApplyFunction    "&#x02061;" ><!--character showing function application in presentation tagging -->
  22 <!ENTITY Assign           "&#x02254;" ><!--assignment operator -->
  23 <!ENTITY CapitalDifferentialD "&#x02145;" ><!--D for use in differentials, e.g., within integrals -->
  24 <!ENTITY Cayleys          "&#x0212D;" ><!--the non-associative ring of octonions or Cayley numbers -->
  25 <!ENTITY complexes        "&#x02102;" ><!--the field of complex numbers -->
  26 <!ENTITY Cross            "&#x02A2F;" ><!--cross or vector product -->
  27 <!ENTITY dd               "&#x02146;" ><!--short form of &DifferentialD; -->
  28 <!ENTITY DD               "&#x02145;" ><!--short form of CapitalDifferentialD -->
  29 <!ENTITY DifferentialD    "&#x02146;" ><!--d for use in differentials, e.g., within integrals -->
  30 <!ENTITY DownArrowBar     "&#x02913;" ><!--down arrow to bar -->
  31 <!ENTITY DownBreve        "&#x00311;" ><!--breve, inverted (non-spacing) -->
  32 <!ENTITY DownLeftRightVector "&#x02950;" ><!--left-down-right-down harpoon -->
  33 <!ENTITY DownLeftTeeVector "&#x0295E;" ><!--left-down harpoon from bar -->
  34 <!ENTITY DownLeftVectorBar "&#x02956;" ><!--left-down harpoon to bar -->
  35 <!ENTITY DownRightTeeVector "&#x0295F;" ><!--right-down harpoon from bar -->
  36 <!ENTITY DownRightVectorBar "&#x02957;" ><!--right-down harpoon to bar -->
  37 <!ENTITY DownTeeArrow     "&#x021A7;" ><!--alias for mapstodown -->
  38 <!ENTITY ee               "&#x02147;" ><!--short form of &ExponentialE; -->
  39 <!ENTITY EmptySmallSquare "&#x025FD;" ><!--empty small square -->
  40 <!ENTITY EmptyVerySmallSquare "&#x025FD;" ><!--empty small square -->
  41 <!ENTITY Equal            "&#x02A75;" ><!--two consecutive equal signs -->
  42 <!ENTITY expectation      "&#x02130;" ><!--expectation (operator) -->
  43 <!ENTITY exponentiale     "&#x0212F;" ><!--base of the Napierian logarithms -->
  44 <!ENTITY ExponentialE     "&#x02147;" ><!--e use for the exponential base of the natural logarithms -->
  45 <!ENTITY FilledSmallSquare "&#x025FE;" ><!--filled small square -->
  46 <!ENTITY FilledVerySmallSquare "&#x025FE;" ><!--filled very small square -->
  47 <!ENTITY Fouriertrf       "&#x02131;" ><!--Fourier transform -->
  48 <!ENTITY GreaterGreater   "&#x02AA2;" ><!--alias for GT -->
  49 <!ENTITY HilbertSpace     "&#x0210B;" ><!--Hilbert space -->
  50 <!ENTITY HorizontalLine   "&#x02500;" ><!--short horizontal line  -->
  51 <!ENTITY ic               "&#x0200B;" ><!--short form of  &InvisibleComma; -->
  52 <!ENTITY ii               "&#x02148;" ><!--short form of &ImaginaryI; -->
  53 <!ENTITY ImaginaryI       "&#x02148;" ><!--i for use as a square root of -1 -->
  54 <!ENTITY imagline         "&#x02110;" ><!--the geometric imaginary line -->
  55 <!ENTITY integers         "&#x02124;" ><!--the ring of integers -->
  56 <!ENTITY InvisibleComma   "&#x0200B;" ><!--used as a separator, e.g., in indices -->
  57 <!ENTITY InvisibleTimes   "&#x02062;" ><!--marks multiplication when it is understood without a mark -->
  58 <!ENTITY it               "&#x02062;" ><!--short form of &InvisibleTimes; -->
  59 <!ENTITY Laplacetrf       "&#x02112;" ><!--Laplace transform -->
  60 <!ENTITY larrb            "&#x021E4;" ><!--leftwards arrow to bar -->
  61 <!ENTITY LeftArrowBar     "&#x021E4;" ><!--alias for larrb -->
  62 <!ENTITY LeftDownTeeVector "&#x02961;" ><!--down-left harpoon from bar -->
  63 <!ENTITY LeftDownVectorBar "&#x02959;" ><!--down-left harpoon to bar -->
  64 <!ENTITY LeftRightVector  "&#x0294E;" ><!--left-up-right-up harpoon -->
  65 <!ENTITY LeftTeeArrow     "&#x021A4;" ><!--alias for mapstoleft -->
  66 <!ENTITY LeftTeeVector    "&#x0295A;" ><!--left-up harpoon from bar -->
  67 <!ENTITY LeftTriangleBar  "&#x029CF;" ><!--not left triangle, vertical bar -->
  68 <!ENTITY LeftUpDownVector "&#x02951;" ><!--up-left-down-left harpoon -->
  69 <!ENTITY LeftUpTeeVector  "&#x02960;" ><!--up-left harpoon from bar -->
  70 <!ENTITY LeftUpVectorBar  "&#x02958;" ><!--up-left harpoon to bar -->
  71 <!ENTITY LeftVectorBar    "&#x02952;" ><!--left-up harpoon to bar -->
  72 <!ENTITY LessLess         "&#x02AA1;" ><!--alias for Lt -->
  73 <!ENTITY mapstodown       "&#x021A7;" ><!--downwards arrow from bar -->
  74 <!ENTITY mapstoleft       "&#x021A4;" ><!--leftwards arrow from bar -->
  75 <!ENTITY mapstoup         "&#x021A5;" ><!--upwards arrow from bar -->
  76 <!ENTITY Mellintrf        "&#x02133;" ><!--Mellin transform -->
  77 <!ENTITY naturals         "&#x02115;" ><!--the semi-ring of natural numbers -->
  78 <!ENTITY nbump            "&#x0224E;&#x00338;" ><!--not bumpy equals -->
  79 <!ENTITY nbumpe           "&#x0224F;&#x00338;" ><!--not bumpy single equals -->
  80 <!ENTITY NegativeMediumSpace "&#x0205F;&#x02063;" ><!--space of width -4/18 em -->
  81 <!ENTITY NegativeThickSpace "&#x02005;&#x02063;" ><!--space of width -5/18 em -->
  82 <!ENTITY NegativeThinSpace "&#x02009;&#x02063;" ><!--space of width -3/18 em -->
  83 <!ENTITY NegativeVeryThinSpace "&#x0200A;&#x02063;" ><!--space of width -1/18 em -->
  84 <!ENTITY nesim            "&#x02242;&#x00338;" ><!--not equal or similar -->
  85 <!ENTITY NewLine          "&#x0000A;" ><!--force a line break; line feed -->
  86 <!ENTITY NoBreak          "&#x0FEFF;" ><!--never break line here -->
  87 <!ENTITY NotCupCap        "&#x0226D;" ><!--alias for &nasymp; -->
  88 <!ENTITY NotEqualTilde    "&#x02242;&#x00338;" ><!--alias for  &nesim; -->
  89 <!ENTITY NotHumpDownHump  "&#x0224E;&#x00338;" ><!--alias for &nbump; -->
  90 <!ENTITY NotHumpEqual     "&#x0224F;&#x00338;" ><!--alias for &nbumpe; -->
  91 <!ENTITY NotLeftTriangleBar "&#x029CF;&#x00338;" ><!--not left triangle, vertical bar -->
  92 <!ENTITY NotNestedGreaterGreater "&#x024A2;&#x00338;" ><!--not double greater-than sign -->
  93 <!ENTITY NotNestedLessLess "&#x024A1;&#x00338;" ><!--not double less-than sign -->
  94 <!ENTITY NotRightTriangleBar "&#x029D0;&#x00338;" ><!--not vertical bar, right triangle -->
  95 <!ENTITY NotSquareSubset  "&#x0228F;&#x00338;" ><!--square not subset -->
  96 <!ENTITY NotSquareSuperset "&#x02290;&#x00338;" ><!--negated set-like partial order operator -->
  97 <!ENTITY NotSucceedsTilde "&#x0227F;&#x00338;" ><!--not succeeds or similar -->
  98 <!ENTITY OverBar          "&#x000AF;" ><!--over bar -->
  99 <!ENTITY OverBrace        "&#x0FE37;" ><!--over brace  -->
 100 <!ENTITY OverBracket      "&#x023B4;" ><!--over bracket -->
 101 <!ENTITY OverParenthesis  "&#x0FE35;" ><!--over parenthesis -->
 102 <!ENTITY planckh          "&#x0210E;" ><!--the ring (skew field) of quaternions -->
 103 <!ENTITY Poincareplane    "&#x0210C;" ><!--the Poincare upper half-plane -->
 104 <!ENTITY primes           "&#x02119;" ><!--the prime natural numbers -->
 105 <!ENTITY Product          "&#x0220F;" ><!--alias for &prod -->
 106 <!ENTITY quaternions      "&#x0210D;" ><!--the ring (skew field) of quaternions -->
 107 <!ENTITY rarrb            "&#x021E5;" ><!--leftwards arrow to bar -->
 108 <!ENTITY rationals        "&#x0211A;" ><!--the field of rational numbers -->
 109 <!ENTITY realine          "&#x0211B;" ><!--the geometric real line -->
 110 <!ENTITY reals            "&#x0211D;" ><!--the field of real numbers -->
 111 <!ENTITY RightArrowBar    "&#x021E5;" ><!--alias for rarrb -->
 112 <!ENTITY RightDownTeeVector "&#x0295D;" ><!--down-right harpoon from bar -->
 113 <!ENTITY RightDownVectorBar "&#x02955;" ><!--down-right harpoon to bar -->
 114 <!ENTITY RightTeeVector   "&#x0295B;" ><!--right-up harpoon from bar -->
 115 <!ENTITY RightTriangleBar "&#x029D0;" ><!--vertical bar, right triangle -->
 116 <!ENTITY RightUpDownVector "&#x0294F;" ><!--up-right-down-right harpoon -->
 117 <!ENTITY RightUpTeeVector "&#x0295C;" ><!--up-right harpoon from bar -->
 118 <!ENTITY RightUpVectorBar "&#x02954;" ><!--up-right harpoon to bar -->
 119 <!ENTITY RightVectorBar   "&#x02953;" ><!--up-right harpoon to bar -->
 120 <!ENTITY RoundImplies     "&#x02970;" ><!--round implies -->
 121 <!ENTITY RuleDelayed      "&#x029F4;" ><!--rule-delayed (colon right arrow) -->
 122 <!ENTITY ShortDownArrow   "&#x02304;&#x02063;" ><!--short down arrow -->
 123 <!ENTITY ShortUpArrow     "&#x02303;&#x02063;" ><!--short up arrow  -->
 124 <!ENTITY Tab              "&#x00009;" ><!--tabulator stop; horizontal tabulation -->
 125 <!ENTITY ThickSpace       "&#x02005;" ><!--space of width 5/18 em -->
 126 <!ENTITY UnderBar         "&#x00332;" ><!--combining low line -->
 127 <!ENTITY UnderBrace       "&#x0FE38;" ><!--under brace  -->
 128 <!ENTITY UnderBracket     "&#x023B5;" ><!--under bracket -->
 129 <!ENTITY UpArrowBar       "&#x02912;" ><!--up arrow to bar -->
 130 <!ENTITY UpTeeArrow       "&#x021A5;" ><!--Alias mapstoup -->
 131 <!ENTITY VerticalLine     "&#x02758;" ><!--short vertical line  -->
 132 <!ENTITY VerticalSeparator "&#x02758;" ><!--vertical separating operator -->
 133 <!ENTITY zeetrf           "&#x02128;" ><!--zee transform -->
 134 <!ENTITY ZeroWidthSpace   "&#x0200B;" ><!--zero width space -->