Symbolic manipulation of equations.