Fuente TeX:
\forall n\in S, \, \, P(n)