A LaTex-like text editor.