]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/data/extra-entities.xml
- addded unicode_of_tex
[helm.git] / helm / ocaml / utf8_macros / data / extra-entities.xml
index 991c2d84b6fc746cd3d4b544b6b425bf86f0d9e9..e99c548e2bdd6e522e05b5299536839d564f472d 100644 (file)
@@ -2,4 +2,5 @@
 
 <entities-table>
   <entity name="def" value="&#x0225d;"/>  <!-- ≝ -->
+  <entity name="neq" value="&#x02260;"/>  <!-- ≠ -->
 </entities-table>