Common lisp is essentially better than the formal mathematics taught in schools. Not only is it more expressive and a more standardized syntax for symbolic computation, but it's syntactic macros offer you a formal way to change the syntax to any other possible syntax thus encompassing all other possible means of symbolic computation.

Common Lisp is essentially the achievement of what Bertrand Russel was attempting when he created Principia Mathematica.

A mathematical system which treats the core of common lisp or scheme lisp as the underlying axioms of hit's language is far preferable to modern day mathematical grammar.