LaTeX semantic checker
