Fuente TeX:
( \forall b \subseteq PROP) (b