forSymPy correction