doc/docbook-xml/ent/isoamsr.ent

   1
   2 <!--
   3      File isoamsr.ent produced by the XSL script entities.xsl
   4      from input data in unicode.xml.
   5
   6      Please report any errors to David Carlisle
   7      via the public W3C list www-math@w3.org.
   8
   9      The numeric character values assigned to each entity
  10      (should) match the Unicode assignments in Unicode 4.0.
  11
  12      Entity names in this file are derived from files carrying the
  13      following notice:
  14
  15      (C) International Organization for Standardization 1986
  16      Permission to copy in any form is granted for use with
  17      conforming SGML systems and applications as defined in
  18      ISO 8879, provided this notice is included in all copies.
  19
  20 -->
  21
  22
  23 <!--
  24      Version: $Id: isoamsr.ent,v 1.1 2007/03/10 05:14:55 scott Exp $
  25
  26        Public identifier: ISO 8879:1986//ENTITIES Added Math Symbols: Relations//EN//XML
  27        System identifier: http://www.w3.org/2003/entities/iso8879/isoamsr.ent
  28
  29      The public identifier should always be used verbatim.
  30      The system identifier may be changed to suit local requirements.
  31
  32      Typical invocation:
  33
  34        <!ENTITY % isoamsr PUBLIC
  35          "ISO 8879:1986//ENTITIES Added Math Symbols: Relations//EN//XML"
  36          "http://www.w3.org/2003/entities/iso8879/isoamsr.ent"
  37        >
  38        %isoamsr;
  39
  40 -->
  41
  42 <!ENTITY ape              "&#x0224A;" ><!--ALMOST EQUAL OR EQUAL TO -->
  43 <!ENTITY asymp            "&#x02248;" ><!--ALMOST EQUAL TO -->
  44 <!ENTITY bcong            "&#x0224C;" ><!--ALL EQUAL TO -->
  45 <!ENTITY bepsi            "&#x003F6;" ><!--GREEK REVERSED LUNATE EPSILON SYMBOL -->
  46 <!ENTITY bowtie           "&#x022C8;" ><!--BOWTIE -->
  47 <!ENTITY bsim             "&#x0223D;" ><!--REVERSED TILDE -->
  48 <!ENTITY bsime            "&#x022CD;" ><!--REVERSED TILDE EQUALS -->
  49 <!ENTITY bump             "&#x0224E;" ><!--GEOMETRICALLY EQUIVALENT TO -->
  50 <!ENTITY bumpe            "&#x0224F;" ><!--DIFFERENCE BETWEEN -->
  51 <!ENTITY cire             "&#x02257;" ><!--RING EQUAL TO -->
  52 <!ENTITY colone           "&#x02254;" ><!--COLON EQUALS -->
  53 <!ENTITY cuepr            "&#x022DE;" ><!--EQUAL TO OR PRECEDES -->
  54 <!ENTITY cuesc            "&#x022DF;" ><!--EQUAL TO OR SUCCEEDS -->
  55 <!ENTITY cupre            "&#x0227C;" ><!--PRECEDES OR EQUAL TO -->
  56 <!ENTITY dashv            "&#x022A3;" ><!--LEFT TACK -->
  57 <!ENTITY ecir             "&#x02256;" ><!--RING IN EQUAL TO -->
  58 <!ENTITY ecolon           "&#x02255;" ><!--EQUALS COLON -->
  59 <!ENTITY eDot             "&#x02251;" ><!--GEOMETRICALLY EQUAL TO -->
  60 <!ENTITY efDot            "&#x02252;" ><!--APPROXIMATELY EQUAL TO OR THE IMAGE OF -->
  61 <!ENTITY egs              "&#x02A96;" ><!--SLANTED EQUAL TO OR GREATER-THAN -->
  62 <!ENTITY els              "&#x02A95;" ><!--SLANTED EQUAL TO OR LESS-THAN -->
  63 <!ENTITY erDot            "&#x02253;" ><!--IMAGE OF OR APPROXIMATELY EQUAL TO -->
  64 <!ENTITY esdot            "&#x02250;" ><!--APPROACHES THE LIMIT -->
  65 <!ENTITY fork             "&#x022D4;" ><!--PITCHFORK -->
  66 <!ENTITY frown            "&#x02322;" ><!--FROWN -->
  67 <!ENTITY gap              "&#x02A86;" ><!--GREATER-THAN OR APPROXIMATE -->
  68 <!ENTITY gE               "&#x02267;" ><!--GREATER-THAN OVER EQUAL TO -->
  69 <!ENTITY gEl              "&#x02A8C;" ><!--GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN -->
  70 <!ENTITY gel              "&#x022DB;" ><!--GREATER-THAN EQUAL TO OR LESS-THAN -->
  71 <!ENTITY ges              "&#x02A7E;" ><!--GREATER-THAN OR SLANTED EQUAL TO -->
  72 <!ENTITY Gg               "&#x022D9;" ><!--VERY MUCH GREATER-THAN -->
  73 <!ENTITY gl               "&#x02277;" ><!--GREATER-THAN OR LESS-THAN -->
  74 <!ENTITY gsdot            "&#x022D7;" ><!--GREATER-THAN WITH DOT -->
  75 <!ENTITY gsim             "&#x02273;" ><!--GREATER-THAN OR EQUIVALENT TO -->
  76 <!ENTITY Gt               "&#x0226B;" ><!--MUCH GREATER-THAN -->
  77 <!ENTITY lap              "&#x02A85;" ><!--LESS-THAN OR APPROXIMATE -->
  78 <!ENTITY ldot             "&#x022D6;" ><!--LESS-THAN WITH DOT -->
  79 <!ENTITY lE               "&#x02266;" ><!--LESS-THAN OVER EQUAL TO -->
  80 <!ENTITY lEg              "&#x02A8B;" ><!--LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN -->
  81 <!ENTITY leg              "&#x022DA;" ><!--LESS-THAN EQUAL TO OR GREATER-THAN -->
  82 <!ENTITY les              "&#x02A7D;" ><!--LESS-THAN OR SLANTED EQUAL TO -->
  83 <!ENTITY lg               "&#x02276;" ><!--LESS-THAN OR GREATER-THAN -->
  84 <!ENTITY Ll               "&#x022D8;" ><!--VERY MUCH LESS-THAN -->
  85 <!ENTITY lsim             "&#x02272;" ><!--LESS-THAN OR EQUIVALENT TO -->
  86 <!ENTITY Lt               "&#x0226A;" ><!--MUCH LESS-THAN -->
  87 <!ENTITY ltrie            "&#x022B4;" ><!--NORMAL SUBGROUP OF OR EQUAL TO -->
  88 <!ENTITY mid              "&#x02223;" ><!--DIVIDES -->
  89 <!ENTITY models           "&#x022A7;" ><!--MODELS -->
  90 <!ENTITY pr               "&#x0227A;" ><!--PRECEDES -->
  91 <!ENTITY prap             "&#x02AB7;" ><!--PRECEDES ABOVE ALMOST EQUAL TO -->
  92 <!ENTITY pre              "&#x02AAF;" ><!--PRECEDES ABOVE SINGLE-LINE EQUALS SIGN -->
  93 <!ENTITY prsim            "&#x0227E;" ><!--PRECEDES OR EQUIVALENT TO -->
  94 <!ENTITY rtrie            "&#x022B5;" ><!--CONTAINS AS NORMAL SUBGROUP OR EQUAL TO -->
  95 <!ENTITY samalg           "&#x02210;" ><!--N-ARY COPRODUCT -->
  96 <!ENTITY sc               "&#x0227B;" ><!--SUCCEEDS -->
  97 <!ENTITY scap             "&#x02AB8;" ><!--SUCCEEDS ABOVE ALMOST EQUAL TO -->
  98 <!ENTITY sccue            "&#x0227D;" ><!--SUCCEEDS OR EQUAL TO -->
  99 <!ENTITY sce              "&#x02AB0;" ><!--SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN -->
 100 <!ENTITY scsim            "&#x0227F;" ><!--SUCCEEDS OR EQUIVALENT TO -->
 101 <!ENTITY sfrown           "&#x02322;" ><!--FROWN -->
 102 <!ENTITY smid             "&#x02223;" ><!--DIVIDES -->
 103 <!ENTITY smile            "&#x02323;" ><!--SMILE -->
 104 <!ENTITY spar             "&#x02225;" ><!--PARALLEL TO -->
 105 <!ENTITY sqsub            "&#x0228F;" ><!--SQUARE IMAGE OF -->
 106 <!ENTITY sqsube           "&#x02291;" ><!--SQUARE IMAGE OF OR EQUAL TO -->
 107 <!ENTITY sqsup            "&#x02290;" ><!--SQUARE ORIGINAL OF -->
 108 <!ENTITY sqsupe           "&#x02292;" ><!--SQUARE ORIGINAL OF OR EQUAL TO -->
 109 <!ENTITY ssmile           "&#x02323;" ><!--SMILE -->
 110 <!ENTITY Sub              "&#x022D0;" ><!--DOUBLE SUBSET -->
 111 <!ENTITY subE             "&#x02AC5;" ><!--SUBSET OF ABOVE EQUALS SIGN -->
 112 <!ENTITY Sup              "&#x022D1;" ><!--DOUBLE SUPERSET -->
 113 <!ENTITY supE             "&#x02AC6;" ><!--SUPERSET OF ABOVE EQUALS SIGN -->
 114 <!ENTITY thkap            "&#x02248;" ><!--ALMOST EQUAL TO -->
 115 <!ENTITY thksim           "&#x0223C;" ><!--TILDE OPERATOR -->
 116 <!ENTITY trie             "&#x0225C;" ><!--DELTA EQUAL TO -->
 117 <!ENTITY twixt            "&#x0226C;" ><!--BETWEEN -->
 118 <!ENTITY Vdash            "&#x022A9;" ><!--FORCES -->
 119 <!ENTITY vDash            "&#x022A8;" ><!--TRUE -->
 120 <!ENTITY vdash            "&#x022A2;" ><!--RIGHT TACK -->
 121 <!ENTITY veebar           "&#x022BB;" ><!--XOR -->
 122 <!ENTITY vltri            "&#x022B2;" ><!--NORMAL SUBGROUP OF -->
 123 <!ENTITY vprop            "&#x0221D;" ><!--PROPORTIONAL TO -->
 124 <!ENTITY vrtri            "&#x022B3;" ><!--CONTAINS AS NORMAL SUBGROUP -->
 125 <!ENTITY Vvdash           "&#x022AA;" ><!--TRIPLE VERTICAL BAR RIGHT TURNSTILE -->