TeX，LaTeX和KaTeX简介

作为一个作者，在博客中公式的编辑总是难免的。markdown并不支持数学公式编辑，这些公式仅靠编辑器自带的排版功能是难以表示的，所以需要我们掌握网页公式编辑方案。目前比较流行的网页公式编辑方案是采用T_EX/L^AT_EX语法编辑，知名的有MathJax、K^AT_EX。由于CSDN博客中支持L^AT_EX公式，所以学习了一下。在学习的过程中遇到了容易混淆的T_EX，L^AT_EX和K^AT_EX，所以写此博客记录一下T_EX，L^AT_EX和K^AT_EX的相关知识与区别，也希望大家能通过本文对于排版系统有初步的认识。

T_EX

说到排版系统不得不提的就是T_EX。T_EX是一种排版系统，是基于宏的流行的文本格式化程序。它提供了一套功能强大并且十分灵活的排版语言，多达900多条指令，而且有宏功能，用户可以不断地定义自己适用的新命令来扩展T_EX系统的功能。
T_EX系统的排版结果DVI文件与输出设备无关，DVI文件可以显示、打印、照排，几乎可以在所有的输出设备上输出。利用T_EX可以很容易地生成高质量的dvi文件，打印输出。
它在学术界十分流行，特别是数学、物理学、统计学与计算机科学界。被普遍认为是一个很好的排版工具，特别是在处理复杂的数学公式时。
利用T_EX提供的宏定义功能可以对T_EX进行二次开发。它是包括LaTeX和teTeX在内的其它的此类格式化程序的基础。利用诸如LaTeX等终端软件，T_EX就能够排版出精美的文本。通过CTAN上的宏包可以扩展其功能，可以做幻灯片，定义模板。中文支持可以由CCT、CJK、ctex等来完成。
T_EX有几种常见的格式：

• Plain T_EX：T_EX的作者设计了Plain T_EX的基本格式，以与低层的T_EX互应。这种格式是用T_EX处理文本时相当基本的部分，以致于我们有时都分不清到底那条指令是真正处理程序T_EX的，哪条是这个特殊格式的。Plain T_EX也是其他格式的基础，有些人认为T_EX和Plain T_EX是同一件事。
• L^AT_EX：Plain T_EX的重点还只是在于如何排版的层次上，而不是从一位作者的观点的观点出发。当然对它的深层功能的进一步发掘，需要相当丰富的编程技巧。因此它的应用就需要高级排版和程序设计人员。正是由此种种原因，开发了L^AT_EX格式，这种格式提供了一组生成复杂文档所需的更高级命令。利用这种格式，即使使用者没有排版和程序设计的只是也可以充分发挥由T_EX所提供的强大功能。对于生成复杂表格和数学公式，这一点表现得尤为突出。L^AT_EX相对于其基础Plain T_EX而言，更像一个包装语言。它可以在作者根本不知道所以然的条件下，自动给出标题，章节，表格目录，交叉索引，公式编号，文献引用，浮动图表。版面布局信息包含在类文件中，这些类文件并不是位于源文件中的。这些布局可以改动，也可以直接采用。
• L^AT_EX2$ϵ$:由于L^AT_EX相当普及，以及它在许多原本没想象到的领域中的扩展，再加上计算机技术的日新月异，特别是价格低廉，但功能强大的激光打印机的出现，使得相当广泛的一类格式都冠以L^AT_EX的标签。为了尝试建立一个真正的改进标准，创立了L^AT_EX3项目，目标是建立一个最优的，有效的命令集合，这些命令是来自于各种软件包为了实现某一目的而设计出来的。朝向这个目标迈进的第一步是发行了L^AT_EX2$ϵ$。也就是L^AT_EX的当前版本。

T_EX的优点：

