X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fdata%2Fentities-table.xml;h=c283631b4536831c61248bc6957a6abda578c3e1;hb=c0c56a8f8ad4d177fbd4025a92fb5317240b33fe;hp=ca0bdabcfee2c60c95c51d851b417d0f092e65f6;hpb=708d2e2da7e5cfae98d69b325db56960e33fd38f;p=helm.git

diff --git a/helm/ocaml/utf8_macros/data/entities-table.xml b/helm/ocaml/utf8_macros/data/entities-table.xml
index ca0bdabcf..c283631b4 100644
--- a/helm/ocaml/utf8_macros/data/entities-table.xml
+++ b/helm/ocaml/utf8_macros/data/entities-table.xml
@@ -1707,7 +1707,6 @@
   <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;"/>
@@ -1744,7 +1743,6 @@
   <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;"/>