iso-amsc.ent

这是外国一个开源推理机

<!-- iso-amsc.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 -->

<!ENTITY rceil	"&#x2309;"> <!-- RIGHT CEILING -->
<!ENTITY rfloor	"&#x230B;"> <!-- RIGHT FLOOR -->
<!ENTITY rpargt	"&#xE291;"> <!--  -->
<!ENTITY urcorn	"&#x231D;"> <!-- TOP RIGHT CORNER -->
<!ENTITY drcorn	"&#x231F;"> <!-- BOTTOM RIGHT CORNER -->
<!ENTITY lceil	"&#x2308;"> <!-- LEFT CEILING -->
<!ENTITY lfloor	"&#x230A;"> <!-- LEFT FLOOR -->
<!--     lpargt	Unknown unicode character -->
<!ENTITY ulcorn	"&#x231C;"> <!-- TOP LEFT CORNER -->
<!ENTITY dlcorn	"&#x231E;"> <!-- BOTTOM LEFT CORNER -->