| alg1 | one, zero |
| arith1 | abs, conjugate, divide, minus, plus, power, product, root, sum, times, unary_minus |
| arith2 | arg, inverse, times |
| calculus1 | defint, diff, int, partialdiff |
| fns1 | inverse, lambda |
| integer1 | factorial, gcd , quotient, rem |
| interval1 | integer_interval, interval, interval_cc, interval_co, interval_oc, interval_oo |
| limit1 | both_sides, above, below, limit, null |
| linalg1 | matrix, outerproduct, scalarproduct, vector, vectorproduct |
| linalg2 | vector |
| linalg3 | determinant, matrix_selector, selector, size, transpose, vector_selector |
| list1 | list |
| logic1 | and, false, implies, not, or, true, xor |
| logic2 | equivalent |
| minmax1 | max, min |
| multiset1 | in, intersect, multiset, notin, notprsubset, notsubset, prsubset, set, setdiff, subset, union |
| nums1 | based_integer, complex_cartesian, complex_polar, e, gamma, i, imaginary, infinity, nan, pi, rational, real |
| omtypes | float, integer |
| quant1 | exists, forall |
| relation1 | eq, geq, gt, leq, lt, neq |
| relation2 | approx |
| set1 | in, intersect, notin, notprsubset, notsubset, prsubset, set, setdiff, subset, union |
| stats1 | mean, median, mode, moment, sdev, variance |
| transc1 | arccos, arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsin, arcsinh, arctan, arctanh, cos, cosh, cot, coth, csc, csch, exp, ln, log, sec, sech, sin, sinh, tan, tanh |
| transc2 | arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, arctanh |
| typmml | complex_cartesian_type, complex_polar_type, constant_type, fn_type, integer_type, list_type, matrix_type, rational_type, real_type, set_type, type, vector_type |
| veccalc1 | curl, divergence, grad, laplacian |