The Best 0 TeXmacs Alternatives