TeX source:
x^r = 1 \text{ mod } n