better handling of \forall and \ex