eq: mul: a a pow: a 2
(eq (mul a a) (pow a 2))
(eq (mul a a ) (pow a 2 ) )
Actually, I'd suggest a slight improvement: x*x = x^2
The length people go to avoid Lisp, only to reinvent it, badly.