TeX source:
n \geq \max \{n_0,n_1\}