The Best 1 TeXmacs Alternatives