TeX source:
ax\equiv b\pmod{m}