text: <!-- iso-amsr.ent produced by Norman Walsh for the XML version of DocBook -->
  
  <!-- Derived from the corresponding ISO 8879 standard entity set
       and the Unicode character mappings provided by Sebastian Rahtz -->
  
  <!ENTITY ape	"&#x224A;"> <!--  -->
  <!ENTITY asymp	"&#x224D;"> <!-- EQUIVALENT TO -->
  <!ENTITY bcong	"&#x224C;"> <!-- ALL EQUAL TO -->
  <!ENTITY bepsi	"&#xE420;"> <!--  -->
  <!ENTITY bowtie	"&#x22C8;"> <!--  -->
  <!ENTITY bsim	"&#x223D;"> <!--  -->
  <!ENTITY bsime	"&#x22CD;"> <!--  -->
  <!ENTITY bump	"&#x224E;"> <!--  -->
  <!ENTITY bumpe	"&#x224F;"> <!--  -->
  <!ENTITY cire	"&#x2257;"> <!--  -->
  <!ENTITY colone	"&#x2254;"> <!--  -->
  <!ENTITY cuepr	"&#x22DE;"> <!--  -->
  <!ENTITY cuesc	"&#x22DF;"> <!--  -->
  <!ENTITY cupre	"&#x227C;"> <!--  -->
  <!ENTITY dashv	"&#x22A3;"> <!--  -->
  <!ENTITY ecir	"&#x2256;"> <!--  -->
  <!ENTITY ecolon	"&#x2255;"> <!--  -->
  <!ENTITY eDot	"&#x2251;"> <!--  -->
  <!ENTITY esdot	"&#x2250;"> <!--  -->
  <!ENTITY efDot	"&#x2252;"> <!--  -->
  <!ENTITY egs	"&#x22DD;"> <!--  -->
  <!ENTITY els	"&#x22DC;"> <!--  -->
  <!ENTITY erDot	"&#x2253;"> <!--  -->
  <!ENTITY fork	"&#x22D4;"> <!--  -->
  <!ENTITY frown	"&#x2322;"> <!--  -->
  <!ENTITY gap	"&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
  <!ENTITY gsdot	"&#x22D7;"> <!--  -->
  <!ENTITY gE	"&#x2267;"> <!--  -->
  <!ENTITY gel	"&#x22DB;"> <!--  -->
  <!ENTITY gEl	"&#x22DB;"> <!--  -->
  <!ENTITY ges	"&#xE421;"> <!--  -->
  <!ENTITY Gg	"&#x22D9;"> <!-- VERY MUCH GREATER-THAN -->
  <!ENTITY gl	"&#x2277;"> <!--  -->
  <!ENTITY gsim	"&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
  <!ENTITY Gt	"&#x226B;"> <!-- MUCH GREATER-THAN -->
  <!ENTITY lap	"&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
  <!ENTITY ldot	"&#x22D6;"> <!--  -->
  <!ENTITY lE	"&#x2266;"> <!--  -->
  <!ENTITY lEg	"&#x22DA;"> <!--  -->
  <!ENTITY leg	"&#x22DA;"> <!--  -->
  <!ENTITY les	"&#xE425;"> <!--  -->
  <!ENTITY lg	"&#x2276;"> <!-- LESS-THAN OR GREATER-THAN -->
  <!ENTITY Ll	"&#x22D8;"> <!--  -->
  <!ENTITY lsim	"&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
  <!ENTITY Lt	"&#x226A;"> <!-- MUCH LESS-THAN -->
  <!ENTITY ltrie	"&#x22B4;"> <!--  -->
  <!ENTITY mid	"&#x2223;"> <!--  -->
  <!ENTITY models	"&#x22A7;"> <!-- MODELS -->
  <!ENTITY pr	"&#x227A;"> <!--  -->
  <!ENTITY prap	"&#x227E;"> <!--  -->
  <!ENTITY pre	"&#x227C;"> <!--  -->
  <!ENTITY prsim	"&#x227E;"> <!--  -->
  <!ENTITY rtrie	"&#x22B5;"> <!--  -->
  <!--     samalg	Unknown unicode character -->
  <!ENTITY sc	"&#x227B;"> <!--  -->
  <!ENTITY scap	"&#x227F;"> <!--  -->
  <!ENTITY sccue	"&#x227D;"> <!--  -->
  <!ENTITY sce	"&#x227D;"> <!--  -->
  <!ENTITY scsim	"&#x227F;"> <!--  -->
  <!ENTITY sfrown	"&#xE426;"> <!--  -->
  <!ENTITY smid	"&#xE301;"> <!--  -->
  <!ENTITY smile	"&#x2323;"> <!--  -->
  <!ENTITY spar	"&#xE302;"> <!--  -->
  <!ENTITY sqsub	"&#x228F;"> <!--  -->
  <!ENTITY sqsube	"&#x2291;"> <!--  -->
  <!ENTITY sqsup	"&#x2290;"> <!--  -->
  <!ENTITY sqsupe	"&#x2292;"> <!--  -->
  <!ENTITY ssmile	"&#xE303;"> <!--  -->
  <!ENTITY Sub	"&#x22D0;"> <!--  -->
  <!ENTITY subE	"&#x2286;"> <!--  -->
  <!ENTITY Sup	"&#x22D1;"> <!--  -->
  <!ENTITY supE	"&#x2287;"> <!--  -->
  <!ENTITY thkap	"&#xE306;"> <!--  -->
  <!ENTITY thksim	"&#xE429;"> <!--  -->
  <!ENTITY trie	"&#x225C;"> <!--  -->
  <!ENTITY twixt	"&#x226C;"> <!-- BETWEEN -->
  <!ENTITY vdash	"&#x22A2;"> <!--  -->
  <!ENTITY Vdash	"&#x22A9;"> <!--  -->
  <!ENTITY vDash	"&#x22A8;"> <!--  -->
  <!ENTITY veebar	"&#x22BB;"> <!--  -->
  <!ENTITY vltri	"&#x22B2;"> <!--  -->
  <!ENTITY vprop	"&#x221D;"> <!--  -->
  <!ENTITY vrtri	"&#x22B3;"> <!--  -->
  <!ENTITY Vvdash	"&#x22AA;"> <!--  -->
  