Talk:Parsing expressions and statements

It would be good to have a reference to a parsing tool that had better support for prefix operators. For example, how do you parse an expression like this: ∃x. ∃y. x=y

   *** Exception: (line 1, column 5):
   unexpected "∃"
   expecting "(", expression, identifier, "nil", integer, "<", "|--", "true" or "false"