Symbol: split_coefficient