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;"> <!--  -->
92