Fuente TeX:

x\equiv y\ \Leftrightarrow x-y=3n\text{ para algun }n\in \mathbb{Z}