Fuente TeX:

P(n) \forall \mathbb{Z}^{+} : n \geq 3