Explain sympy.Eq and edit nearby text