TeX source:
\ n\in{N_+}