User interface for sympy