{ } rule syntax = parse ([' ''\t''\n']|('#'[^'\n']*'\n'))+ {} (* Whitespace *) | '(' { Klammer_auf } | ',' { Komma } | ')' { Klammer_zu } | '~' { Negation } | '&' { Konjunktion } | '|' { Disjunktion } | "->" { Implikation } | "ALL" { Allquantor } | "EX" { Existenzquantor } | ['0'-'9''a'-'z''A'-'Z''_''-''\'']+ { Symbol } | ';' { Trenner } | '=' { Gleich } | eof { EOF }