<!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->

<!-- Derived from the corresponding ISO 8879 standard entity set
     and the Unicode character mappings provided by Sebastian Rahtz.
     With additional derivations from
     ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->

<!ENTITY ape	"&#x224A;"> <!--  -->
<!ENTITY asymp	"&#x224D;"> <!-- EQUIVALENT TO -->
<!ENTITY bcong	"&#x224C;"> <!-- ALL EQUAL TO -->
<!ENTITY bepsi	"&#x220D;"> <!-- SMALL CONTAINS AS MEMBER -->
<!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	"&#x2265;"> <!-- GREATER-THAN OR EQUAL TO -->
<!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	"&#x2264;"> <!-- LESS-THAN OR EQUAL TO -->
<!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;"> <!--  -->
<!ENTITY samalg	"&#x2210;"> <!--  -->
<!ENTITY sc	"&#x227B;"> <!--  -->
<!ENTITY scap	"&#x227F;"> <!--  -->
<!ENTITY sccue	"&#x227D;"> <!--  -->
<!ENTITY sce	"&#x227D;"> <!--  -->
<!ENTITY scsim	"&#x227F;"> <!--  -->
<!ENTITY sfrown	"&#x2322;"> <!-- FROWN -->
<!ENTITY smid	"&#xE301;"> <!--  -->
<!ENTITY smile	"&#x2323;"> <!--  -->
<!ENTITY spar	"&#x2225;"> <!-- PARALLEL TO -->
<!ENTITY sqsub	"&#x228F;"> <!--  -->
<!ENTITY sqsube	"&#x2291;"> <!--  -->
<!ENTITY sqsup	"&#x2290;"> <!--  -->
<!ENTITY sqsupe	"&#x2292;"> <!--  -->
<!ENTITY ssmile	"&#x2323;"> <!-- SMILE -->
<!ENTITY Sub	"&#x22D0;"> <!--  -->
<!ENTITY subE	"&#x2286;"> <!--  -->
<!ENTITY Sup	"&#x22D1;"> <!--  -->
<!ENTITY supE	"&#x2287;"> <!--  -->
<!ENTITY thkap	"&#x2248;"> <!-- ALMOST EQUAL TO -->
<!ENTITY thksim	"&#x223C;"> <!-- TILDE OPERATOR -->
<!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;"> <!--  -->