TeX source:

K = 𝛼{xy}\text{ (mod p)}