cgit.sxemacs.org Git - packages/blob - xemacs-packages/psgml-dtds/etc/ISO_8879-1986/entities/isoamsa.ent

   1
   2 <!--
   3      File isoamsa.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 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      (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 angzarr    "&#57928;" ><!--UE248 angle with down zig-zag arrow -->
  29 <!ENTITY cirmid     "&#57936;" ><!--UE250 circle, mid below -->
  30 <!ENTITY cudarrl    "&#57918;" ><!--UE23E left, curved, down arrow -->
  31 <!ENTITY cudarrr    "&#58368;" ><!--UE400 right, curved, down arrow -->
  32 <!ENTITY cularr      "&#8630;" ><!--U21B6 /curvearrowleft A: left curved arrow -->
  33 <!ENTITY cularrp    "&#57930;" ><!--UE24A curved left arrow with plus -->
  34 <!ENTITY curarr      "&#8631;" ><!--U21B7 /curvearrowright A: rt curved arrow -->
  35 <!ENTITY curarrm    "&#57929;" ><!--UE249 curved right arrow with minus -->
  36 <!ENTITY dArr        "&#8659;" ><!--U21D3 /Downarrow A: down dbl arrow -->
  37 <!ENTITY Darr        "&#8609;" ><!--U21A1 down two-headed arrow -->
  38 <!ENTITY ddarr       "&#8650;" ><!--U21CA /downdownarrows A: two down arrows -->
  39 <!ENTITY DDotrahd   "&#57912;" ><!--UE238 right arrow with dotted stem -->
  40 <!ENTITY dfisht     "&#57932;" ><!--UE24C down fish tail -->
  41 <!ENTITY dHar       "&#57895;" ><!--UE227 down harpoon-left, down harpoon-right -->
  42 <!ENTITY dharl       "&#8643;" ><!--U21C3 /downharpoonleft A: dn harpoon-left -->
  43 <!ENTITY dharr       "&#8642;" ><!--U21C2 /downharpoonright A: down harpoon-rt -->
  44 <!ENTITY duarr      "&#57878;" ><!--UE216 down arrow, up arrow -->
  45 <!ENTITY duhar      "&#57879;" ><!--UE217 down harp, up harp -->
  46 <!ENTITY dzigrarr    "&#8669;" ><!--U21DD right long zig-zag arrow -->
  47 <!ENTITY erarr      "&#57910;" ><!--UE236 equal, right arrow below -->
  48 <!ENTITY harr        "&#8596;" ><!--U2194 /leftrightarrow A: l&r arrow -->
  49 <!ENTITY hArr        "&#8660;" ><!--U21D4 /Leftrightarrow A: l&r dbl arrow -->
  50 <!ENTITY harrcir    "&#57920;" ><!--UE240 left and right arrow with a circle -->
  51 <!ENTITY harrw       "&#8621;" ><!--U21AD /leftrightsquigarrow A: l&r arr-wavy -->
  52 <!ENTITY hoarr      "&#57923;" ><!--UE243 horizontal open arrow -->
  53 <!ENTITY imof        "&#8887;" ><!--U22B7 image of -->
  54 <!ENTITY lAarr       "&#8666;" ><!--U21DA /Lleftarrow A: left triple arrow -->
  55 <!ENTITY Larr        "&#8606;" ><!--U219E /twoheadleftarrow A: -->
  56 <!ENTITY larrbfs    "&#57888;" ><!--UE220 left arrow-bar, filled square -->
  57 <!ENTITY larrfs     "&#57890;" ><!--UE222 left arrow, filled square -->
  58 <!ENTITY larrhk      "&#8617;" ><!--U21A9 /hookleftarrow A: left arrow-hooked -->
  59 <!ENTITY larrlp      "&#8619;" ><!--U21AB /looparrowleft A: left arrow-looped -->
  60 <!ENTITY larrpl     "&#57919;" ><!--UE23F left arrow, plus -->
  61 <!ENTITY larrsim    "&#57934;" ><!--UE24E left arrow, similar -->
  62 <!ENTITY larrtl      "&#8610;" ><!--U21A2 /leftarrowtail A: left arrow-tailed -->
  63 <!ENTITY latail     "&#57916;" ><!--UE23C left arrow-tail -->
  64 <!ENTITY lAtail     "&#57917;" ><!--UE23D left double arrow-tail -->
  65 <!ENTITY lbarr      "&#58370;" ><!--UE402 left broken arrow -->
  66 <!ENTITY lBarr      "&#57862;" ><!--UE206 left doubly broken arrow -->
  67 <!ENTITY ldca       "&#57882;" ><!--UE21A left down curved arrow -->
  68 <!ENTITY ldrdhar    "&#57900;" ><!--UE22C left harpoon-down over right harpoon-down -->
  69 <!ENTITY ldrushar   "&#57896;" ><!--UE228 left-down-right-up harpoon -->
  70 <!ENTITY ldsh        "&#8626;" ><!--U21B2 left down angled arrow -->
  71 <!ENTITY lfisht     "&#57876;" ><!--UE214 left fish tail -->
  72 <!ENTITY lHar       "&#57893;" ><!--UE225 left harpoon-up over left harpoon-down -->
  73 <!ENTITY lhard       "&#8637;" ><!--U21BD /leftharpoondown A: l harpoon-down -->
  74 <!ENTITY lharu       "&#8636;" ><!--U21BC /leftharpoonup A: left harpoon-up -->
  75 <!ENTITY lharul     "&#57902;" ><!--UE22E left harpoon-up over long dash -->
  76 <!ENTITY llarr       "&#8647;" ><!--U21C7 /leftleftarrows A: two left arrows -->
  77 <!ENTITY llhard     "&#57905;" ><!--UE231 left harpoon-down below long dash -->
  78 <!ENTITY loarr      "&#57922;" ><!--UE242 left open arrow -->
  79 <!ENTITY lrarr       "&#8646;" ><!--U21C6 /leftrightarrows A: l arr over r arr -->
  80 <!ENTITY lrhar       "&#8651;" ><!--U21CB /leftrightharpoons A: l harp over r -->
  81 <!ENTITY lrhard     "&#57903;" ><!--UE22F right harpoon-down below long dash -->
  82 <!ENTITY lsh         "&#8624;" ><!--U21B0 /Lsh A: -->
  83 <!ENTITY lurdshar   "&#57897;" ><!--UE229 left-up-right-down harpoon -->
  84 <!ENTITY luruhar    "&#57899;" ><!--UE22B left harpoon-up over right harpoon-up -->
  85 <!ENTITY map         "&#8614;" ><!--U21A6 /mapsto A: -->
  86 <!ENTITY Map        "&#57874;" ><!--UE212 twoheaded mapsto -->
  87 <!ENTITY midcir     "&#57935;" ><!--UE24F mid, circle below  -->
  88 <!ENTITY mumap       "&#8888;" ><!--U22B8 /multimap A: -->
  89 <!ENTITY nearhk     "&#57869;" ><!--UE20D NE arrow-hooked -->
  90 <!ENTITY nearr       "&#8599;" ><!--U2197 /nearrow A: NE pointing arrow -->
  91 <!ENTITY neArr       "&#8663;" ><!--U21D7 NE pointing dbl arrow -->
  92 <!ENTITY nesear     "&#57870;" ><!--UE20E /toea A: NE & SE arrows -->
  93 <!ENTITY nharr       "&#8622;" ><!--U21AE /nleftrightarrow A: not l&r arrow -->
  94 <!ENTITY nhArr       "&#8654;" ><!--U21CE /nLeftrightarrow A: not l&r dbl arr -->
  95 <!ENTITY nlarr       "&#8602;" ><!--U219A /nleftarrow A: not left arrow -->
  96 <!ENTITY nlArr       "&#8653;" ><!--U21CD /nLeftarrow A: not implied by -->
  97 <!ENTITY nrarr       "&#8603;" ><!--U219B /nrightarrow A: not right arrow -->
  98 <!ENTITY nrArr       "&#8655;" ><!--U21CF /nRightarrow A: not implies -->
  99 <!ENTITY nrarrc     "&#57885;" ><!--UE21D not right arrow-curved -->
 100 <!ENTITY nrarrw     "&#57883;" ><!--UE21B not right arrow-wavy -->
 101 <!ENTITY nvHarr      "&#8654;" ><!--U21CE not, vert, left and right double arrow  -->
 102 <!ENTITY nvlArr      "&#8653;" ><!--U21CD not, vert, left double arrow -->
 103 <!ENTITY nvrArr      "&#8655;" ><!--U21CF not, vert, right double arrow -->
 104 <!ENTITY nwarhk     "&#57868;" ><!--UE20C NW arrow-hooked -->
 105 <!ENTITY nwarr       "&#8598;" ><!--U2196 /nwarrow A: NW pointing arrow -->
 106 <!ENTITY nwArr       "&#8662;" ><!--U21D6 NW pointing dbl arrow -->
 107 <!ENTITY nwnear     "&#57873;" ><!--UE211 NW & NE arrows -->
 108 <!ENTITY olarr       "&#8634;" ><!--U21BA /circlearrowleft A: l arr in circle -->
 109 <!ENTITY orarr       "&#8635;" ><!--U21BB /circlearrowright A: r arr in circle -->
 110 <!ENTITY origof      "&#8886;" ><!--U22B6 original of -->
 111 <!ENTITY rAarr       "&#8667;" ><!--U21DB /Rrightarrow A: right triple arrow -->
 112 <!ENTITY Rarr        "&#8608;" ><!--U21A0 /twoheadrightarrow A: -->
 113 <!ENTITY rarrap     "&#57909;" ><!--UE235 approximate, right arrow above -->
 114 <!ENTITY rarrbfs    "&#57889;" ><!--UE221 right arrow-bar, filled square -->
 115 <!ENTITY rarrc      "&#57884;" ><!--UE21C right arrow-curved -->
 116 <!ENTITY rarrfs     "&#57891;" ><!--UE223 right arrow, filled square -->
 117 <!ENTITY rarrhk      "&#8618;" ><!--U21AA /hookrightarrow A: rt arrow-hooked -->
 118 <!ENTITY rarrlp      "&#8620;" ><!--U21AC /looparrowright A: rt arrow-looped -->
 119 <!ENTITY rarrpl     "&#57886;" ><!--UE21E right arrow, plus -->
 120 <!ENTITY rarrsim    "&#57933;" ><!--UE24D right arrow, similar -->
 121 <!ENTITY rarrtl      "&#8611;" ><!--U21A3 /rightarrowtail A: rt arrow-tailed -->
 122 <!ENTITY Rarrtl     "&#57913;" ><!--UE239 right two-headed arrow with tail -->
 123 <!ENTITY rarrw       "&#8669;" ><!--U21DD /rightsquigarrow A: rt arrow-wavy -->
 124 <!ENTITY ratail      "&#8611;" ><!--U21A3 right arrow-tail -->
 125 <!ENTITY rAtail     "&#57915;" ><!--UE23B right double arrow-tail -->
 126 <!ENTITY rbarr      "&#58373;" ><!--UE405 /bkarow A: right broken arrow -->
 127 <!ENTITY rBarr      "&#57863;" ><!--UE207 /dbkarow A: right doubly broken arrow -->
 128 <!ENTITY RBarr      "&#57865;" ><!--UE209 /drbkarow A: twoheaded right broken arrow -->
 129 <!ENTITY rdca       "&#57881;" ><!--UE219 right down curved arrow -->
 130 <!ENTITY rdldhar    "&#57901;" ><!--UE22D right harpoon-down over left harpoon-down -->
 131 <!ENTITY rdsh        "&#8627;" ><!--U21B3 right down angled arrow -->
 132 <!ENTITY rfisht     "&#57877;" ><!--UE215 right fish tail -->
 133 <!ENTITY rHar       "&#57892;" ><!--UE224 right harpoon-up over right harpoon-down -->
 134 <!ENTITY rhard       "&#8641;" ><!--U21C1 /rightharpoondown A: rt harpoon-down -->
 135 <!ENTITY rharu       "&#8640;" ><!--U21C0 /rightharpoonup A: rt harpoon-up -->
 136 <!ENTITY rharul     "&#57904;" ><!--UE230 right harpoon-up over long dash -->
 137 <!ENTITY rlarr       "&#8644;" ><!--U21C4 /rightleftarrows A: r arr over l arr -->
 138 <!ENTITY rlhar       "&#8652;" ><!--U21CC /rightleftharpoons A: r harp over l -->
 139 <!ENTITY roarr      "&#57921;" ><!--UE241 right open arrow -->
 140 <!ENTITY rrarr       "&#8649;" ><!--U21C9 /rightrightarrows A: two rt arrows -->
 141 <!ENTITY rsh         "&#8625;" ><!--U21B1 /Rsh A: -->
 142 <!ENTITY ruluhar    "&#57898;" ><!--UE22A right harpoon-up over left harpoon-up -->
 143 <!ENTITY searhk     "&#57867;" ><!--UE20B /hksearow A: SE arrow-hooken -->
 144 <!ENTITY searr       "&#8600;" ><!--U2198 /searrow A: SE pointing arrow -->
 145 <!ENTITY seArr       "&#8664;" ><!--U21D8 SE pointing dbl arrow -->
 146 <!ENTITY seswar     "&#57871;" ><!--UE20F /tosa A: SE & SW arrows -->
 147 <!ENTITY simrarr    "&#57908;" ><!--UE234 similar, right arrow below -->
 148 <!ENTITY slarr      "&#57907;" ><!--UE233 short left arrow -->
 149 <!ENTITY srarr      "&#57906;" ><!--UE232 short right arrow -->
 150 <!ENTITY swarhk     "&#57866;" ><!--UE20A /hkswarow A: SW arrow-hooked -->
 151 <!ENTITY swarr       "&#8601;" ><!--U2199 /swarrow A: SW pointing arrow -->
 152 <!ENTITY swArr       "&#8665;" ><!--U21D9 SW pointing dbl arrow -->
 153 <!ENTITY swnwar     "&#57872;" ><!--UE210 SW & NW arrows -->
 154 <!ENTITY uArr        "&#8657;" ><!--U21D1 /Uparrow A: up dbl arrow -->
 155 <!ENTITY Uarr        "&#8607;" ><!--U219F up two-headed arrow -->
 156 <!ENTITY Uarrocir   "&#57911;" ><!--UE237 up two-headed arrow above circle -->
 157 <!ENTITY udarr       "&#8645;" ><!--U21C5 up arrow, down arrow -->
 158 <!ENTITY udhar      "&#57880;" ><!--UE218 up harp, down harp -->
 159 <!ENTITY ufisht     "&#57931;" ><!--UE24B up fish tail -->
 160 <!ENTITY uHar       "&#57894;" ><!--UE226 up harpoon-left, up harpoon-right -->
 161 <!ENTITY uharl       "&#8639;" ><!--U21BF /upharpoonleft A: up harpoon-left -->
 162 <!ENTITY uharr       "&#8638;" ><!--U21BE /upharpoonright /restriction A: up harp-r -->
 163 <!ENTITY uuarr       "&#8648;" ><!--U21C8 /upuparrows A: two up arrows -->
 164 <!ENTITY varr        "&#8597;" ><!--U2195 /updownarrow A: up&down arrow -->
 165 <!ENTITY vArr        "&#8661;" ><!--U21D5 /Updownarrow A: up&down dbl arrow -->
 166 <!ENTITY xharr      "&#57859;" ><!--UE203 /longleftrightarrow A: long l&r arr -->
 167 <!ENTITY xhArr      "&#57858;" ><!--UE202 /Longleftrightarrow A: long l&r dbl arr -->
 168 <!ENTITY xlarr      "&#57857;" ><!--UE201 /longleftarrow A: long left arrow -->
 169 <!ENTITY xlArr      "&#57856;" ><!--UE200 /Longleftarrow A: long l dbl arrow -->
 170 <!ENTITY xmap       "&#57864;" ><!--UE208 /longmapsto A: -->
 171 <!ENTITY xrarr      "&#57861;" ><!--UE205 /longrightarrow A: long right arrow -->
 172 <!ENTITY xrArr      "&#57860;" ><!--UE204 /Longrightarrow A: long rt dbl arr -->
 173 <!ENTITY zigrarr    "&#57924;" ><!--UE244 right zig-zag arrow -->