Doc page and diagram for Interval operator