Symbol: Dbl_subtract