Definition:Closed Interval/Technical Note

Technical Note on Closed Interval
This is a custom command designed to implement Wirth interval notation.