X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftex_cic_textual_parser%2FtexCicTextualLexer.mll;h=f6eda1ac8f8f26cd4a53a16e7c187ead58769e29;hb=a335fa89b0340ba3fb5d60566075ca83b5bda5d1;hp=06bbab076ec8c3b501d30dfa3e49d196a29b6c82;hpb=0cb045e7fe606a61ff725a2408684bb390bcb50c;p=helm.git

diff --git a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
index 06bbab076..f6eda1ac8 100644
--- a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
+++ b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
@@ -114,6 +114,7 @@ rule token =
   | "\\pi"      { PROD }
   | "\\forall"  { PROD }
   | "\\eqt"     { EQT }
+  | "\\neqt"    { NEQT }
   | ':'         { COLON }
   | '.'         { DOT }
   | "\\to"      { ARROW }