Fixed negation of arithmetic expressions