Delete symbols.py~