Have any comments about TeXmacs?
We welcome any bug reports!