add minor changes to sympy.md
add sympy-inference