m — modulo
expression m expression
m : ( R x R* ) -> Z
4 m 2 = 0
The modulo operator calculates the remainder of the division between two expressions.