Update symbolic.py