TeX source:
a, b \in \mathbb {N}