TeX source:
y = x^{r / 2} \text{ mod } n