According to Joris van der Hoeven "... it has become clear over time that this choice of name was one of the biggest mistakes of the project. Indeed, the name i

According to Joris van der Hoeven "... it has become clear over time that this choice of name was one of the biggest mistakes of the project. Indeed, the name incorrectly suggests that TeXmacs is some kind of interface to (La)TeX."