TeX source:
n > \max(n_0,m_0)