57 lines
2.9 KiB
Plaintext
57 lines
2.9 KiB
Plaintext
<!--
|
|
(C) International Organization for Standardization 1986
|
|
Permission to copy in any form is granted for use with
|
|
conforming SGML systems and applications as defined in
|
|
ISO 8879, provided this notice is included in all copies.
|
|
-->
|
|
|
|
<!--
|
|
Character entity set. Typical invocation:
|
|
<!ENTITY % isoamsb PUBLIC
|
|
"ISO 8879-1986//ENTITIES Added Latin 1//EN">
|
|
%isoamsb;
|
|
-->
|
|
|
|
<!ENTITY amalg CDATA "⨿" ><!--AMALGAMATION OR COPRODUCT -->
|
|
<!ENTITY Barwed CDATA "⌆" ><!--PERSPECTIVE -->
|
|
<!ENTITY barwed CDATA "⌅" ><!--PROJECTIVE -->
|
|
<!ENTITY Cap CDATA "⋒" ><!--DOUBLE INTERSECTION -->
|
|
<!ENTITY coprod CDATA "∐" ><!--N-ARY COPRODUCT -->
|
|
<!ENTITY Cup CDATA "⋓" ><!--DOUBLE UNION -->
|
|
<!ENTITY cuvee CDATA "⋎" ><!--CURLY LOGICAL OR -->
|
|
<!ENTITY cuwed CDATA "⋏" ><!--CURLY LOGICAL AND -->
|
|
<!ENTITY diam CDATA "⋄" ><!--DIAMOND OPERATOR -->
|
|
<!ENTITY divonx CDATA "⋇" ><!--DIVISION TIMES -->
|
|
<!ENTITY intcal CDATA "⊺" ><!--INTERCALATE -->
|
|
<!ENTITY lthree CDATA "⋋" ><!--LEFT SEMIDIRECT PRODUCT -->
|
|
<!ENTITY ltimes CDATA "⋉" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
|
|
<!ENTITY minusb CDATA "⊟" ><!--SQUARED MINUS -->
|
|
<!ENTITY oast CDATA "⊛" ><!--CIRCLED ASTERISK OPERATOR -->
|
|
<!ENTITY ocir CDATA "⊚" ><!--CIRCLED RING OPERATOR -->
|
|
<!ENTITY odash CDATA "⊝" ><!--CIRCLED DASH -->
|
|
<!ENTITY odot CDATA "⊙" ><!--CIRCLED DOT OPERATOR -->
|
|
<!ENTITY ominus CDATA "⊖" ><!--CIRCLED MINUS -->
|
|
<!ENTITY oplus CDATA "⊕" ><!--CIRCLED PLUS -->
|
|
<!ENTITY osol CDATA "⊘" ><!--CIRCLED DIVISION SLASH -->
|
|
<!ENTITY otimes CDATA "⊗" ><!--CIRCLED TIMES -->
|
|
<!ENTITY plusb CDATA "⊞" ><!--SQUARED PLUS -->
|
|
<!ENTITY plusdo CDATA "∔" ><!--DOT PLUS -->
|
|
<!ENTITY prod CDATA "∏" ><!--N-ARY PRODUCT -->
|
|
<!ENTITY rthree CDATA "⋌" ><!--RIGHT SEMIDIRECT PRODUCT -->
|
|
<!ENTITY rtimes CDATA "⋊" ><!--RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
|
|
<!ENTITY sdot CDATA "⋅" ><!--DOT OPERATOR -->
|
|
<!ENTITY sdotb CDATA "⊡" ><!--SQUARED DOT OPERATOR -->
|
|
<!ENTITY setmn CDATA "∖" ><!--SET MINUS -->
|
|
<!ENTITY sqcap CDATA "⊓" ><!--SQUARE CAP -->
|
|
<!ENTITY sqcup CDATA "⊔" ><!--SQUARE CUP -->
|
|
<!ENTITY ssetmn CDATA "∖" ><!--SET MINUS -->
|
|
<!ENTITY sstarf CDATA "⋆" ><!--STAR OPERATOR -->
|
|
<!ENTITY sum CDATA "∑" ><!--N-ARY SUMMATION -->
|
|
<!ENTITY timesb CDATA "⊠" ><!--SQUARED TIMES -->
|
|
<!ENTITY top CDATA "⊤" ><!--DOWN TACK -->
|
|
<!ENTITY uplus CDATA "⊎" ><!--MULTISET UNION -->
|
|
<!ENTITY wreath CDATA "≀" ><!--WREATH PRODUCT -->
|
|
<!ENTITY xcirc CDATA "◯" ><!--LARGE CIRCLE -->
|
|
<!ENTITY xdtri CDATA "▽" ><!--WHITE DOWN-POINTING TRIANGLE -->
|
|
<!ENTITY xutri CDATA "△" ><!--WHITE UP-POINTING TRIANGLE -->
|