TeX source:
(a+nb:n\in N)