There is also a fork of TeXmacs called Mogan https://github.com/MoganLab/mogan