From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 16 Sep 2005 11:50:21 +0000 (+0000)
Subject: added entites/overrides for leq, geq, nleq, ngeq, to
X-Git-Tag: LAST_BEFORE_NEW~116
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bcae23ef41ad2110426eebd97671d27d09213a3;p=helm.git

added entites/overrides for leq, geq, nleq, ngeq, to
---

diff --git a/helm/ocaml/utf8_macros/data/extra-entities.xml b/helm/ocaml/utf8_macros/data/extra-entities.xml
index e99c548e2..dd4f97580 100644
--- a/helm/ocaml/utf8_macros/data/extra-entities.xml
+++ b/helm/ocaml/utf8_macros/data/extra-entities.xml
@@ -3,4 +3,11 @@
 <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;"/>   <!-- → -->
 </entities-table>
+
+<!-- vim: set encoding=utf8: -->