TeX source:

k,n\in{N_+}