helm/ocaml/utf8_macros/data/extra-entities.xml

   1 <?xml version="1.0"?>
   2
   3 <entities-table>
   4   <entity name="def" value="&#x0225d;"/>  <!-- ≝ -->
   5   <entity name="neq" value="&#x02260;"/>  <!-- ≠ -->
   6   <entity name="leq" value="&#x02264;"/>  <!-- ≤ -->
   7   <entity name="geq" value="&#x02265;"/>  <!-- ≥ -->
   8   <entity name="nleq" value="&#x02270;"/> <!-- ≰ -->
   9   <entity name="ngeq" value="&#x02271;"/> <!-- ≱ -->
  10   <entity name="to" value="&#x02192;"/>   <!-- → -->
  11 </entities-table>
  12
  13 <!-- vim: set encoding=utf8: -->