Merge pull request #7 from ayr0/sympy

minor fixes
Some sleight corrections to the SymPy lab.
Updated simplification example in the SymPy lab to be compatible with
SymPy 7.2.
Fixed latex to match expression to be simplified in sympy lab.
minor formatting fixes

Fixed some very minor formatting issues