TeX source:

\in{N_+}