Modulus[x->INTEGER, y->INTEGER] =: INTEGER
Modulus computes the remainder from dividing y into x. It is an error if y is zero.
x MOD y
IntegerDivide.