This is a browser-friendly view of the QMath context interval1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted form the interval1 content-dictionary || http://www.openmath.org/cd/interval1.html || http://www.openmath.org/cd/interval1.ocd Symbol: ._. OP_PLUS "interval1:integer_interval" Symbol: ... OP_PLUS "interval1:interval" Symbol: .. OP_PLUS "interval1:interval_cc" Symbol: ..< OP_PLUS "interval1:interval_co" Symbol: <.. OP_PLUS "interval1:interval_oc" Symbol: <..< OP_PLUS "interval1:interval_oo"