]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/data/entities-table.xml
ocaml 3.09 transition
[helm.git] / helm / ocaml / utf8_macros / data / entities-table.xml
index ca0bdabcfee2c60c95c51d851b417d0f092e65f6..c283631b4536831c61248bc6957a6abda578c3e1 100644 (file)
   <entity name="starf" value="&#x02605;"/>
   <entity name="straightepsilon" value="&#x003B5;"/>
   <entity name="straightphi" value="&#x003C6;"/>
-  <entity name="sub" value="&#x02282;"/>
   <entity name="Sub" value="&#x022D0;"/>
   <entity name="subdot" value="&#x02ABD;"/>
   <entity name="sube" value="&#x02286;"/>
   <entity name="sum" value="&#x02211;"/>
   <entity name="Sum" value="&#x02211;"/>
   <entity name="sung" value="&#x0266A;"/>
-  <entity name="sup" value="&#x02283;"/>
   <entity name="Sup" value="&#x022D1;"/>
   <entity name="sup1" value="&#x000B9;"/>
   <entity name="sup2" value="&#x000B2;"/>