Rename File: symbolic.py

File Manager