A WYSIWYM frontend to LaTeX