LaTeX development environment
