LaTeX editor and front end
