Symbol: delta_type