The Best 2 TeXmacs Alternatives