Update rules, operators are symbols