x \pod a
The notation 'x \pod a' is used to denote that x is congruent to 0 modulo a. It is a shorthand for expressing that x is divisible by a without leaving a remainder. This is often used in number theory and modular arithmetic to simplify expressions and proofs.
x is divisible by 3
x \pod 3
n squared is divisible by 4
n^2 \pod 4
The sum of a and b is divisible by 5
a + b \pod 5