]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/data/extra-entities.xml
ocaml 3.09 transition
[helm.git] / helm / ocaml / utf8_macros / data / extra-entities.xml
index dd4f97580cb923584145cbf0893bdc37dfaeb95b..73b12ad5e97c7eebbc50209a670339cb98028684 100644 (file)
@@ -8,6 +8,9 @@
   <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: -->