TeX source:
\mod p