• 高质量的输出：T_EX遵循传统的排版规则，以排版的质量为最重要的目标。
• 超常的稳定性：自从T_EX出现以来，只有一些微小的改动。也就是说，十几年前的T_EX文件用现在的T_EX系统排版得到的结果与十几年前得到的结果是一样的。稳定性还体现在T_EX系统极少会崩溃，可以处理任意大小的文件，即使你的计算机的内存很少，T_EX也可自如的工作。
• T_EX是可编程的，T_EX是一种宏命令编程语言：你可以用很少的命令来完成非常复杂的工作。如果需要的话，你也可以重新定义T_EX的所有命令来得到特殊的效果。
• 高度的灵活性：T_EX自从数显以来其内核只有微小的改动。但是由于其内核的设计方式，世界上的T_EX使用者可以让T_EX做几乎任何工作。你可以用T_EX来排版英文文本，也可以排版德文、俄文、中文等多种语言。你还可以用T_EX来排版乐谱，象棋，围棋棋谱等等。
• 简单方便T_EX文档是ASCII码的文本文件：因此，即使你手边没有T_EX系统，你也可以看懂绝大部分内容。T_EX文件的这种特点使得它占用很少的存储空间，也可以很方便的用email来传输。
• 目前为止，T_EX几乎在所有的计算机操作系统平台上得到实现：如Atari，Apple，Macintosh，Unix，VMS，MS-DOS，MS-Windows和OS/2等等。T_EX的源文件可在不同的平台之间自由的交换，而得到的输出是完全相同的。
• T_EX是免费软件，它的源程序也是免费的：你可能仅需要制服邮费，甚至一分不花得得到适合你的T_EX系统。
• 超级技术支持：由于T_EX并不是被某个公司垄断开发，所以世界各地的使用者设计了统一的技术支持方式。
• T_EX是一种乐趣：使用T_EX不仅仅是一种工作手段，也是一种乐趣。它有挑战，也有荣誉。很多人在熟悉T_EX之后都开始把使用T_EX作为一种爱好，而不是一件枯燥无味的劳动。

L^AT_EX

在上面的介绍中已经提到过，L^AT_EX使用T_EX作为格式化引擎，当前的版本是L^AT_EX2$ϵ$。
L^AT_EX是当今世界上最流行和使用最广泛的T_EX宏集。它构筑在Plain T_EX的基础上，并加进了很多的功能以使得使用者可以更方便的利用T_EX的强大功能。
使用L^AT_EX基本不需要使用者自己设计命令和宏等。因为L^AT_EX已经替你做好了。因此，即使使用者并不是很了解T_EX，也可以在短短的时间内生成高质量的文档。对于生成复杂的数学公式，L^AT_EX表现的更为出色。
也就是说，L^AT_EX是T_EX中的一种格式，是建立在T_EX基础上的宏语言，每一个L^AT_EX命令实际上最后都会被转换解释称几个甚至上百个T_EX命令。但是，普通用户可以无需知道这中间复杂的联系。就像变成的时候如果使用一些已经编译好的函数库和模版可以使我们仅仅用几个命令就实现很多功能一样。L^AT_EX根据人们排版文章的习惯，定义了许多命令和模版，我们可以很快的得到漂亮的排版结果。

K^AT_EX

K^AT_EX是一个web数学公式渲染器。我们日常写博客用的markdown并不支持数学公式编辑，这些公式仅靠编辑器自带的排版功能是难以表示的，所以需要掌握网页公式编辑方案。
目前比较流行的网页公式编辑方案是采用T_EX/L^AT_EX语法编辑，知名的有MathJax、K^AT_EX。与前者相比，K^AT_EX方案的渲染速度高，虽然支持不够全面，但仍能满足大多数的使用环境。
我们可以在K^AT_EX官网来在线渲染我们写好的L^AT_EX公式，如下图所示：

总结

在了解T_EX，L^AT_EX和K^AT_EX的过程中，我梳理了一下三者的关系。可以这么说，T_EX是一个电子排版系统，它的出现给印刷出版业带来了一场革命。但T_EX对于使用者的要求比较高，所以出现了L^AT_EX使得使用者可以更方便的利用T_EX的强大功能。K^AT_EX则是一种L^AT_EX的一个快速web数学公式渲染器，使得L^AT_EX的公式可以快速渲染出来。具体的L^AT_EX公式的介绍将会在后面的文章中详述，希望大家通过此文章有所收获。