TeX source:

n > n_0