X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fdata%2Fextra-entities.xml;h=73b12ad5e97c7eebbc50209a670339cb98028684;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=991c2d84b6fc746cd3d4b544b6b425bf86f0d9e9;hpb=708d2e2da7e5cfae98d69b325db56960e33fd38f;p=helm.git

diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index 991c2d84b..73b12ad5e 100644
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -2,4 +2,15 @@
 
 <entities-table>
   <entity name="def" value="&#x0225d;"/>  <!-- ≝ -->
+  <entity name="neq" value="&#x02260;"/>  <!-- ≠ -->
+  <entity name="leq" value="&#x02264;"/>  <!-- ≤ -->
+  <entity name="geq" value="&#x02265;"/>  <!-- ≥ -->
+  <entity name="nleq" value="&#x02270;"/> <!-- ≰ -->
+  <entity name="ngeq" value="&#x02271;"/> <!-- ≱ -->
+  <entity name="to" value="&#x02192;"/>   <!-- → -->
+  <entity name="divides" value="&#x02223;"/>  <!-- ∣ -->
+  <entity name="ndivides" value="&#x02224;"/>  <!-- ∤ -->
+  <entity name="circ" value="&#x02218;"/>  <!-- ∤ -->
 </entities-table>
+
+<!-- vim: set encoding=utf8: -->