Even so, I think we should just import the names. It's clearer. This code comes from when this used to be in IPython. When you use an external module it's often better to import the top-level module and use dotted names, but for SymPy objects inside of SymPy it's just unnecessarily verbose.