# math 4 9

a b c set a b c x 2 x map lambda x times 2 x Z x x lambda x x x x x forall x geq x x i 0 100 x i sum integer_interval 0 100 lambda i power x i C f x 0 1 x 2 x 0 1 x 2 x 0 x x 1 x 2 x y t u 0 t t 1 0 u u 1 t u x 2 y 3 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 x 4 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 https://example.com other att bla