Have any comments about TeXmacs?
3 + 4 =