Symbol: new_interval