For an integer and a positive integer modulus , the modulo operation returns the unique least nonnegative residue satisfying for an integer and . Equivalently, . For example, . Some programming languages instead use a remainder with the sign of the dividend, so their negative-input convention must be checked before identifying an operator with this mathematical definition.