from sympy import * init_printing(use_unicode=True)