SYMBOLICS

Definition of SYMBOLICS