1
<!-- iso-amsb.ent produced by Norman Walsh for the XML version of DocBook -->
3
<!-- Derived from the corresponding ISO 8879 standard entity set
4
and the Unicode character mappings provided by Sebastian Rahtz -->
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 -->