> we could have a much better document format and publishing system around it. TeXmacs (http://www.texmacs.org/ http://www.texmacs.org/ and http://forum.texmac

> we could have a much better document format and publishing system around it. TeXmacs (http://www.texmacs.org/ http://www.texmacs.org/ and http://forum.texmacs.cn/ http://forum.texmacs.cn/), and it happens right now!