TeX source:
n\geq m_0