]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/tptp_grafite/lexerTHF.mll
| '~' { NOT }
| '=' { IEQ }
| "=>" { IMPLY }
+ | "<=" { IMPLYLR }
+ | "<=>" { COIMPLY }
+ | "<~>" { XOR }
| "!=" { NIEQ }
| "!" { FORALL }
| "?" { EXISTS }