quotient, exp, max, min, root, and, xor, forall, exists, floor
eq, neq, equivalent,
ln, int, partialdiff, diff, limit, laplacian
list, union, intersect, cartesian product
