Project MAC's SYmbolic MAnipulator. The first comprehensive symbolic mathematics system, written in Lisp by Joel Moses of MIT in 1969, later Symbolics, Inc. Versions include Symbolics Macsyma, DOE Maxima (ANL, in Common LISP) and Vaxima.