Improve notation for modal quantifiers