Document binary operators in residue rings.