This is a browser-friendly view of the QMath context list1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary list1 || http://www.openmath.org/cd/list1.html || http://www.openmath.org/cd/list1.ocd Symbol: list APPLICATION "list1:list" Symbol: map APPLICATION "list1:map" Symbol: → OP_PLUS "list1:map" Symbol: suchthat APPLICATION "list1:suchthat" Symbol: | APPLICATION "list1:suchthat" Symbol: ∣ APPLICATION "list1:suchthat"