（，常被讀作 ，音譯，風格化後寫作 ），是一個由美國計算機科學教授高德納編寫的排版軟體。 的 MIME 型別為 applicationxtex，是一款自由軟體。它在學術界特別是數學、物理學和計算機科學界十分流行。 被普遍認為是一個優秀的排版工具，尤其是對於複雜數學符號的處理。利用 等終端軟體， 就能夠排版出精美的文字以幫助人們辨認和尋找。 歷史 高德納最早開始自行編寫 的原因，是因為當時的電腦排版技術十分粗糙，已經影響到他的鉅著《計算機程式設計藝術》的印刷品質。他以典型的駭客思維模式，決定自行編寫一個排版軟體：。 他計劃在 1978 年的學術休假時完成這項工作，但事實上，直到十多年之後的 1989 年， 排版語言才被「凍結」（可以使用）。1978 年夏天，蓋伊史提爾二世在高德納編寫其第一版的 程式時，正好在高德納所工作的斯坦福大學，當他回到麻省理工學院（MIT）時他在 下重寫了 的輸出輸入系統。 的第一版是用 SASL 語言寫成的，運行於 PDP10 型計算機，採用斯坦福大學的 作業系統。在之後的 版本中，高德納發明了所謂的 文學程式設計（literate programming），一種從同一原始檔自動生成可編譯的原始碼和高質量的文件的程式設計方法。這種語言被稱為 WEB，它所生成的原始碼是使用 Pascal 程式語言。 一個從頭開始重寫的新版 於 1982 年釋出，它被稱為 82。除了其他修改之外，原本的斷字演算法被 編寫的新演算法所取代。 82 還使用了定點而不是浮點，以確保結果在不同的計算機硬體上重現。Knuth and Plass p 144 並且在蓋伊史提爾二世的大力遊說下， 82 包括一種真正的、圖靈完全的程式語言。Donald E Knuth Knuth meets NTG members NTG MAPS 16 1996 3849 Reprinted as Questions and Answers III chapter 33 of Digital Typography p 6481989 年，高德納釋出了新版本的 和 Metafont。Donald E Knuth The New Versions of TeX and METAFONT TUGboat 10 1989 325328 11 1990 12 Reprinted as chapter 29 of Digital Typography 儘管高德納希望保持程式的穩定性，但他意識到，只能輸入 128 個不同的字元不足以容納外語；因此 30 版本的主要變化是能使用 8 位元輸入，即在文字中允許輸入 256 個不同的字元。 從 第三版開始，之後的升級是在小數點後加入一個新數位，使之越來越接近圓周率「」的值。TeX 目前的版本是 3141592653。這顯示了 已經十分穩定，任何的升級都十分細微。高德納曾表示 「最後一次升級是（於我過世後）將版本數改為『』，那時任何餘下的漏洞將被看作程式的功能。」 由於 的原始碼基本上處於公共領域，其他程式設計師可以（並明確被鼓勵）改進系統，但需要使用其他名稱來分發修改後的 。例如，Omega 專案是在 1991 年之後開發的，主要是為了提高 的多語種排版能力。高德納建立了 非官方 修改版本，例如 XeT，它允許使用者在同一文件中混合寫入從左到右和從右到左書寫系統的文字。 範例 此乃於 Microsoft Windows 系統中示範的簡易 文字範例。 首先建立一名為 myfiletex 的純文字檔案，並載有以下內容： Hello World bye marks the end of the file not shown in the final output 然後在命令列直譯器（Command line interpreter），如 cmd 或 PowerShell 中鍵入 tex myfiletex 並回車確認，之後 TeX 便會建立一名為 myfiledvi 的檔案。此檔案可用如雅浦島之類的 DVI 檢視器檢視。此檔於閱讀器可見的是 Hello World 一句話。bye 是一個 指令，作用等同於檔案結束標記，不會顯示於此。此 DVI 檔案可在閱讀器中直接列印或轉換成更普遍的格式，例如 PostScript，或現代更常見的 pdf 格式。 另外，使用指令 pdftex myfiletex 亦能輸出 PDF 檔案。PDF 出現之前，把 DVI 轉成 PostScript 再轉成 PDF 所產生的字型顯示質量很差（但列印則沒問題）。這是由於 本身支援點陣字型（Type 3），而此遠不及向量字型（Type 1）的顯示質量好。 數學公式範例 以二次方程為例， 所有行內公式在 中都須以一對 符號圍住。如果要使公式成為行間公式，也就是另起一行居中，則應以一對 取代一對 。例如： 是一套以 描述的巨集軟體。 有很多預設的模版、樣式。它比 更為結構化，如包含了供建立索引、表格、列表等的巨集和公用軟體。例如： documentclass a4paperbook begin document section a title subsection a subtitle Text goes here end document 執行 latex myfiletex dvips myfiledvi 會建立一本為 PostScript 檔的書。如要建立 PDF 檔則可使用 pdflatex myfiletex 特性 軟體在當時擁有其他排版軟體沒有或不成熟的功能。其中有一些功能得益於排版演算法的創新，其中很多成為了高德納的學生的論文主題。儘管有些功能現在已經被其他排版系統所實現，但仍有部分功能是 所特有的，比如數學公式的自動間距調整。 數學公式的自動間距調整 由於 的設計目標是實現高質量的書籍排版，高德納在數學公式的排版上下了很大功夫。 他研究了三種按照老方法排版、排版質量高的書籍：艾迪生韋斯利出版社（即高德納的《計算機程式設計藝術》的出版商）的出版物，尤其是漢斯沃爾夫和 JosephLouis Lagrange 的書籍《Thermodynamics Innovation》（1856）、數學期刊《》、和數學期刊《》。高德納透過研究其數學公式的排版，總結出了一套數學公式內部間距的規則，並將其用於 。Donald E Knuth Questions and Answers II TUGboat 17 1996 p 355367 Reprinted as chapter 32 of Digital Typography p 620624 排版數學公式時只是提供了一個間距調整引擎，實際的間距大小由數學字型提供。比如 預設的 Computer Modern 字型提供了一套成熟的間距引數，可以直接使用。 的數學排版功能並非十全十美，有時也招來部分批評。比如 誕生的時代的部分機器由於容量不夠，不足以儲存 TeX 的所有字型引數，在部分場合需要 hack 才能正常使用。在美學方面， 對根號的處理也招致部分批評。Ulrik Vieth 2001 Math typesetting in TEX The good the bad the ugly OpenType 字型技術的數學字型引數基於 。 斷字與斷行 與手動排版相比，計算機排版系統可以自動處理斷行問題。大部分排版系統都採用首次擬合法處理斷行，即一行一行處理，一行處理完就不管了，因此一旦遇到較長的專有名詞，就會出現前面排版沒有問題，但後面的行卻出現極醜陋的大間距的情況。 的方法是一次處理一個自然段，嘗試每一種斷行方法，然後選出最優解。兩種方法的差異如下：（此演示不考慮斷字） The quick brown fox jumps over The quick brown fox jumps the lazy dog The words here are over the lazy dog The words quite short Arent they But here are quite short Arent long ones such as they But long ones such as perhydrocyclopentanophenanthrene perhydrocyclopentanophenanthrene may appear may appear 左邊的例子是首次擬合法的結果。第 4 行單詞間的空集中在一處不美觀， 的方法由於考慮了所有的情況，所以一般情況下能找出較好的方法（即把空分散在 14 行）。 TeX 的斷行演算法裡有一個叫做 badness（不美觀度 或 醜度）的引數，空格伸縮量越大 badness 越大。每一種斷行的方式都有一個總體的衡量標準，包括 badness、斷行、以及行與行之間的疏密差異等。 其實並不考慮所有的 2n 種情況，而是採用一種演算法複雜度僅為 Omicron n2 的最短路徑演算法，加上不考慮空格伸縮量太大的情況，斷行所用的時間幾乎和段落大小成正比。在分頁問題上， 並不採用一種考慮所有情況，得出最優解的演算法，而是用一頁一頁處理的方法，因為一是分頁的靈活性沒有斷行那樣高，二是當時的計算機沒有足夠的速度。但是， 仍然有避免寡行和孤行的功能。 的一篇論文指出，考慮到圖表的放置位置的完美分頁演算法可能為 NP 完全。 的斷行演算法後來被 Adobe InDesign 等桌面出版軟體所採用。 在斷行時，如果一遍不成功， 會嘗試斷字，即把一個諸如 computer 的多音節單詞斷成 com 和 puter 或 compu 和 ter 分在兩行。 82 採用了一套 Frank Liang 於 1983 年發明的斷字演算法。這套演算法採用 匹配項 的方法。匹配項 的作用是找到單詞中可能出現的一些字母組合，然後在適當的位置插入數字來表示可能或不可能的斷字點。這些 匹配項 對單詞的字母與字母之間會給予是否為斷字點提示。提示有相對的強弱。如果提示互相沖突，則強的會覆蓋弱的。最後留下來的提示決定一處是否為斷行點。TeX 自帶 4447 條 匹配項，從 ach4 開始到 z4zy 結束。所有 匹配項 使用 1 到 5 這五個數字，其中奇數表示可能為可斷字點，偶數表示不為可斷字點，大的數字的話語權強於小的數字。例如，h5elo 的含義是，單詞中如果出現 helo，那麼在 h 和 e 之間有很大把握為可斷行點（例如 bachelor 和 echelon）；hach4 的含義是，單詞中如果有 hach，則 h 後面很可能不是斷字點（如 toothaches），雖然把握沒有數字 5 的那麼大。例如，對於單詞 encyclopedia，對得上的匹配項有 1c4l4 1cy 1d4i3a 4edi e3dia 2i1a ope5d 2p2ed 3pedi pedia4 y1c。插入完所有數字後，留下來的數字中的最大值為 en1cy1c4l4o3p4e5d4i3a4，最後奇數處為可斷行點：encyclopedia。 這種方法可以找到約 90 的正確斷字點，幾乎從不出錯。而且， 有一個 斷字特例表 的功能，對於自帶斷字演算法出錯的單詞可以手動處理。TUG（ 使用者組）有一份英語單詞的特例表。另外， 預設不會把單詞在前兩個字母或後三個字母之間斷開，所以 encyclopedia 一詞不會斷成 encyclopedi 和 a（這樣也的確不好看）。 開發 是非常穩定的程式，高德納懸賞獎勵任何能夠在 中發現程式漏洞（bug）的人。每一個漏洞的獎勵金額從 256 美元（16 進位制的 100 美分）開始，以後每發現一個 bug，都會翻倍，直到目前的 32768 美元封頂。然而高德納從未因此而損失大筆金錢，因為 中的漏洞極少，而真正發現漏洞的人在獲得支票後往往不願將其兌現。Kara Platoni Love at First Byte Stanford Magazine MayJune 2006The History of TeX TeX Beauty and Fun httpwwwctexorgdocumentsshreddertex_framehtml 到目前為止，關於 的最後一個 bug 是被 Oleg Bulatov 發現的。 衍生軟體 有許多衍生出來的文件處理程式就是基於 TeX 的，主要的有： ：美國數學學會（American Mathematical Society）發表的 版本。絕大多數的 mathcal AMS 功能可以利用 mathcal AMS 包在 上實現，稱為 mathcal AMS。 jadeTeX （Lamport ）：流行的文件處理程式 LuaTeX MikTeX pdfTeX ：GNU 的文件處理系統 Live 相容工具 TeXmacs 是一個所見即所得的科學文件編輯器，利用 字型作為顯示字型，具有類似 Emacs 的編輯方式。它可以匯出為 文字，PS，PDF 文件，以及 HTML，XML 頁面。 color CornflowerBlue mathbf L_mathbf displaystyle Ymathbf X 也是一個類似的工具。 發音和拼寫 這個詞的標準發音為 ，其中 為清的軟顎擦音，相當於中文裡「赫」字的聲母，或者蘇格蘭語 loch 一詞中 ch 的發音（ 其實是希臘單詞 的全大寫形式）。整個詞發音接近「戴赫」或「泰赫」。在英語和法語中實際通常訛讀作 ，發音接近「泰克」。 這個詞來自希臘文中的 （TEXNH），希臘文意為 藝術 和 製造，也是英語中 technical（技術）的詞源。書寫時，三個字母都是大寫，字母 E 應當左縮排 01667 em，向右縮排 0125 em，並低於其他兩個字母 05 ex。而不支援複雜文字的系統則只能這樣書寫：TeX。 的使用者喜歡創造一些和 有關的詞彙，例如 TeXnician（與英語單詞 technician，技工的發音相近，意為 TeX 使用者），TeXhacker（程式設計師，駭客）和 TeXnique（與英語單詞 technique，技巧的發音相近，意為 水平）等。另有人發明一詞為 TeXpert（高手），但是高德納本人反對這一名稱，因為這裡 一詞的讀法是錯誤的。 參見 文件標記語言比較 公式編輯器 LaTeX 腳註 參考文獻 The source code of the book in TeX and a needed set of macros is available online on CTAN It is provided only as an example and its use to prepare a book like The TeXbook is not allowed The full source code of TeX also available on CTAN Being written using literate programming it contains plenty of humanreadable documentation Reprinted as contains extensive documentation about the algorithms used in TeX on AMSTeX 外部連結 中文 TeX 使用者組 TeX Users Group Eijkhout Victor TeX by Topic TeX for the Impatient Category1978 年軟體 Category 排版軟體 Category 高德納