Propositional quantifiers

Symbols that quantify over propositions rather than objects or properties.