No, it's just my habit to use `import sympy` instead of `from sympy import Symbol`.