TeX source:
11^1≡11 \pmod{30}