Fuente TeX:

a \in \mathbb{N}