TeX source:

m_0 \in \mathbb{N}