TeX source:

y = 𝛼^x \text{ (mod p)}