helm/dtd/isoamsr.ent

   1
   2 <!--
   3      File isoamsr.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      Entity names in this file are derived from files carrying the
  19      following notice:
  20
  21      (C) International Organization for Standardization 1991
  22      Permission to copy in any form is granted for use with
  23      conforming SGML systems and applications as defined in
  24      ISO 8879, provided this notice is included in all copies.
  25
  26 -->
  27
  28 <!ENTITY ape              "&#x0224A;" ><!--/approxeq R: approximate, equals -->
  29 <!ENTITY apE              "&#x0224A;" ><!--approximately equal or equal to -->
  30 <!ENTITY apid             "&#x0224B;" ><!--approximately identical to -->
  31 <!ENTITY asymp            "&#x0224D;" ><!--/asymp R: asymptotically equal to -->
  32 <!ENTITY Barv             "&#x02AE7;" ><!--vert, dbl bar (over) -->
  33 <!ENTITY bcong            "&#x0224C;" ><!--/backcong R: reverse congruent -->
  34 <!ENTITY bepsi            "&#x0213C;" ><!--/backepsilon R: such that -->
  35 <!ENTITY bowtie           "&#x022C8;" ><!--/bowtie R: -->
  36 <!ENTITY bsim             "&#x0223D;" ><!--/backsim R: reverse similar -->
  37 <!ENTITY bsime            "&#x022CD;" ><!--/backsimeq R: reverse similar, eq -->
  38 <!ENTITY bsolhsub         "&#x0005C;&#x02282;" ><!--reverse solidus, subset -->
  39 <!ENTITY bump             "&#x0224E;" ><!--/Bumpeq R: bumpy equals -->
  40 <!ENTITY bumpe            "&#x0224F;" ><!--/bumpeq R: bumpy equals, equals -->
  41 <!ENTITY bumpE            "&#x02AAE;" ><!--bump, equals -->
  42 <!ENTITY cire             "&#x02257;" ><!--/circeq R: circle, equals -->
  43 <!ENTITY Colon            "&#x02237;" ><!--/Colon, two colons -->
  44 <!ENTITY colone           "&#x02254;" ><!--/coloneq R: colon, equals -->
  45 <!ENTITY Colone           "&#x02A74;" ><!--double colon, equals -->
  46 <!ENTITY congdot          "&#x02A6D;" ><!--congruent, dot -->
  47 <!ENTITY csub             "&#x02ACF;" ><!--subset, closed -->
  48 <!ENTITY csube            "&#x02AD1;" ><!--subset, closed, equals -->
  49 <!ENTITY csup             "&#x02AD0;" ><!--superset, closed -->
  50 <!ENTITY csupe            "&#x02AD2;" ><!--superset, closed, equals -->
  51 <!ENTITY cuepr            "&#x022DE;" ><!--/curlyeqprec R: curly eq, precedes -->
  52 <!ENTITY cuesc            "&#x022DF;" ><!--/curlyeqsucc R: curly eq, succeeds -->
  53 <!ENTITY dashv            "&#x022A3;" ><!--/dashv R: dash, vertical -->
  54 <!ENTITY Dashv            "&#x02AE4;" ><!--dbl dash, vertical -->
  55 <!ENTITY easter           "&#x0225B;" ><!--equal, asterisk above -->
  56 <!ENTITY ecir             "&#x02256;" ><!--/eqcirc R: circle on equals sign -->
  57 <!ENTITY ecolon           "&#x02255;" ><!--/eqcolon R: equals, colon -->
  58 <!ENTITY eDDot            "&#x02A77;" ><!--/ddotseq R: equal with four dots -->
  59 <!ENTITY eDot             "&#x02251;" ><!--/doteqdot /Doteq R: eq, even dots -->
  60 <!ENTITY efDot            "&#x02252;" ><!--/fallingdotseq R: eq, falling dots -->
  61 <!ENTITY eg               "&#x02A9A;" ><!--equal-or-greater -->
  62 <!ENTITY egs              "&#x022DD;" ><!--/eqslantgtr R: equal-or-gtr, slanted -->
  63 <!ENTITY egsdot           "&#x02A98;" ><!--equal-or-greater, slanted, dot inside -->
  64 <!ENTITY el               "&#x02A99;" ><!--equal-or-less -->
  65 <!ENTITY els              "&#x022DC;" ><!--/eqslantless R: eq-or-less, slanted -->
  66 <!ENTITY elsdot           "&#x02A97;" ><!--equal-or-less, slanted, dot inside -->
  67 <!ENTITY equest           "&#x0225F;" ><!--/questeq R: equal with questionmark -->
  68 <!ENTITY equivDD          "&#x02A78;" ><!--equivalent, four dots above -->
  69 <!ENTITY erDot            "&#x02253;" ><!--/risingdotseq R: eq, rising dots -->
  70 <!ENTITY esdot            "&#x02250;" ><!--/doteq R: equals, single dot above -->
  71 <!ENTITY esim             "&#x02242;" ><!--/esim R: equals, similar -->
  72 <!ENTITY Esim             "&#x02A73;" ><!--equal, similar -->
  73 <!ENTITY fork             "&#x022D4;" ><!--/pitchfork R: pitchfork -->
  74 <!ENTITY forkv            "&#x02AD9;" ><!--fork, variant -->
  75 <!ENTITY frown            "&#x02322;" ><!--/frown R: down curve -->
  76 <!ENTITY gap              "&#x02273;" ><!--/gtrapprox R: greater, approximate -->
  77 <!ENTITY gE               "&#x02267;" ><!--/geqq R: greater, double equals -->
  78 <!ENTITY gel              "&#x022DB;" ><!--/gtreqless R: greater, equals, less -->
  79 <!ENTITY gEl              "&#x022DB;" ><!--/gtreqqless R: gt, dbl equals, less -->
  80 <!ENTITY ges              "&#x02A7E;" ><!--/geqslant R: gt-or-equal, slanted -->
  81 <!ENTITY gescc            "&#x02AA9;" ><!--greater than, closed by curve, equal, slanted -->
  82 <!ENTITY gesdot           "&#x02A80;" ><!--greater-than-or-equal, slanted, dot inside -->
  83 <!ENTITY gesdoto          "&#x02A82;" ><!--greater-than-or-equal, slanted, dot above -->
  84 <!ENTITY gesdotol         "&#x02A84;" ><!--greater-than-or-equal, slanted, dot above left -->
  85 <!ENTITY gesl             "&#x022DB;&#x02063;" ><!--greater, equal, slanted, less -->
  86 <!ENTITY gesles           "&#x02A94;" ><!--greater, equal, slanted, less, equal, slanted -->
  87 <!ENTITY Gg               "&#x022D9;" ><!--/ggg /Gg /gggtr R: triple gtr-than -->
  88 <!ENTITY gl               "&#x02277;" ><!--/gtrless R: greater, less -->
  89 <!ENTITY gla              "&#x02AA5;" ><!--greater, less, apart -->
  90 <!ENTITY glE              "&#x02A92;" ><!--greater, less, equal -->
  91 <!ENTITY glj              "&#x02AA4;" ><!--greater, less, overlapping -->
  92 <!ENTITY gsim             "&#x02273;" ><!--/gtrsim R: greater, similar -->
  93 <!ENTITY gsime            "&#x02A8E;" ><!--greater, similar, equal -->
  94 <!ENTITY gsiml            "&#x02A90;" ><!--greater, similar, less -->
  95 <!ENTITY Gt               "&#x0226B;" ><!--/gg R: dbl greater-than sign -->
  96 <!ENTITY gtcc             "&#x02AA7;" ><!--greater than, closed by curve -->
  97 <!ENTITY gtcir            "&#x02A7A;" ><!--greater than, circle inside -->
  98 <!ENTITY gtdot            "&#x022D7;" ><!--/gtrdot R: greater than, with dot -->
  99 <!ENTITY gtquest          "&#x02A7C;" ><!--greater than, questionmark above -->
 100 <!ENTITY gtrarr           "&#x02978;" ><!--greater than, right arrow -->
 101 <!ENTITY homtht           "&#x0223B;" ><!--homothetic -->
 102 <!ENTITY lap              "&#x02272;" ><!--/lessapprox R: less, approximate -->
 103 <!ENTITY lat              "&#x02AAB;" ><!--larger than -->
 104 <!ENTITY late             "&#x02AAD;" ><!--larger than or equal -->
 105 <!ENTITY lates            "&#x02AAD;&#x02063;" ><!--larger than or equal, slanted -->
 106 <!ENTITY lE               "&#x02266;" ><!--/leqq R: less, double equals -->
 107 <!ENTITY leg              "&#x022DA;" ><!--/lesseqgtr R: less, eq, greater -->
 108 <!ENTITY lEg              "&#x022DA;" ><!--/lesseqqgtr R: less, dbl eq, greater -->
 109 <!ENTITY les              "&#x02A7D;" ><!--/leqslant R: less-than-or-eq, slant -->
 110 <!ENTITY lescc            "&#x02AA8;" ><!--less than, closed by curve, equal, slanted -->
 111 <!ENTITY lesdot           "&#x02A7F;" ><!--less-than-or-equal, slanted, dot inside -->
 112 <!ENTITY lesdoto          "&#x02A81;" ><!--less-than-or-equal, slanted, dot above -->
 113 <!ENTITY lesdotor         "&#x02A83;" ><!--less-than-or-equal, slanted, dot above right -->
 114 <!ENTITY lesg             "&#x022DA;&#x02063;" ><!--less, equal, slanted, greater -->
 115 <!ENTITY lesges           "&#x02A93;" ><!--less, equal, slanted, greater, equal, slanted -->
 116 <!ENTITY lg               "&#x02276;" ><!--/lessgtr R: less, greater -->
 117 <!ENTITY lgE              "&#x02A91;" ><!--less, greater, equal -->
 118 <!ENTITY Ll               "&#x022D8;" ><!--/Ll /lll /llless R: triple less-than -->
 119 <!ENTITY lsim             "&#x02272;" ><!--/lesssim R: less, similar -->
 120 <!ENTITY lsime            "&#x02A8D;" ><!--less, similar, equal -->
 121 <!ENTITY lsimg            "&#x02A8F;" ><!--less, similar, greater -->
 122 <!ENTITY Lt               "&#x0226A;" ><!--/ll R: double less-than sign -->
 123 <!ENTITY ltcc             "&#x02AA6;" ><!--less than, closed by curve -->
 124 <!ENTITY ltcir            "&#x02A79;" ><!--less than, circle inside -->
 125 <!ENTITY ltdot            "&#x022D6;" ><!--/lessdot R: less than, with dot -->
 126 <!ENTITY ltlarr           "&#x02976;" ><!--less than, left arrow -->
 127 <!ENTITY ltquest          "&#x02A7B;" ><!--less than, questionmark above -->
 128 <!ENTITY ltrie            "&#x022B4;" ><!--/trianglelefteq R: left triangle, eq -->
 129 <!ENTITY mcomma           "&#x02A29;" ><!--minus, comma above -->
 130 <!ENTITY mDDot            "&#x0223A;" ><!--minus with four dots, geometric properties -->
 131 <!ENTITY mid              "&#x02223;" ><!--/mid R: -->
 132 <!ENTITY mlcp             "&#x02ADB;" ><!--/mlcp -->
 133 <!ENTITY models           "&#x022A7;" ><!--/models R: -->
 134 <!ENTITY mstpos           "&#x0223E;" ><!--most positive -->
 135 <!ENTITY pr               "&#x0227A;" ><!--/prec R: precedes -->
 136 <!ENTITY Pr               "&#x02ABB;" ><!--dbl precedes -->
 137 <!ENTITY prap             "&#x0227E;" ><!--/precapprox R: precedes, approximate -->
 138 <!ENTITY prcue            "&#x0227C;" ><!--/preccurlyeq R: precedes, curly eq -->
 139 <!ENTITY pre              "&#x02AAF;" ><!--/preceq R: precedes, equals -->
 140 <!ENTITY prE              "&#x02AAF;" ><!--precedes, dbl equals -->
 141 <!ENTITY prsim            "&#x0227E;" ><!--/precsim R: precedes, similar -->
 142 <!ENTITY prurel           "&#x022B0;" ><!--element precedes under relation -->
 143 <!ENTITY ratio            "&#x02236;" ><!--/ratio -->
 144 <!ENTITY rtrie            "&#x022B5;" ><!--/trianglerighteq R: right tri, eq -->
 145 <!ENTITY rtriltri         "&#x029CE;" ><!--right triangle above left triangle -->
 146 <!ENTITY sc               "&#x0227B;" ><!--/succ R: succeeds -->
 147 <!ENTITY Sc               "&#x02ABC;" ><!--dbl succeeds -->
 148 <!ENTITY scap             "&#x0227F;" ><!--/succapprox R: succeeds, approximate -->
 149 <!ENTITY sccue            "&#x0227D;" ><!--/succcurlyeq R: succeeds, curly eq -->
 150 <!ENTITY sce              "&#x0227D;" ><!--/succeq R: succeeds, equals -->
 151 <!ENTITY scE              "&#x0227E;" ><!--succeeds, dbl equals -->
 152 <!ENTITY scsim            "&#x0227F;" ><!--/succsim R: succeeds, similar -->
 153 <!ENTITY sdote            "&#x02A66;" ><!--equal, dot below -->
 154 <!ENTITY simg             "&#x02A9E;" ><!--similar, greater -->
 155 <!ENTITY simgE            "&#x02AA0;" ><!--similar, greater, equal -->
 156 <!ENTITY siml             "&#x02A9D;" ><!--similar, less -->
 157 <!ENTITY simlE            "&#x02A9F;" ><!--similar, less, equal -->
 158 <!ENTITY smid             "&#x02223;&#x02063;" ><!--/shortmid R: -->
 159 <!ENTITY smile            "&#x02323;" ><!--/smile R: up curve -->
 160 <!ENTITY smt              "&#x02AAA;" ><!--smaller than -->
 161 <!ENTITY smte             "&#x02AAC;" ><!--smaller than or equal -->
 162 <!ENTITY smtes            "&#x02AAC;&#x02063;" ><!--smaller than or equal, slanted -->
 163 <!ENTITY spar             "&#x02225;&#x02063;" ><!--/shortparallel R: short parallel -->
 164 <!ENTITY sqsub            "&#x0228F;" ><!--/sqsubset R: square subset -->
 165 <!ENTITY sqsube           "&#x02291;" ><!--/sqsubseteq R: square subset, equals -->
 166 <!ENTITY sqsup            "&#x02290;" ><!--/sqsupset R: square superset -->
 167 <!ENTITY sqsupe           "&#x02292;" ><!--/sqsupseteq R: square superset, eq -->
 168 <!ENTITY Sub              "&#x022D0;" ><!--/Subset R: double subset -->
 169 <!ENTITY subE             "&#x02286;" ><!--/subseteqq R: subset, dbl equals -->
 170 <!ENTITY subedot          "&#x02AC3;" ><!--subset, equals, dot -->
 171 <!ENTITY submult          "&#x02AC1;" ><!--subset, multiply -->
 172 <!ENTITY subplus          "&#x02ABF;" ><!--subset, plus -->
 173 <!ENTITY subrarr          "&#x02979;" ><!--subset, right arrow -->
 174 <!ENTITY subsim           "&#x02AC7;" ><!--subset, similar -->
 175 <!ENTITY subsub           "&#x02AD5;" ><!--subset above subset -->
 176 <!ENTITY subsup           "&#x02AD3;" ><!--subset above superset -->
 177 <!ENTITY Sup              "&#x022D1;" ><!--/Supset R: dbl superset -->
 178 <!ENTITY supdsub          "&#x02AD8;" ><!--superset, subset, dash joining them -->
 179 <!ENTITY supE             "&#x02287;" ><!--/supseteqq R: superset, dbl equals -->
 180 <!ENTITY supedot          "&#x02AC4;" ><!--superset, equals, dot -->
 181 <!ENTITY suphsol          "&#x02283;&#x0002F;" ><!--superset, solidus -->
 182 <!ENTITY suphsub          "&#x02AD7;" ><!--superset, subset -->
 183 <!ENTITY suplarr          "&#x0297B;" ><!--superset, left arrow -->
 184 <!ENTITY supmult          "&#x02AC2;" ><!--superset, multiply -->
 185 <!ENTITY supplus          "&#x02AC0;" ><!--superset, plus -->
 186 <!ENTITY supsim           "&#x02AC8;" ><!--superset, similar -->
 187 <!ENTITY supsub           "&#x02AD4;" ><!--superset above subset -->
 188 <!ENTITY supsup           "&#x02AD6;" ><!--superset above superset -->
 189 <!ENTITY thkap            "&#x02248;&#x02063;" ><!--/thickapprox R: thick approximate -->
 190 <!ENTITY thksim           "&#x0223C;" ><!--/thicksim R: thick similar -->
 191 <!ENTITY topfork          "&#x02ADA;" ><!--fork with top -->
 192 <!ENTITY trie             "&#x0225C;" ><!--/triangleq R: triangle, equals -->
 193 <!ENTITY twixt            "&#x0226C;" ><!--/between R: between -->
 194 <!ENTITY vBar             "&#x02AE8;" ><!--vert, dbl bar (under) -->
 195 <!ENTITY Vbar             "&#x02AEB;" ><!--dbl vert, bar (under) -->
 196 <!ENTITY vBarv            "&#x02AE9;" ><!--dbl bar, vert over and under -->
 197 <!ENTITY vdash            "&#x022A2;" ><!--/vdash R: vertical, dash -->
 198 <!ENTITY vDash            "&#x022A8;" ><!--/vDash R: vertical, dbl dash -->
 199 <!ENTITY Vdash            "&#x022A9;" ><!--/Vdash R: dbl vertical, dash -->
 200 <!ENTITY VDash            "&#x022AB;" ><!--dbl vert, dbl dash -->
 201 <!ENTITY Vdashl           "&#x02AE6;" ><!--vertical, dash (long) -->
 202 <!ENTITY vltri            "&#x022B2;" ><!--/vartriangleleft R: l tri, open, var -->
 203 <!ENTITY vprop            "&#x0221D;" ><!--/varpropto R: proportional, variant -->
 204 <!ENTITY vrtri            "&#x022B3;" ><!--/vartriangleright R: r tri, open, var -->
 205 <!ENTITY Vvdash           "&#x022AA;" ><!--/Vvdash R: triple vertical, dash -->