Symbolic algebra