<!-- iso-amsn.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 gnap	"&#xE411;"> <!--  -->
<!ENTITY gne	"&#x2269;"> <!--  -->
<!ENTITY gnE	"&#x2269;"> <!--  -->
<!ENTITY gnsim	"&#x22E7;"> <!-- GREATER-THAN BUT NOT EQUIVALENT TO -->
<!ENTITY gvnE	"&#xE2A1;"> <!--  -->
<!ENTITY lnap	"&#xE2A2;"> <!--  -->
<!ENTITY lnE	"&#x2268;"> <!--  -->
<!ENTITY lne	"&#x2268;"> <!--  -->
<!ENTITY lnsim	"&#x22E6;"> <!--  -->
<!ENTITY lvnE	"&#xE2A4;"> <!--  -->
<!ENTITY nap	"&#x2249;"> <!-- NOT ALMOST EQUAL TO -->
<!ENTITY ncong	"&#x2247;"> <!-- NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO -->
<!ENTITY nequiv	"&#x2262;"> <!-- NOT IDENTICAL TO -->
<!ENTITY ngE	"&#x2271;"> <!--  -->
<!ENTITY nge	"&#xE2A6;"> <!--  -->
<!ENTITY nges	"&#x2271;"> <!--  -->
<!ENTITY ngt	"&#x226F;"> <!-- NOT GREATER-THAN -->
<!ENTITY nle	"&#xE2A7;"> <!--  -->
<!ENTITY nlE	"&#x2270;"> <!--  -->
<!ENTITY nles	"&#x2270;"> <!--  -->
<!ENTITY nlt	"&#x226E;"> <!-- NOT LESS-THAN -->
<!ENTITY nltri	"&#x22EA;"> <!-- NOT NORMAL SUBGROUP OF -->
<!ENTITY nltrie	"&#x22EC;"> <!-- NOT NORMAL SUBGROUP OF OR EQUAL TO -->
<!ENTITY nmid	"&#x2224;"> <!-- DOES NOT DIVIDE -->
<!ENTITY npar	"&#x2226;"> <!-- NOT PARALLEL TO -->
<!ENTITY npr	"&#x2280;"> <!-- DOES NOT PRECEDE -->
<!ENTITY npre	"&#xE412;"> <!--  -->
<!ENTITY nrtri	"&#x22EB;"> <!-- DOES NOT CONTAIN AS NORMAL SUBGROUP -->
<!ENTITY nrtrie	"&#x22ED;"> <!-- DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL -->
<!ENTITY nsc	"&#x2281;"> <!-- DOES NOT SUCCEED -->
<!ENTITY nsce	"&#xE413;"> <!--  -->
<!ENTITY nsim	"&#x2241;"> <!--  -->
<!ENTITY nsime	"&#x2244;"> <!--  -->
<!ENTITY nsmid	"&#xE2AA;"> <!--  -->
<!ENTITY nspar	"&#xE2AB;"> <!--  -->
<!ENTITY nsub	"&#x2284;"> <!-- NOT A SUBSET OF -->
<!ENTITY nsube	"&#x2288;"> <!--  -->
<!ENTITY nsubE	"&#x2288;"> <!--  -->
<!ENTITY nsup	"&#x2285;"> <!-- NOT A SUPERSET OF -->
<!ENTITY nsupE	"&#x2289;"> <!--  -->
<!ENTITY nsupe	"&#x2289;"> <!--  -->
<!ENTITY nvdash	"&#x22AC;"> <!-- DOES NOT PROVE -->
<!ENTITY nvDash	"&#x22AD;"> <!-- NOT TRUE -->
<!ENTITY nVDash	"&#x22AF;"> <!-- NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE -->
<!ENTITY nVdash	"&#x22AE;"> <!-- DOES NOT FORCE -->
<!ENTITY prnap	"&#x22E8;"> <!--  -->
<!ENTITY prnE	"&#xE2B3;"> <!--  -->
<!ENTITY prnsim	"&#x22E8;"> <!--  -->
<!ENTITY scnap	"&#x22E9;"> <!--  -->
<!ENTITY scnE	"&#xE2B5;"> <!--  -->
<!ENTITY scnsim	"&#x22E9;"> <!--  -->
<!ENTITY subne	"&#x228A;"> <!--  -->
<!ENTITY subnE	"&#x228A;"> <!--  -->
<!ENTITY supne	"&#x228B;"> <!--  -->
<!ENTITY supnE	"&#x228B;"> <!--  -->
<!ENTITY vsubnE	"&#xE2B8;"> <!--  -->
<!ENTITY vsubne	"&#xE2B9;"> <!--  -->
<!ENTITY vsupne	"&#xE2BA;"> <!--  -->
<!ENTITY vsupnE	"&#xE2BB;"> <!--  -->
