Update symbols.py