Fuente TeX:

ax\equiv b \mod{m}