It seems TeXmacs is MacOS only?
Edit: Ah, they only provide MacOS installers on the download page. But they also provide a PPA for Ubuntu and Debian. Weird only ArchLinux and Gentoo provide official packages.
Edit: Ah, they only provide MacOS installers on the download page. But they also provide a PPA for Ubuntu and Debian. Weird only ArchLinux and Gentoo provide official packages.
I think that TeXmacs is pretty available generally.