removed symbol.py as it is no longer necessary