Fuente TeX:

P(n) := a_n \in \mathbb{N}