remainder --Operation, two inputs. Abbreviation: mod Infix: \
     The inputs to this procedure must be integers. The output is also an
     integer, and is the remainder of dividing the first input by the
     second.