| 1 | <!-- iso-amsb.ent produced by Norman Walsh for the XML version of DocBook --> |
|---|
| 2 | |
|---|
| 3 | <!-- Derived from the corresponding ISO 8879 standard entity set |
|---|
| 4 | and the Unicode character mappings provided by Sebastian Rahtz --> |
|---|
| 5 | |
|---|
| 6 | <!ENTITY amalg ""> <!-- --> |
|---|
| 7 | <!ENTITY Barwed "⌆"> <!-- PERSPECTIVE --> |
|---|
| 8 | <!ENTITY barwed "⊼"> <!-- NAND --> |
|---|
| 9 | <!ENTITY Cap "⋒"> <!-- DOUBLE INTERSECTION --> |
|---|
| 10 | <!ENTITY Cup "⋓"> <!-- DOUBLE UNION --> |
|---|
| 11 | <!ENTITY cuvee "⋎"> <!-- CURLY LOGICAL OR --> |
|---|
| 12 | <!ENTITY cuwed "⋏"> <!-- CURLY LOGICAL AND --> |
|---|
| 13 | <!ENTITY diam "⋄"> <!-- DIAMOND OPERATOR --> |
|---|
| 14 | <!ENTITY divonx "⋇"> <!-- DIVISION TIMES --> |
|---|
| 15 | <!ENTITY intcal "⊺"> <!-- INTERCALATE --> |
|---|
| 16 | <!ENTITY lthree "⋋"> <!-- LEFT SEMIDIRECT PRODUCT --> |
|---|
| 17 | <!ENTITY ltimes "⋉"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT --> |
|---|
| 18 | <!ENTITY minusb "⊟"> <!-- SQUARED MINUS --> |
|---|
| 19 | <!ENTITY oast "⊛"> <!-- CIRCLED ASTERISK OPERATOR --> |
|---|
| 20 | <!ENTITY ocir "⊚"> <!-- CIRCLED RING OPERATOR --> |
|---|
| 21 | <!ENTITY odash "⊝"> <!-- CIRCLED DASH --> |
|---|
| 22 | <!ENTITY odot "⊙"> <!-- CIRCLED DOT OPERATOR --> |
|---|
| 23 | <!ENTITY ominus "⊖"> <!-- CIRCLED MINUS --> |
|---|
| 24 | <!ENTITY oplus "⊕"> <!-- CIRCLED PLUS --> |
|---|
| 25 | <!ENTITY osol "⊘"> <!-- CIRCLED DIVISION SLASH --> |
|---|
| 26 | <!ENTITY otimes "⊗"> <!-- CIRCLED TIMES --> |
|---|
| 27 | <!ENTITY plusb "⊞"> <!-- SQUARED PLUS --> |
|---|
| 28 | <!ENTITY plusdo "∔"> <!-- DOT PLUS --> |
|---|
| 29 | <!ENTITY rthree "⋌"> <!-- RIGHT SEMIDIRECT PRODUCT --> |
|---|
| 30 | <!ENTITY rtimes "⋊"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT --> |
|---|
| 31 | <!ENTITY sdot "⋅"> <!-- DOT OPERATOR --> |
|---|
| 32 | <!ENTITY sdotb "⊡"> <!-- SQUARED DOT OPERATOR --> |
|---|
| 33 | <!ENTITY setmn "∖"> <!-- SET MINUS --> |
|---|
| 34 | <!ENTITY sqcap "⊓"> <!-- SQUARE CAP --> |
|---|
| 35 | <!ENTITY sqcup "⊔"> <!-- SQUARE CUP --> |
|---|
| 36 | <!ENTITY ssetmn ""> <!-- --> |
|---|
| 37 | <!ENTITY sstarf "⋆"> <!-- STAR OPERATOR --> |
|---|
| 38 | <!ENTITY timesb "⊠"> <!-- SQUARED TIMES --> |
|---|
| 39 | <!ENTITY top "⊤"> <!-- DOWN TACK --> |
|---|
| 40 | <!ENTITY uplus "⊎"> <!-- MULTISET UNION --> |
|---|
| 41 | <!ENTITY wreath "≀"> <!-- WREATH PRODUCT --> |
|---|
| 42 | <!ENTITY xcirc "○"> <!-- WHITE CIRCLE --> |
|---|
| 43 | <!ENTITY xdtri "▽"> <!-- WHITE DOWN-POINTING TRIANGLE --> |
|---|
| 44 | <!ENTITY xutri "△"> <!-- WHITE UP-POINTING TRIANGLE --> |
|---|
| 45 | <!ENTITY coprod "∐"> <!-- N-ARY COPRODUCT --> |
|---|
| 46 | <!ENTITY prod "∏"> <!-- N-ARY PRODUCT --> |
|---|
| 47 | <!ENTITY sum "∑"> <!-- N-ARY SUMMATION --> |
|---|
