<!-- iso-amsb.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 amalg "∐"> <!-- N-ARY COPRODUCT --> <!ENTITY Barwed "⌆"> <!-- PERSPECTIVE --> <!ENTITY barwed "⊼"> <!-- NAND --> <!ENTITY Cap "⋒"> <!-- DOUBLE INTERSECTION --> <!ENTITY Cup "⋓"> <!-- DOUBLE UNION --> <!ENTITY cuvee "⋎"> <!-- CURLY LOGICAL OR --> <!ENTITY cuwed "⋏"> <!-- CURLY LOGICAL AND --> <!ENTITY diam "⋄"> <!-- DIAMOND OPERATOR --> <!ENTITY divonx "⋇"> <!-- DIVISION TIMES --> <!ENTITY intcal "⊺"> <!-- INTERCALATE --> <!ENTITY lthree "⋋"> <!-- LEFT SEMIDIRECT PRODUCT --> <!ENTITY ltimes "⋉"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT --> <!ENTITY minusb "⊟"> <!-- SQUARED MINUS --> <!ENTITY oast "⊛"> <!-- CIRCLED ASTERISK OPERATOR --> <!ENTITY ocir "⊚"> <!-- CIRCLED RING OPERATOR --> <!ENTITY odash "⊝"> <!-- CIRCLED DASH --> <!ENTITY odot "⊙"> <!-- CIRCLED DOT OPERATOR --> <!ENTITY ominus "⊖"> <!-- CIRCLED MINUS --> <!ENTITY oplus "⊕"> <!-- CIRCLED PLUS --> <!ENTITY osol "⊘"> <!-- CIRCLED DIVISION SLASH --> <!ENTITY otimes "⊗"> <!-- CIRCLED TIMES --> <!ENTITY plusb "⊞"> <!-- SQUARED PLUS --> <!ENTITY plusdo "∔"> <!-- DOT PLUS --> <!ENTITY rthree "⋌"> <!-- RIGHT SEMIDIRECT PRODUCT --> <!ENTITY rtimes "⋊"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT --> <!ENTITY sdot "⋅"> <!-- DOT OPERATOR --> <!ENTITY sdotb "⊡"> <!-- SQUARED DOT OPERATOR --> <!ENTITY setmn "∖"> <!-- SET MINUS --> <!ENTITY sqcap "⊓"> <!-- SQUARE CAP --> <!ENTITY sqcup "⊔"> <!-- SQUARE CUP --> <!ENTITY ssetmn "∖"> <!-- SET MINUS --> <!ENTITY sstarf "⋆"> <!-- STAR OPERATOR --> <!ENTITY timesb "⊠"> <!-- SQUARED TIMES --> <!ENTITY top "⊤"> <!-- DOWN TACK --> <!ENTITY uplus "⊎"> <!-- MULTISET UNION --> <!ENTITY wreath "≀"> <!-- WREATH PRODUCT --> <!ENTITY xcirc "○"> <!-- WHITE CIRCLE --> <!ENTITY xdtri "▽"> <!-- WHITE DOWN-POINTING TRIANGLE --> <!ENTITY xutri "△"> <!-- WHITE UP-POINTING TRIANGLE --> <!ENTITY coprod "∐"> <!-- N-ARY COPRODUCT --> <!ENTITY prod "∏"> <!-- N-ARY PRODUCT --> <!ENTITY sum "∑"> <!-- N-ARY SUMMATION -->