Symbol: move_plus_to_minus_helper