]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
| "\\pi" { PROD }
| "\\forall" { PROD }
| "\\eqt" { EQT }
| "\\pi" { PROD }
| "\\forall" { PROD }
| "\\eqt" { EQT }
| ':' { COLON }
| '.' { DOT }
| "\\to" { ARROW }
| ':' { COLON }
| '.' { DOT }
| "\\to" { ARROW }