Explain sympy.Eq( ) more. Small typos.