Symbolic algebra

Summary