Fuente TeX:

3 \equiv 2^{k}