The comparison operations for arithmetic expressions may also be applied to
pairs of atoms
