Is it acceptable to write $x\in S\pmod m$ to denote "$x$ is congruent to a member of $S$ modulo $m$"? Are there any established alternatives to this notation?
An example of use: "When $m\ge 5$ is prime, solutions exist for all $p\notin \{0,\pm 1\} \pmod m$".