improve symbolicinterval