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