Refactoring ToString -> ToLatexString