TeX source:

N \in \NN