TeX source:
{n_1} /le {n_2}