TeX source:
(n\in{N_+})