TeX source:
gcd((g^{r/2} ± 1) \text{mod N, N)}