| <!-- 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 --> |