4.3-xml/ent/iso-amsr.ent

   1 <!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
   2
   3 <!-- Derived from the corresponding ISO 8879 standard entity set
   4      and the Unicode character mappings provided by Sebastian Rahtz.
   5      With additional derivations from
   6      ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
   7
   8 <!ENTITY ape    "&#x224A;"> <!--  -->
   9 <!ENTITY asymp  "&#x224D;"> <!-- EQUIVALENT TO -->
  10 <!ENTITY bcong  "&#x224C;"> <!-- ALL EQUAL TO -->
  11 <!ENTITY bepsi  "&#x220D;"> <!-- SMALL CONTAINS AS MEMBER -->
  12 <!ENTITY bowtie "&#x22C8;"> <!--  -->
  13 <!ENTITY bsim   "&#x223D;"> <!--  -->
  14 <!ENTITY bsime  "&#x22CD;"> <!--  -->
  15 <!ENTITY bump   "&#x224E;"> <!--  -->
  16 <!ENTITY bumpe  "&#x224F;"> <!--  -->
  17 <!ENTITY cire   "&#x2257;"> <!--  -->
  18 <!ENTITY colone "&#x2254;"> <!--  -->
  19 <!ENTITY cuepr  "&#x22DE;"> <!--  -->
  20 <!ENTITY cuesc  "&#x22DF;"> <!--  -->
  21 <!ENTITY cupre  "&#x227C;"> <!--  -->
  22 <!ENTITY dashv  "&#x22A3;"> <!--  -->
  23 <!ENTITY ecir   "&#x2256;"> <!--  -->
  24 <!ENTITY ecolon "&#x2255;"> <!--  -->
  25 <!ENTITY eDot   "&#x2251;"> <!--  -->
  26 <!ENTITY esdot  "&#x2250;"> <!--  -->
  27 <!ENTITY efDot  "&#x2252;"> <!--  -->
  28 <!ENTITY egs    "&#x22DD;"> <!--  -->
  29 <!ENTITY els    "&#x22DC;"> <!--  -->
  30 <!ENTITY erDot  "&#x2253;"> <!--  -->
  31 <!ENTITY fork   "&#x22D4;"> <!--  -->
  32 <!ENTITY frown  "&#x2322;"> <!--  -->
  33 <!ENTITY gap    "&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
  34 <!ENTITY gsdot  "&#x22D7;"> <!--  -->
  35 <!ENTITY gE     "&#x2267;"> <!--  -->
  36 <!ENTITY gel    "&#x22DB;"> <!--  -->
  37 <!ENTITY gEl    "&#x22DB;"> <!--  -->
  38 <!ENTITY ges    "&#x2265;"> <!-- GREATER-THAN OR EQUAL TO -->
  39 <!ENTITY Gg     "&#x22D9;"> <!-- VERY MUCH GREATER-THAN -->
  40 <!ENTITY gl     "&#x2277;"> <!--  -->
  41 <!ENTITY gsim   "&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
  42 <!ENTITY Gt     "&#x226B;"> <!-- MUCH GREATER-THAN -->
  43 <!ENTITY lap    "&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
  44 <!ENTITY ldot   "&#x22D6;"> <!--  -->
  45 <!ENTITY lE     "&#x2266;"> <!--  -->
  46 <!ENTITY lEg    "&#x22DA;"> <!--  -->
  47 <!ENTITY leg    "&#x22DA;"> <!--  -->
  48 <!ENTITY les    "&#x2264;"> <!-- LESS-THAN OR EQUAL TO -->
  49 <!ENTITY lg     "&#x2276;"> <!-- LESS-THAN OR GREATER-THAN -->
  50 <!ENTITY Ll     "&#x22D8;"> <!--  -->
  51 <!ENTITY lsim   "&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
  52 <!ENTITY Lt     "&#x226A;"> <!-- MUCH LESS-THAN -->
  53 <!ENTITY ltrie  "&#x22B4;"> <!--  -->
  54 <!ENTITY mid    "&#x2223;"> <!--  -->
  55 <!ENTITY models "&#x22A7;"> <!-- MODELS -->
  56 <!ENTITY pr     "&#x227A;"> <!--  -->
  57 <!ENTITY prap   "&#x227E;"> <!--  -->
  58 <!ENTITY pre    "&#x227C;"> <!--  -->
  59 <!ENTITY prsim  "&#x227E;"> <!--  -->
  60 <!ENTITY rtrie  "&#x22B5;"> <!--  -->
  61 <!ENTITY samalg "&#x2210;"> <!--  -->
  62 <!ENTITY sc     "&#x227B;"> <!--  -->
  63 <!ENTITY scap   "&#x227F;"> <!--  -->
  64 <!ENTITY sccue  "&#x227D;"> <!--  -->
  65 <!ENTITY sce    "&#x227D;"> <!--  -->
  66 <!ENTITY scsim  "&#x227F;"> <!--  -->
  67 <!ENTITY sfrown "&#x2322;"> <!-- FROWN -->
  68 <!ENTITY smid   "&#xE301;"> <!--  -->
  69 <!ENTITY smile  "&#x2323;"> <!--  -->
  70 <!ENTITY spar   "&#x2225;"> <!-- PARALLEL TO -->
  71 <!ENTITY sqsub  "&#x228F;"> <!--  -->
  72 <!ENTITY sqsube "&#x2291;"> <!--  -->
  73 <!ENTITY sqsup  "&#x2290;"> <!--  -->
  74 <!ENTITY sqsupe "&#x2292;"> <!--  -->
  75 <!ENTITY ssmile "&#x2323;"> <!-- SMILE -->
  76 <!ENTITY Sub    "&#x22D0;"> <!--  -->
  77 <!ENTITY subE   "&#x2286;"> <!--  -->
  78 <!ENTITY Sup    "&#x22D1;"> <!--  -->
  79 <!ENTITY supE   "&#x2287;"> <!--  -->
  80 <!ENTITY thkap  "&#x2248;"> <!-- ALMOST EQUAL TO -->
  81 <!ENTITY thksim "&#x223C;"> <!-- TILDE OPERATOR -->
  82 <!ENTITY trie   "&#x225C;"> <!--  -->
  83 <!ENTITY twixt  "&#x226C;"> <!-- BETWEEN -->
  84 <!ENTITY vdash  "&#x22A2;"> <!--  -->
  85 <!ENTITY Vdash  "&#x22A9;"> <!--  -->
  86 <!ENTITY vDash  "&#x22A8;"> <!--  -->
  87 <!ENTITY veebar "&#x22BB;"> <!--  -->
  88 <!ENTITY vltri  "&#x22B2;"> <!--  -->
  89 <!ENTITY vprop  "&#x221D;"> <!--  -->
  90 <!ENTITY vrtri  "&#x22B3;"> <!--  -->
  91 <!ENTITY Vvdash "&#x22AA;"> <!--  -->