The article really should have more extensively reviewed TeXmacs:

http://texmacs.org/tmweb/home/welcome.en.html