REDUCE

17.2 Symbolic Expressions

These consist of scalar variables and operators and follow the normal rules of the Lisp meta language.

Examples:

        x  
        car u . reverse v  
        simp (u+v^2)