TeX / LaTeX

TeX (pronounced “tech,” after the Greek letters τεχ) is a typesetting system designed and written by computer scientist Donald E. Knuth, first released in 1978. LaTeX is a set of macros written on top of TeX by Leslie Lamport in the mid-1980s that turns Knuth’s low-level typographic engine into a document-preparation system organized around logical structure — sections, theorems, figures, citations — rather than raw layout commands. Together they form the standard toolchain for typesetting mathematical, scientific, and technical documents, prized above all for the quality of their equation setting and the reproducibility of their output.

Strictly, TeX is two things at once: a typesetting engine and a programming language. Everything a TeX document does — from placing a character to defining an entire document class — happens through macro expansion, and the macro language is powerful enough to be Turing-complete. LaTeX is simply the most influential body of macros ever written for it.

History & Origins

The story begins with frustration. In 1977 Knuth received the galley proofs for the second edition of the second volume of The Art of Computer Programming and found the new phototypesetting badly inferior to the old hot-metal setting of the first edition. Rather than accept it, he decided to write his own typesetting software. On 13 May 1977 he wrote a memo to himself sketching the basic features of TeX, expecting to finish it during a sabbatical the following year.

The first version, TeX78, was written in the SAIL programming language and ran on a PDP-10 under Stanford’s WAITS operating system. What Knuth expected to be a short detour became a decade-long project. In 1982 he published TeX82, a complete rewrite composed in his own WEB literate-programming system (which tangled and wove a single source into both compilable Pascal and typeset documentation). TeX82 made two decisions that still define the system: it used fixed-point arithmetic so that a document would render identically on any hardware, and — after energetic lobbying by Guy Steele — it exposed a real, Turing-complete programming language rather than a fixed set of commands.

LaTeX arrived because plain TeX, while powerful, was demanding to use directly. Around 1983–1984, Leslie Lamport at SRI International wrote a macro package that let authors describe a document’s structure and leave the typography to the system. He released version 2.06a in September 1984, and LaTeX 2.09 in August 1985 became the last of his own versions; the accompanying manual appeared in 1986 and sold hundreds of thousands of copies. In 1989, at a TUG meeting at Stanford, Lamport handed maintenance to Frank Mittelbach and the LaTeX3 project, who in 1994 released LaTeX2e — the unified, stable version still in use today.

Design Philosophy

TeX and LaTeX embody two complementary philosophies.

• Knuth’s TeX: correctness and permanence. TeX was built to be a stable, bug-free foundation that would produce the same output forever. Its version number famously converges on π (currently 3.141592653), and Knuth has declared that on his death the version will become π and any remaining bugs will thereafter be considered features. Fixed-point math, an obsessive line-breaking algorithm that optimizes whole paragraphs at once, and meticulous handling of spacing (TeX’s “glue”) all serve the goal of typographic excellence that never drifts.

• Lamport’s LaTeX: logical structure over visual formatting. LaTeX asks the author to mark what something is — \section, \emph, \begin{theorem} — and defers how it looks to document classes and packages. This separation of content from presentation makes documents portable across styles, keeps cross-references and numbering automatic, and lets an entire journal enforce house style by shipping a single class file.

Key Features

• Mathematical typesetting. TeX’s math mode remains the benchmark for rendering equations, and its notation has become the lingua franca of technical writing — reused far beyond TeX itself in tools like MathJax, KaTeX, and countless web and chat platforms.
• The macro language. Because everything is a macro, users can redefine or extend virtually any behavior. This flexibility powers thousands of packages but also makes advanced TeX programming notoriously intricate.
• Automatic cross-referencing. Labels, references, tables of contents, bibliographies (via BibTeX/BibLaTeX), and indexes update themselves as a document changes.
• METAFONT and Computer Modern. Knuth wrote a companion system, METAFONT, to design the Computer Modern typefaces used by classic TeX documents, treating letterforms themselves as programmable.
• Reproducibility. Fixed-point arithmetic guarantees that a source file produces byte-for-byte comparable output across machines and years.
• A vast ecosystem. The Comprehensive TeX Archive Network (CTAN), announced in 1993, hosts thousands of packages, and distributions like TeX Live and MiKTeX bundle the engines, macros, and fonts together.

A small LaTeX document shows the structure-first style:

1
2
3
4
5
6
7
8
9

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\section{Introduction}
Euler's identity is
\begin{equation}
  e^{i\pi} + 1 = 0.
\end{equation}
\end{document}

Evolution

While Knuth froze TeX’s core with the release of version 3.0 in 1990 — thereafter making only rare bug fixes — the surrounding ecosystem never stopped moving. A family of derived engines modernized what the frozen core deliberately left alone: pdfTeX (by Hàn Thế Thành, from the late 1990s) output PDF directly instead of DVI; XeTeX (Jonathan Kew, 2004) added native Unicode and system OpenType/TrueType fonts; and LuaTeX (stable in 2010) embedded the Lua scripting language to make the engine programmatically extensible. On the macro side, the long-running LaTeX3 effort produced the expl3 programming layer, which in 2020 was folded into the standard LaTeX2e kernel, giving mainstream LaTeX a modern, consistent programming interface without breaking decades of existing documents.

Current Relevance

TeX and LaTeX remain the dominant tools for serious mathematical and scientific writing. arXiv compiles LaTeX submissions across physics, mathematics, and computer science; academic publishers ship LaTeX templates as a matter of course; and collaborative editors like Overleaf have brought the system to a new generation who never touch a command line. Modern distributions run on macOS, Windows, and Linux, and community images such as the TeX Live project’s Docker image make reproducible builds easy in CI pipelines. Nearly half a century after its debut, the toolchain is not merely surviving but is the unquestioned standard in its domain.

Why It Matters

Few pieces of software have shaped scholarship as durably as TeX. It set a bar for typographic quality that commercial word processors still struggle to match in mathematics, and it demonstrated that a program could be engineered for permanence — stable, portable, and reproducible for decades. Its math notation escaped the system entirely to become the way scientists write equations everywhere, on paper and on the web. And as one of the earliest and most celebrated examples of literate programming, free software, and community-maintained infrastructure, the TeX ecosystem is both a working tool millions rely on and a landmark in the history of computing.