Org-mode can generate latex output but the whole point is to be a more human-readable markup format than latex. Org-mode can also convert your equations to images and display them inline.
TeXmacs is a great looking piece of software, but I've never understood the name. I don't think it uses TeX underneath the hood, nor does it use Emacs.