symbolic intervals