Mathy quantifiers instead of textual