Added support for SympyTex