math 3 9

abc setabc x 2x map lambda x times 2 x Z xx lambda xx x xx forall x geqxx i 0 100 xi sum integer_interval 0 100 lambda i power x i C f x 01 x2 x 0 1 x2 x 0x x1 x2 x y t u 0t t1 0u u1 tu x2 y3 H x a b C H x interval a b C x1 xn P x1 xn suchthat R lambda x1 xn P F C a1 an restriction F C a1 an H v1 ... vn D A1 ... Am H D lambda v1 ... vn A1 ... lambda v1 ... vn Am x 2 x4 plus x D expression-in-x apply_to_list union map lambda x expression-in-x D x D expression-in-x map lambda x expression-in-x D a b c d predicate_on_list lt list a b c d x R expression-in-x predicate_on_list lt map R lambda x expression-in-x a1 a2 an max set a1 a2 an x D expression-in-x max map lambda x expression-in-x D a max a x D expression-in-x exists x and in x D expression-in-x x x foo foreign_attribute http://example.com other att bla