list1 http://www.openmath.org/cd/list1.ocd 2003-04-01 2001-03-12 2 0 official arith1 setname1 interval1 fns1 logic1 relation1 alg1 set1 This CD is intended to be `compatible' with MathML list constructs. map This symbol represents a mapping function which may be used to construct lists, it takes as arguments a function from X to Y and a list over X in that order. The value that is returned is a list of values in Y. The argument list may be a set or an integer_interval. The list of even values between 0 and 20 in ascending order, that is the values 2x in ascending order, where x ranges over the integral interval [0,10]. 2 0 10 suchthat This symbol represents the suchthat function which may be used to construct lists, it takes two arguments. The first argument should be the set which contains the elements of the list, the second argument should be a predicate, that is a function from the set to the booleans which describes if an element is to be in the list returned. This example shows how to construct the list of even positive integers less than 100, using the suchthat constructor. 100 2 list This symbol denotes the list construct which is an n-ary function. The list entries must be given explicitly. The list 3, 6, 9. 3 6 9