Added new definition of the SYMBOL class.