Simple symbolic proof editor that outputs LaTeX, written in javascript.