universal quantification

E.g. $\forall x\in X,\mathbb{P}(x)$

• kind of like $\bigwedge$