amhouse·8년 전·discussThere's also WordTeX, a "WYSIPCTWOTCG" editor. There's a paper [1], but this is a rare case where the Youtube video [2] is both more entertaining and the medium lets the content shine.[1] http://www.andrew.cmu.edu/user/twildenh/wordtex/[2] http://www.youtube.com/watch?v=jlX_pThh7z8
(1989 won me over.)