iso-amsb.ent

这是外国一个开源推理机

<!-- 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	"&#x2210;"> <!-- N-ARY COPRODUCT -->
<!ENTITY Barwed	"&#x2306;"> <!-- PERSPECTIVE -->
<!ENTITY barwed	"&#x22BC;"> <!-- NAND -->
<!ENTITY Cap	"&#x22D2;"> <!-- DOUBLE INTERSECTION -->
<!ENTITY Cup	"&#x22D3;"> <!-- DOUBLE UNION -->
<!ENTITY cuvee	"&#x22CE;"> <!-- CURLY LOGICAL OR -->
<!ENTITY cuwed	"&#x22CF;"> <!-- CURLY LOGICAL AND -->
<!ENTITY diam	"&#x22C4;"> <!-- DIAMOND OPERATOR -->
<!ENTITY divonx	"&#x22C7;"> <!-- DIVISION TIMES -->
<!ENTITY intcal	"&#x22BA;"> <!-- INTERCALATE -->
<!ENTITY lthree	"&#x22CB;"> <!-- LEFT SEMIDIRECT PRODUCT -->
<!ENTITY ltimes	"&#x22C9;"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
<!ENTITY minusb	"&#x229F;"> <!-- SQUARED MINUS -->
<!ENTITY oast	"&#x229B;"> <!-- CIRCLED ASTERISK OPERATOR -->
<!ENTITY ocir	"&#x229A;"> <!-- CIRCLED RING OPERATOR -->
<!ENTITY odash	"&#x229D;"> <!-- CIRCLED DASH -->
<!ENTITY odot	"&#x2299;"> <!-- CIRCLED DOT OPERATOR -->
<!ENTITY ominus	"&#x2296;"> <!-- CIRCLED MINUS -->
<!ENTITY oplus	"&#x2295;"> <!-- CIRCLED PLUS -->
<!ENTITY osol	"&#x2298;"> <!-- CIRCLED DIVISION SLASH -->
<!ENTITY otimes	"&#x2297;"> <!-- CIRCLED TIMES -->
<!ENTITY plusb	"&#x229E;"> <!-- SQUARED PLUS -->
<!ENTITY plusdo	"&#x2214;"> <!-- DOT PLUS -->
<!ENTITY rthree	"&#x22CC;"> <!-- RIGHT SEMIDIRECT PRODUCT -->
<!ENTITY rtimes	"&#x22CA;"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
<!ENTITY sdot	"&#x22C5;"> <!-- DOT OPERATOR -->
<!ENTITY sdotb	"&#x22A1;"> <!-- SQUARED DOT OPERATOR -->
<!ENTITY setmn	"&#x2216;"> <!-- SET MINUS -->
<!ENTITY sqcap	"&#x2293;"> <!-- SQUARE CAP -->
<!ENTITY sqcup	"&#x2294;"> <!-- SQUARE CUP -->
<!ENTITY ssetmn	"&#x2216;"> <!-- SET MINUS -->
<!ENTITY sstarf	"&#x22C6;"> <!-- STAR OPERATOR -->
<!ENTITY timesb	"&#x22A0;"> <!-- SQUARED TIMES -->
<!ENTITY top	"&#x22A4;"> <!-- DOWN TACK -->
<!ENTITY uplus	"&#x228E;"> <!-- MULTISET UNION -->
<!ENTITY wreath	"&#x2240;"> <!-- WREATH PRODUCT -->
<!ENTITY xcirc	"&#x25CB;"> <!-- WHITE CIRCLE -->
<!ENTITY xdtri	"&#x25BD;"> <!-- WHITE DOWN-POINTING TRIANGLE -->
<!ENTITY xutri	"&#x25B3;"> <!-- WHITE UP-POINTING TRIANGLE -->
<!ENTITY coprod	"&#x2210;"> <!-- N-ARY COPRODUCT -->
<!ENTITY prod	"&#x220F;"> <!-- N-ARY PRODUCT -->
<!ENTITY sum	"&#x2211;"> <!-- N-ARY SUMMATION -->