Fuente TeX:

n_7 \equiv 1 (mod 7)