Definition:Wirth Interval Notation