Do we always prefer `from sympy.abc import x` over `x = Symbol('x')`? Does it have any particular advantage?