symbols in python used thus far