Graphical frontend for LaTeX (nearly WYSIWYG)