Notation: "infinity" superscript on universal quantifier

Printable View