Symbol: Dbl_invert_sign