<!-- iso-amsb.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 -->

<!-- NOTE: leading & escaped with &#38; so these characters work
           with SGML parsers like Arbortext and nsgmls -->

<!ENTITY amalg	"&#38;#xE251;"> <!--  -->
<!ENTITY Barwed	"&#38;#x2306;"> <!-- PERSPECTIVE -->
<!ENTITY barwed	"&#38;#x22BC;"> <!-- NAND -->
<!ENTITY Cap	"&#38;#x22D2;"> <!-- DOUBLE INTERSECTION -->
<!ENTITY Cup	"&#38;#x22D3;"> <!-- DOUBLE UNION -->
<!ENTITY cuvee	"&#38;#x22CE;"> <!-- CURLY LOGICAL OR -->
<!ENTITY cuwed	"&#38;#x22CF;"> <!-- CURLY LOGICAL AND -->
<!ENTITY diam	"&#38;#x22C4;"> <!-- DIAMOND OPERATOR -->
<!ENTITY divonx	"&#38;#x22C7;"> <!-- DIVISION TIMES -->
<!ENTITY intcal	"&#38;#x22BA;"> <!-- INTERCALATE -->
<!ENTITY lthree	"&#38;#x22CB;"> <!-- LEFT SEMIDIRECT PRODUCT -->
<!ENTITY ltimes	"&#38;#x22C9;"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
<!ENTITY minusb	"&#38;#x229F;"> <!-- SQUARED MINUS -->
<!ENTITY oast	"&#38;#x229B;"> <!-- CIRCLED ASTERISK OPERATOR -->
<!ENTITY ocir	"&#38;#x229A;"> <!-- CIRCLED RING OPERATOR -->
<!ENTITY odash	"&#38;#x229D;"> <!-- CIRCLED DASH -->
<!ENTITY odot	"&#38;#x2299;"> <!-- CIRCLED DOT OPERATOR -->
<!ENTITY ominus	"&#38;#x2296;"> <!-- CIRCLED MINUS -->
<!ENTITY oplus	"&#38;#x2295;"> <!-- CIRCLED PLUS -->
<!ENTITY osol	"&#38;#x2298;"> <!-- CIRCLED DIVISION SLASH -->
<!ENTITY otimes	"&#38;#x2297;"> <!-- CIRCLED TIMES -->
<!ENTITY plusb	"&#38;#x229E;"> <!-- SQUARED PLUS -->
<!ENTITY plusdo	"&#38;#x2214;"> <!-- DOT PLUS -->
<!ENTITY rthree	"&#38;#x22CC;"> <!-- RIGHT SEMIDIRECT PRODUCT -->
<!ENTITY rtimes	"&#38;#x22CA;"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
<!ENTITY sdot	"&#38;#x22C5;"> <!-- DOT OPERATOR -->
<!ENTITY sdotb	"&#38;#x22A1;"> <!-- SQUARED DOT OPERATOR -->
<!ENTITY setmn	"&#38;#x2216;"> <!-- SET MINUS -->
<!ENTITY sqcap	"&#38;#x2293;"> <!-- SQUARE CAP -->
<!ENTITY sqcup	"&#38;#x2294;"> <!-- SQUARE CUP -->
<!ENTITY ssetmn	"&#38;#xE844;"> <!--  -->
<!ENTITY sstarf	"&#38;#x22C6;"> <!-- STAR OPERATOR -->
<!ENTITY timesb	"&#38;#x22A0;"> <!-- SQUARED TIMES -->
<!ENTITY top	"&#38;#x22A4;"> <!-- DOWN TACK -->
<!ENTITY uplus	"&#38;#x228E;"> <!-- MULTISET UNION -->
<!ENTITY wreath	"&#38;#x2240;"> <!-- WREATH PRODUCT -->
<!ENTITY xcirc	"&#38;#x25CB;"> <!-- WHITE CIRCLE -->
<!ENTITY xdtri	"&#38;#x25BD;"> <!-- WHITE DOWN-POINTING TRIANGLE -->
<!ENTITY xutri	"&#38;#x25B3;"> <!-- WHITE UP-POINTING TRIANGLE -->
<!ENTITY coprod	"&#38;#x2210;"> <!-- N-ARY COPRODUCT -->
<!ENTITY prod	"&#38;#x220F;"> <!-- N-ARY PRODUCT -->
<!ENTITY sum	"&#38;#x2211;"> <!-- N-ARY SUMMATION -->