50 lines
2.5 KiB
Plaintext
50 lines
2.5 KiB
Plaintext
<!-- 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 -->
|