Document processor and graphical frontend for LaTeX
