X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fdictionary-cic.xml;h=1d63dac83f7ac09b86a6c80f7b63104220689137;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=9b5441679b600252919d15bf561408ab957f6837;hpb=ae7cc618dff26f39f6bd4040aca2b670ffd2b8cc;p=helm.git

diff --git a/helm/gTopLevel/dictionary-cic.xml b/helm/gTopLevel/dictionary-cic.xml
index 9b5441679..1d63dac83 100644
--- a/helm/gTopLevel/dictionary-cic.xml
+++ b/helm/gTopLevel/dictionary-cic.xml
@@ -35,5 +35,6 @@
   <entry name="Type" class="i" val="Type"/>
 
   <entry name="eqt"  class="o" val="="/>
+  <entry name="neqt" class="o" val="&#x2260;"/>
 
 </dictionary>