TeX source:
r=n \in \mathbb{N}