Added print methods to symbol classes