X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fdata%2Fextra-entities.xml;fp=helm%2Focaml%2Futf8_macros%2Fdata%2Fextra-entities.xml;h=6023f3fbebfd2a6b801c4e69ae78d08f96c816bb;hb=564d4fe0793c625b9c6be05fa05d5fbb50c61703;hp=dd4f97580cb923584145cbf0893bdc37dfaeb95b;hpb=107b7efc2281a24ab2a4ddd2cec88329f88ee8cb;p=helm.git

diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index dd4f97580..6023f3fbe 100644
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -8,6 +8,8 @@
   <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;"/>  <!-- ∤ -->
 </entities-table>
 
 <!-- vim: set encoding=utf8: -->