Yeah that's some pretty terrible naming. Why would you name something that is not based on TeX TeXmacs. Next you're going to tell me it isn't a Mac app.