Symbolic Algebra