TeX source:

y^2=x^3+ax+b \text{ mod p}