TeX source:
y \equiv g x(\bmod p) .