GNU TeXmacs 是一個(gè)所見即所得的科學(xué)公式編輯軟件，提供一個(gè)獨(dú)一無二、使用便利的框架用來編輯結(jié)構(gòu)化文檔。

TeXmacs 的主要特點(diǎn)是：

• 跟 Lyx 等不同，它不是一個(gè) TeX 的“前端”，而是一個(gè)完全獨(dú)立的，超越 TeX 的系統(tǒng)。TeXmacs 擁有跟 TeX 相同，甚至更好的排版美觀程度。這是因?yàn)樗捎酶?TeX 一樣的排版算法，并且用 C++ 重新實(shí)現(xiàn)。據(jù)說分頁的算法比 TeX 的還要好些。

• 擁有超越 Word （或者任何一款字處理軟件）的，真正的“所見即所得” (WYSIWYG)。Word 所謂的“所見即所得”其實(shí)是假的。所見即所得的含義應(yīng)該是，屏幕上顯示的內(nèi)容，跟打印下來的完全一樣?？墒?Word 能做到嗎？打印一個(gè)文檔出來你就發(fā)現(xiàn)跟屏幕上顯示的有很大區(qū)別，一般來說屏幕上顯示的要粗糙一些。一些 TeX 的前端，比如 Lyx, Scientific Workspace 等也是類似的，它們都不能達(dá)到真正的所見即所得。

• 直接可在屏幕文檔里繪圖。完全可視化的表格，公式編輯環(huán)境。這些都是比 TeX 方便高效很多的方式。需要當(dāng)心的是，用過 TeXmacs 一段時(shí)間之后，你會(huì)發(fā)現(xiàn)回到 TeX 的公式編輯方式簡(jiǎn)直就像回到原始社會(huì)。

• 非常人性化的按鍵設(shè)計(jì)。比如，在數(shù)學(xué)公式環(huán)境下，你按任意一個(gè)字符，然后就可以用多次 TAB 鍵相繼選擇“拓?fù)湎嗤钡淖址?。舉個(gè)例子，如果你按 @，然后再按幾下 TAB，就會(huì)發(fā)現(xiàn)這個(gè)字符變成各種各樣的圓圈形的字符。如果你按 >，再按 =，就會(huì)出現(xiàn)大于等于號(hào)，之后再按 TAB，就會(huì)相繼出現(xiàn)大于等于號(hào)的各種變體。

• 在直觀的同時(shí)不失去對(duì)底層結(jié)構(gòu)的控制。比如，（見下圖）窗口右下角的狀態(tài)欄，顯示出當(dāng)前光標(biāo)位置的“上下文”是“proof eqnarry* (1,1) start”，這表示的是這是在一個(gè) proof 環(huán)境里的 eqnarry 的坐標(biāo) (1,1) 的開始處。當(dāng)你使用 Ctrl-Backspace，最靠近光標(biāo)的那層“環(huán)境”會(huì)被刪除。比如，如果你現(xiàn)在的字體是斜體，那么在 Ctrl-Backspace 之后，字體就立即還原成正體。

  

• 結(jié)構(gòu)化的瀏覽功能。比如，按 Ctrl-PgUp, Ctrl-PgDn 就可以在“相同類型”的結(jié)構(gòu)里上下跳轉(zhuǎn)。比如，如果你在小節(jié)標(biāo)題里按這個(gè)鍵，就可以迅速的瀏覽所有的小節(jié)標(biāo)題。如果你在數(shù)學(xué)公式里按這個(gè)鍵，就可以迅速瀏覽所有的數(shù)學(xué)公式。

• 與交互式程序接口。支持很多種計(jì)算機(jī)代數(shù)系統(tǒng)，和交互式軟件，比如 MAXIMA，Octave，…… 這些系統(tǒng)返回的數(shù)學(xué)公式會(huì)直接被 TeXmacs 顯示為“TeX 效果”。使用 Scheme 作為嵌入式語言，并且可以使用它來擴(kuò)展系統(tǒng)。這比起 TeX 的語言是非常大的進(jìn)步。