+ | "=" { out "BE" ; BE }
+ | "#" { out "COUNT" ; COUNT }
+ | "!" { out "NOT" ; NOT }
+ | "<" { out "LT" ; LT }
+ | "<=" { out "LE" ; LE }
+ | "==" { out "EQ" ; EQ }
+ | "&&" { out "AND" ; AND }
+ | "||" { out "OR" ; OR }
+ | "\\/" { out "UNION" ; UNION }
+ | "/\\" { out "INTER" ; INTER }
+ | "begin" { out "LP" ; LP }
+ | "end" { out "RP" ; RP }