\input amstex
\def\pomod#1{\equiv_{#1}}
$$12-8=4\pomod{7}4,$$
\bye