Definition:Real Interval/Notation