// 1978 — 2026 · Donald Knuth · Leslie Lamport · LaTeX2e · TeX 3.141592653 · π

LaTeX:\typography{math}

LaTeX = TeX with human-friendly macros — taking Knuth's 1978 "six-month side project for math typesetting" and pushing it outward for 40 years until it sets ~90 % of the world's math papers. It isn't pretty, isn't light, isn't easy — but nothing replaces it.

1978Knuth starts TeX
est. "6 months," took 10 yrs
1985Lamport ships LaTeX
human macros over TeX
1994·06LaTeX2e
still current after 32 years
6000+CTAN packages
~4 GB · the math-world npm
LATEX
\frac{1}{2}\begin{equation}TikZ\documentclassbeamerbibtex\section{...}\usepackage{amsmath}pdflatexxelatexlualatex\maketitle\cite{knuth1984}tectonic
scroll
01

What is LaTeX

LaTeX is not another TeX — it is a macro package on top of TeX. Knuth wrote TeX to typeset math formulas; Lamport wrote LaTeX so ordinary people could write TeX. When people say "LaTeX" today they mean the whole stack: TeX engine + LaTeX kernel + ~6000 CTAN packages + fonts + editor tooling.

Semantic markup, not WYSIWYG markup

Same idea as HTML: \section{Intro} declares "this is a section heading"; font and size are decided by the document class, not in the source. Structure / content / style separated — swap the \documentclass and the whole paper reflows.

TeX engine frozen at π frozen

From 1990 Knuth stops adding features to TeX, accepts only bug fixes; the version number asymptotes to π (currently 3.141592653). Each TeX bug earns a $2.56 cheque from Knuth himself — almost never cashed, framed as a trophy instead.

Multi-pass compile model pipeline

.tex runs through pdflatex / xelatex / lualatex / tectonic to produce a .pdf. Cross-refs / TOC / bibliography need 2-3 runs; latexmk loops until the output stops changing.

40 years of compat compat

A LaTeX document written by Lamport in 1985 still compiles under 2026 LaTeX2e. Same backbone as the web: render forever. Direct sibling philosophy of HTML. See /code/html.

lamport-1985.tex1985
\documentclass{article}
\title{Distributed Algorithms}
\author{L. Lamport}
\begin{document}
\maketitle
\section{Introduction}
Time, clocks and the ordering of events...
\end{document}

% written in 1985, still compiles in 2026
paper-2026.tex2026
\documentclass[11pt,a4paper]{article}
\usepackage{lmodern,microtype}
\usepackage{amsmath,amssymb,amsthm}
\usepackage[backend=biber]{biblatex}
\usepackage{tikz,pgfplots}
\usepackage{hyperref}  % last
\title{...} \author{...}
\begin{document}
\maketitle \tableofcontents
\section{Introduction}
...
\end{document}
02

History : 1978 → 2026

LaTeX's story breaks into four arcs: TeX is born (1968-1985 · Knuth) → LaTeX adds human macros + spreads through academia (1985-2000) → engines diversify + web era (2000-2020 · XeTeX / Lua / pdfTeX / KaTeX / Overleaf) → AI era + Typst challenge (2020-2026).

  1. 1968

    Knuth publishes TAOCP vol 1 — the typography crisis begins

    Donald Knuth publishes The Art of Computer Programming vol 1. Its second printing has visibly worse typography (the publisher switched phototypesetting systems) and Knuth refuses to accept his book looking ugly — the moment that triggers a decade-long crusade to build "a proper typesetting system for programmers."

  2. 1977

    Knuth starts TeX — estimated "6 months"

    Knuth sets out to build his own typesetting system, naming it TeX (from the Greek τέχνη, "art / craft"). He tells colleagues it'll take about six months — the real number turns out to be ten years; along the way he also invents METAFONT (a font-design language), the WEB literate-programming system, and the Computer Modern type family. Classic Knuth: the by-products outweigh the headline.

  3. 1978

    TeX78 — first release

    The first TeX ships inside Stanford. The algorithm core is already stable: paragraph line-breaking via dynamic programming (Knuth-Plass), math-typesetting rules covering ~600 pages. But the user-facing macros are bare-bones — every formula is hand-coded against raw TeX primitives.

  4. 1982

    TeX82 — the ancestor we still use

    Knuth rewrites TeX from scratch. This version becomes the root of every TeX engine for the next 40 years. The companion artifact is WEB — code and prose interleaved in one file, with TANGLE extracting source and WEAVE extracting docs — the literate programming paradigm. TeX itself is written in WEB.

  5. 1984

    METAFONT 84 + Computer Modern

    Released alongside: the METAFONT font-design language and the Computer Modern type family. For the first time a maths student could define a font with parametric equations; for 40 years Computer Modern remains TeX's default, and the "look of a typical LaTeX paper" comes from these glyphs.

  6. 1985

    Lamport releases LaTeX — human-friendly macros over TeX

    Leslie Lamport, then at SRI, writes a macro layer on top of TeX and names it LaTeX = "Lamport's TeX." It introduces \documentclass, \section, \cite, \ref — turning "hand-typeset a paper" into "declare the structure of a paper." This is the moment TeX breaks out of pure CS into the rest of academia.

  7. 1989

    LaTeX 2.09 — academia adopts it

    2.09 ships the article / report / book / letter classes; BibTeX is already in place (1985) and maths / CS / physics graduate schools start requiring LaTeX submissions by default. The same year Knuth finishes TAOCP vol 3 and goes back to polishing TeX itself.

  8. 1990~

    Knuth freezes TeX — version number converges to π

    Knuth declares TeX will never gain features again, only accept bug fixes. The version number asymptotes to π: 3.0 → 3.1 → 3.14 → 3.141 → … → 3.141592653 today. He famously pays "$2.56 = one hexadecimal dollar" for any TeX bug found, $327.68 for METAFONT. The cheques are never cashed; recipients frame them. He has also announced that on his death TeX's version number will be set to π in one final release.

  9. 1991

    CTAN founded — TeX's central package archive

    The Comprehensive TeX Archive Network goes live, mirroring scattered TeX / LaTeX / METAFONT packages worldwide. Thirty years later CTAN is still the central archive: 2026 numbers are around 6000 packages, 4 GB+ total. Both tlmgr and MiKTeX's package manager are CTAN under the hood.

  10. 1993

    AMS-LaTeX 1.0 — the official math extensions

    The American Mathematical Society releases amsmath / amssymb / amsthm. Virtually every multi-line environment in modern papers (align, aligned, gather, cases) comes from here. "LaTeX math without amsmath is crippled" — still true today.

  11. 1994·06

    LaTeX2e — still the current version, 32 years on

    The LaTeX3 project began in 1989 but couldn't ship in a reasonable timeframe. The LaTeX team released a "transitional" LaTeX2e to unify LaTeX 2.09 and experimental LaTeX3 naming. Thirty-two years later it's still the current version. "LaTeX3 in another ten years" is the community in-joke.

  12. 1994

    TeX Live — the one-stop distribution

    The first TeX Live CD-ROM ships, maintained by TUG (TeX Users Group). It bundles engine + macro packages + fonts + editor in one cross-platform install. In 2026 TeX Live is still the default on Linux/macOS (~7 GB).

  13. 1995

    pdfTeX — emits PDF directly

    Hàn Thế Thành, a Vietnamese PhD student in Germany, modifies the TeX engine to emit PDF instead of DVI — by the 2000s the dominant path. His PhD work also leads to microtypography in 2002 (character protrusion + font expansion), the source of the "just looks more solid" quality you feel in well-typeset LaTeX.

  14. 1996

    LaTeX2HTML — first attempt to put LaTeX on the web

    Nikos Drakos writes LaTeX2HTML, a Perl script that converts .tex to HTML plus formula images. Quality is poor — but it opens the 30-year "LaTeX-to-web" track that MathJax (2009) and KaTeX (2013) inherit.

  15. 1998

    TikZ / PGF — vector graphics inside papers

    Till Tantau ships PGF with a friendlier front-end TikZ: vector graphics in LaTeX syntax — nodes, arrows, coordinate systems, trees, neural-net diagrams, sequence diagrams, all in one calculus. "Any diagram you can draw, you can typeset." Most figures in modern CS / physics papers come from here.

  16. 2002

    Microtypography PhD — pdfTeX learns kerning / protrusion

    Hàn Thế Thành's PhD standardises character protrusion (light punctuation hangs past the margin) + font expansion (glyph width nudged ±2% to level paragraphs) and lands them in pdfTeX. Why LaTeX output "looks tighter" than Word/InDesign — most readers can't put a finger on it; the answer lives in those two details.

  17. 2003

    Beamer — LaTeX kills "ugly PowerPoint"

    Till Tantau (the TikZ author) strikes again with beamer, a document class for writing slides in LaTeX. Output is plain PDF, ready to project, with math typeset properly out of the box. From this point onward almost every academic seminar slide deck is beamer, not PowerPoint or Keynote.

  18. 2004

    XeTeX — Unicode + system fonts

    Jonathan Kew ships XeTeX: native Unicode, system OpenType fonts via fontspec. For the first time LaTeX can typeset Chinese, Japanese, Arabic, RTL scripts properly — before this, CJK relied on CJK.sty / pTeX hacks.

  19. 2007

    LuaTeX 0.10 — Lua embedded in the TeX engine

    LuaTeX embeds the Lua interpreter directly inside TeX, letting macro authors hook engine internals (line breaking, leading, kerning) in a real programming language. The modern successor to pdfTeX, with native OpenType + Unicode. From 2021 it is the default engine for lualatex.

  20. 2012

    WriteLaTeX (later Overleaf) — LaTeX in the browser

    Two Cambridge grad students (John Hammersley + John Lees-Miller) build WriteLaTeX: edit and collaborate on LaTeX in the browser in real time. Renamed Overleaf in 2013, merged with rival ShareLaTeX in 2017, acquired by Digital Science the same year. ~12 M users in 2026. The first time anyone could write a real paper without installing TeX Live.

  21. 2013

    KaTeX released — 100× faster than MathJax in the browser

    Khan Academy (Emily Eisenberg + Sophie Alpert) release KaTeX: it only renders the LaTeX math subset, but is 100× faster than MathJax, renders synchronously, never flashes. Today it powers GitHub READMEs, StackExchange, Notion, and this very page. Deep dive: /code/language/katex.

  22. 2015

    Tectonic — a modern TeX engine in Rust

    Peter Williams starts Tectonic: Rust, single ~20 MB binary, auto-downloads missing packages, runs all the passes from a single invocation (caches them internally). "Cargo for LaTeX." In 2026 it's the go-to engine for LaTeX in CI pipelines — saves a 7 GB TeX Live install.

  23. 2017

    LaTeX kernel switches to UTF-8 by default

    For 30 years the default was ASCII + inputenc to opt into others; from the 2017 kernel release pdflatex accepts UTF-8 by default — the boilerplate \usepackage[utf8]{inputenc} finally stops being required. A 30-year papercut closed.

  24. 2019

    expl3 — the LaTeX3 programming layer ships with every install

    After 20 years, LaTeX3 lands in a different form: the expl3 programming layer (a full-featured macro metalanguage) ships with every LaTeX kernel from 2019 on. Modern packages (siunitx 3, biblatex 3.x, l3kernel) are written entirely in expl3 — LaTeX3 didn't fail; it won in disguise.

  25. 2021

    TeX Live 2021 — LuaTeX becomes the default for lualatex

    TeX Live 2021 makes LuaTeX the default engine for lualatex, retiring LuaJITTeX. New paper templates gradually push from pdflatex toward lualatex — OpenType + Unicode in one shot. The "next-gen TeX engine" race is largely settled in LuaTeX's favour.

  26. 2022

    TUG marks 40 years — TeX is still running

    TeX is 40 years old (1982 → 2022). The TeX Users Group celebrates online: "a system designed in the 1970s still powers 90 % of arXiv submissions in 2022." Knuth himself records a video, reporting that zero new bugs have been filed in the past five years.

  27. 2023

    Typst 1.0 — the first credible LaTeX challenger

    Two ETH Zürich students (Laurenz Mädje + Martin Haug) release Typst 1.0: a new typesetting system in Rust, with syntax closer to Markdown, instant compilation (~100 ms per paper), and a browser edition. Not a replacement — but the first credible "next-generation LaTeX" attempt in 30 years. By 2026 classroom adoption is rising fast; journals haven't accepted it yet.

  28. 2024

    AI writes LaTeX — GPT/Claude fluent beyond most humans

    Large models are very well-trained on LaTeX (arXiv is nearly entirely in their corpus). From 2024 a new generation of grad students writes 80 % of their LaTeX via AI, hand-tuning the rest; "TikZ, draw me…" becomes the dominant graphics entry-point. AI is the first thing to meaningfully flatten LaTeX's notoriously steep learning curve.

  29. 2026

    State of play: still the de-facto standard for math typesetting

    By 2026 the LaTeX ecosystem is steady: arXiv 90 %+, NeurIPS / ICML / CVPR / most Springer / Elsevier / IEEE / ACM journals still ship LaTeX-first templates. Overleaf ~12 M users, GitHub READMEs all use KaTeX. Typst is rising in classrooms but journals haven't moved. LaTeX isn't being replaced — but for the next 20 years it will live in a "old-guard vs new-school" coexistence.

03

Anatomy of a LaTeX document : Preamble

Below is the preamble of a modern, standard paper: document class + fonts + math + graphics + units + bibliography + hyperlinks. Order matters; hyperref must almost always come last.

\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage{lmodern,microtype}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{graphicx,booktabs,siunitx}
\usepackage[backend=biber,style=numeric]{biblatex}
\addbibresource{refs.bib}
\usepackage{tikz,pgfplots}
\usepackage{hyperref}  % must be last

\title{A Note on Multi-Pass Compilation}
\author{Jane Researcher}
\date{\today}

\begin{document}
  \maketitle
  \tableofcontents
  \section{Introduction}
  LaTeX is the de-facto standard...
  \printbibliography
\end{document}
\documentclassBody type · size · paper · columns. Swap for book/report/beamer and the whole doc reflows.
fontenc + lmodernT1 encoding + Latin Modern font (CM-derived). Multi-lingual ä é è ñ won't break.
microtypeHàn Thế Thành's protrusion + expansion. Paragraphs feel tighter instantly — one-line import you'll see immediately.
amsmath / amssymb / amsthmAMS math trio. align, cases, \mathbb, theorem environments.
graphicxFigures: \includegraphics; booktabs for tables; siunitx for units.
biblatex + biberNew-stack bibliography. 10× more flexible than BibTeX; style=numeric picks [1] vs (Knuth 1984).
tikz / pgfplotsVector graphics + scientific plots. TikZ is essentially a sub-language inside LaTeX.
hyperrefPDF internal hyperlinks + metadata + bookmarks. Must be loaded last — it hooks every \ref, \cite, \href.
04

Math Typesetting Showcase : LiveKaTeX

Twelve examples below — LaTeX source on the left, live KaTeX rendering on the right of each card. This is LaTeX's irreplaceable core: a single line of .tex produces the most carefully typeset math in the world. Super- and subscript heights, integral-sign curvature, matrix alignment — all derived from Knuth's 600 pages of rules.

A

Quadratic formula

x = \frac{-b \pm \sqrt{b^2-4ac}}{2a}
B

Basel problem

\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}
C

Gaussian integral

\int_{-\infty}^{\infty} e^{-x^2}\,dx = \sqrt{\pi}
D

Aligned multi-line

\begin{aligned} (a+b)^2 &= a^2 + 2ab + b^2 \\ &= (a-b)^2 + 4ab \end{aligned}
E

Matrix

A = \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}
F

Cases

f(x) = \begin{cases} x^2 & x \geq 0 \\ -x & x < 0 \end{cases}
G

Quantifiers + number sets

\forall \epsilon > 0,\ \exists \delta > 0 : |x-a|<\delta \Rightarrow |f(x)-f(a)|<\epsilon \quad (x \in \mathbb{R})
H

Euler's identity

\boxed{\,e^{i\pi}+1=0\,}
I

Maxwell's equations

\begin{aligned} \nabla \cdot \mathbf{E} &= \tfrac{\rho}{\varepsilon_0} & \nabla \cdot \mathbf{B} &= 0 \\ \nabla \times \mathbf{E} &= -\tfrac{\partial \mathbf{B}}{\partial t} & \nabla \times \mathbf{B} &= \mu_0 \mathbf{J} + \mu_0 \varepsilon_0 \tfrac{\partial \mathbf{E}}{\partial t} \end{aligned}
J

Schrödinger equation

i\hbar\,\frac{\partial}{\partial t}\Psi(\mathbf{r},t) = \hat{H}\,\Psi(\mathbf{r},t)
K

Commutative-style arrow

A \xrightarrow{\,f\,} B \xrightarrow{\,g\,} C \quad\Longrightarrow\quad A \xrightarrow{\,g\circ f\,} C
L

Binomial + sum

(1+x)^n = \sum_{k=0}^{n} \binom{n}{k} x^k
∞

KaTeX vs MathJax — a note

This page renders with KaTeX — extremely fast (~100× MathJax), but only covers the LaTeX math subset: no TikZ, no \usepackage, no chemfig. Full LaTeX compilation needs pdfLaTeX / XeLaTeX / LuaLaTeX engines. Deep dive: /code/language/katex.

"LaTeX isn't only a typesetting system — it's a shorthand for thinking in mathematics. — Knuth, paraphrased from interviews"

05

The TeX Engines : pdflatex / xelatex / lualatex / tectonic

"LaTeX" hides more than one engine. The same .tex through pdflatex vs xelatex can give you different fonts, different errors, twice the runtime. Here's the 2026 "which one" guide.

pdflatex
since 1995 · 8-bit · default
SpeedFastest (~2-5 s per paper)
Fonts8-bit Type 1 fonts only
UnicodeNeeds inputenc; CJK painful
OutputDirect to PDF
Pick when: English / math papers; most arXiv templates default to it.
xelatex
since 2004 · Unicode · system fonts
SpeedMid (~5-15 s per paper)
Fontsfontspec + OpenType system fonts
UnicodeNative
OutputPDF (via xdv intermediate)
Pick when: Chinese / Japanese / Korean / Arabic, or any design doc with custom fonts.
lualatex
since 2007 · Lua scripting · default
SpeedSlowest (~10-30 s per paper)
Fontsfontspec + OpenType
UnicodeNative
OutputDirect PDF + embedded Lua hooks
Pick when: the "future engine" of 2026; complex macros / package authoring / programmatic glyph work.
tectonic
since 2015 · Rust · auto-fetch
SpeedFast (single binary, cache)
Fontsfontspec + OpenType
UnicodeNative
OutputPDF · one-shot, all passes
Pick when: CI pipelines / don't want a 7 GB TeX Live; auto-fetches missing packages, needs network.
06

Package Ecosystem : ~6000 on CTAN

CTAN holds ~6000 packages (~4 GB), but 20 packages cover 80 % of papers. Below is the set you actually see in a standard 2026 preamble, with first-release years annotated.

1985
package
amsmath

From the AMS. align / aligned / cases / gather — without it your math is crippled.

1995
package
graphicx

Standard figure inclusion. \includegraphics with \scalebox / \rotatebox. Every paper uses it.

1998
package
hyperref

PDF hyperlinks, metadata, bookmarks. Loading order: must be last — it hooks nearly everything else.

1998
package
TikZ/PGF

Till Tantau's vector-graphics monarch. From commutative diagrams to neural-net schematics — every decent figure in a paper comes from here.

2003
package
beamer

The slide document class. The official killer of "PowerPoint with bad fonts" in academia.

2004
package
fontspec

The entry-point for OpenType system fonts under XeTeX / LuaTeX — where Chinese, Japanese, custom fonts come in.

2004
package
microtype

Born from Hàn Thế Thành's PhD. One \usepackage{microtype} and paragraphs instantly look tighter — you can't say why.

2005
package
listings

Code blocks; language=Python gets syntax highlighting in one line. Old-guard; new work often prefers minted.

2008
package
minted

Pipes to Pygments for syntax highlighting — modern colour, but needs --shell-escape.

2008
package
siunitx

Units for physics / chemistry: \SI{9.8}{m/s^2} handles upright shape, en-dash, range formatting.

2008
package
tikz-cd

A TikZ DSL for commutative diagrams. Standard in category theory, algebraic topology, homological algebra.

2010
package
biblatex

The next-gen bibliography stack (backend biber). Ten times more flexible than BibTeX; the default for new templates since ~2010.

2011
package
tcolorbox

All kinds of boxes / callouts / theorem environments. minted + colour + title + shadow — the strongest visual tool in LaTeX outside beamer.

2012
package
pgfplots

A TikZ DSL for scientific plotting. No matplotlib needed — axes, scatter plots, heatmaps from pure .tex.

2014
package
chemfig

Chemistry structural formulas: benzene rings, amide bonds, reaction arrows — one command. Standard in chemistry papers.

2015
package
mhchem

Chemical equations: \ce{H2SO4 -> 2 H+ + SO4^{2-}}, auto-aligned with upright numbers. Same author as siunitx.

2016
package
forest

Built for syntax / parse trees; ten times faster than hand-drawing in TikZ. Common in linguistics / NLP papers.

2018
package
glossaries

Glossary + acronyms + symbol list, all auto-sorted and linked. Mandatory once a thesis exceeds 50 pages.

2019
package
algorithm2e

Pseudocode environment. The de-facto standard for typesetting theorems / lemmas / algorithms.

2020
package
csquotes

"Language-aware quotation marks" — auto-switches "" / «» / „" / 「」; required by biblatex.

DISTRIBUTIONS

Distributions / editors

"Installing LaTeX" in 2026 means roughly four paths: TeX Live cross-platform (~7 GB), MiKTeX on Windows with on-demand packages, MacTeX the macOS wrapper, Tectonic single binary CI-friendly.

  • TeX Live — TUG-maintained, default on Linux / macOS
  • MiKTeX — Windows, fetches missing packages on demand
  • MacTeX — macOS wrapper around TeX Live + GUI
  • Tectonic — Rust single binary, the CI pick

Editors / workflow

The 2026 modern default: VS Code + LaTeX Workshop (built-in latexmk + PDF preview + autocomplete). Old-guard academia still uses TeXstudio / TeXShop; the Emacs camp holds AUCTeX; browser-only people go Overleaf.

  • VS Code + LaTeX Workshop — 2026 default
  • Overleaf — browser collab
  • TeXstudio / TeXShop — old-guard GUI
  • Emacs + AUCTeX — keyboard tribe
  • latexmk / arara — auto build loop
07

vs Word / Markdown / Typst : Alternatives

LaTeX isn't the only choice. Word owns office docs, Markdown + pandoc owns blogs, Typst is taking new-generation note-taking, and MathML should have won browser math but lost to KaTeX. Below is an honest five-way comparison.

LaTeXWordMarkdownTypst
CategoryMarkup + macros + engine stackWYSIWYG binaryLightweight plain-text markupModern markup (Rust engine)
MathUnrivalledNative equation editor (mediocre)Can embed $$LaTeX$$First-class, clean syntax
OriginKnuth 1978 + Lamport 1985Microsoft 1983Gruber 2004Mädje + Haug · ETH 2019
Plain-text source?Yes (git-friendly)No (.docx zip)YesYes
Compile speedSlow (multi-pass · 5-30 s)Real-time (WYSIWYG)Real-time (pandoc ~1 s)~100 ms
Template ecosystemVast (journals / universities / CVs)Official + third-partyNo fixed template conceptYoung, growing
CollaborationOverleaf (browser)Office 365 syncgit PRtypst.app collab
Journal acceptance?DefaultPartialRare (via pandoc → LaTeX)Not widely accepted as of 2026
Learning curveSteep (AI flattens it)Flat (double-click)FlatGentle (Markdown-familiar)
2026 stateDe-facto standard, immobileOffice / legal / adminBlogs / READMEs / NotionClassroom notes / short papers rising
08

Why LaTeX in 2026 : WhyLaTeX

"LaTeX is old, Word is fine, Typst is rising" — all true, none of these add up to actually switching. The six cards below are the real reasons LaTeX remains irreplaceable in 2026, none of them "because it came first."

∑

Math typesetting that nothing else touches

For 40 years no other system has come close to TeX on multi-line formulas, matrices, integral signs, super/subscript placement. Every math paper eventually surrenders to it — not because it's "easy", because there's no replacement.

$\int_0^\infty \frac{x^{s-1}}{e^x-1}\,dx = \Gamma(s)\,\zeta(s)$
⌘

Structure / content / style — separated

Same philosophy as HTML: \section declares "this is a section heading", and the document class decides font and size. Swap the \documentclass and the whole paper reflows in a new style — without touching a word.

\documentclass{article}     % vs {book}
\section{Introduction}      % stays the same
◇

Plain-text source — git-friendly

.tex is plain text: git diff shows exactly what changed, code review runs the same as for code, CI produces the PDF to verify rendering. An entire era ahead of binary .docx.

$ git diff paper.tex
- proof omitted.
+ See Appendix A for proof.
⧖

40 years of backward compatibility

A LaTeX document from 1985 still compiles in 2026. Knuth froze TeX; the LaTeX team treats the kernel as an unbreakable contract — the same "renders forever" promise the web makes.

% lamport-1985.tex
\documentclass{article}
% still compiles, byte-stable.
⊕

The hard currency of arXiv / journal pipelines

Over 90 % of arXiv submissions are LaTeX; Springer / Elsevier / IEEE / ACM all ship official .cls templates. To submit, you must use it — not a recommendation, a convention.

% IEEEtran.cls — required for IEEE submissions
\documentclass[conference]{IEEEtran}
∎

PDF output is byte-stable

Same .tex + same engine → the same PDF, byte-for-byte across machines. No "works on my laptop" problem; this property anchors CI caches, automated grading, legally archived documents.

$ sha256sum paper.pdf
b8e3...  paper.pdf   # identical worldwide
"

I wrote TeX because I couldn't stand seeing my own book typeset badly. A badly typeset book betrays its content. I'd rather spend ten years writing a typesetting system myself than hand the next thirty volumes over to the same broken tools.

— Donald KnuthStanford · author of TeX / METAFONT · 1974 Turing Award · composite from interviews

In one line: LaTeX in 2026 isn't "legacy that survives" — it's "nothing better exists". AI has flattened the learning curve, Typst has taken short documents, but the intersection of multi-author collaboration, formula typesetting, long-paper structure, and multi-decade compat is still satisfied by LaTeX alone.

09

Footguns : TheDarkArts

LaTeX is unfriendly — anyone who's written it agrees. Six footguns below — every newcomer hits all six. Listed not to scare you off, but so that when you trip you know where to look.

Multi-pass compilation

Cross-refs, table of contents, bibliography need 2-3 runs of pdflatex + biber to stabilise. Easy to miss a pass by hand — use latexmk -pdf to loop until output stops changing.

Cryptic error messages

! Undefined control sequence. + the reported line is often nowhere near the real cause. The .log file beats the error window; chktex + LaTeX Workshop's smart locator help, AI helps more.

Package load order matters

hyperref must usually be loaded last (it hooks every cross-ref mechanism); cleveref must come after hyperref; biblatex after csquotes. The rules take a year of stubbed toes to internalise.

Float placement

The eternal [h!] / [!t] / \FloatBarrier war. LaTeX treats figures and tables as "floating elements that pick their own slot"; "put it here" requests are routinely denied. The most pragmatic escape hatch is \FloatBarrier from the placeins package.

BibTeX vs Biber

Legacy stack: bibtex + natbib; modern stack: biber + biblatex. Templates post-2010 are almost all the latter, but many old tutorials freeze in the former — one stale .bbl can wedge the whole build. Without a specific reason, pick biber + biblatex.

shell-escape: double-edged

minted, tikz-externalize, pdfcrop need --shell-escape to run — which lets LaTeX run arbitrary shell commands. Overleaf / journal sandboxes routinely disable it by default; the safer fallback is listings.

10

Famous documents — all LaTeX : TheCanon

Below are not works that "could also be" set in LaTeX — they are works nothing else would ever set. From Knuth's TAOCP to Perelman's Poincaré conjecture proof to every NeurIPS paper.

The Art of Computer Programming
Knuth's own books. TeX exists in order to typeset this series; vol 1 in 1968, vol 4 still being written in fascicles — all in plain TeX, never LaTeX (the author insists).
Perelman, "The entropy formula for the Ricci flow…"
2002 arXiv:math/0211159 — one of Perelman's three papers settling the Poincaré conjecture, plain LaTeX source. A century's most famous problem, solved in 39 pages of .tex.
The Standard Model Lagrangian (poster)
T. D. Gutierrez's ~3-page single-equation poster of the Standard Model Lagrangian. Nothing but LaTeX can lay it out.
arXiv preprints (1991→)
~2.5 M papers; 90 %+ submitted as LaTeX source. arXiv archives the .tex, you can re-download a 30-year-old source and recompile. The physical substrate of scientific communication.
NeurIPS / ICML / CVPR / SIGGRAPH proceedings
Every top CS conference — every paper is LaTeX; the venue ships an official template. A broken .cls causes desk reject.
Donald Knuth — "Mathematical Writing" (1989)
Knuth's Stanford lecture notes on "mathematical writing." About how to write math well — itself typeset in TeX, the meta-textbook of TeX aesthetics.
11

Ecosystem / Tools / Engines : TheStack

LaTeX is an ecosystem, not a project: TUG as steward, CTAN as archive, TeX Live / MiKTeX as distributions, Overleaf / Tectonic as modern entry points, KaTeX / MathJax for the web, arXiv / tex.SE for community. The 18 nodes below are the daily-touch surface in 2026.

TUG
TUG
TeX Users Group · steward
CTAN
~6000 packages · 4 GB
TL
TeX Live
Default cross-platform distro
MiKTeX
MiKTeX
Windows · on-demand packages
Overleaf
Browser collab · ~12 M users
Tectonic
Rust · single binary · auto-fetch
KaTeX
KaTeX
In-browser math · sibling guide
∫
MathJax
Browser math · full LaTeX
TikZ
Vector-graphics king · Till Tantau
beamer
Academic slide standard
M-x
AUCTeX
Emacs · old-school editor
LaTeX Workshop
VS Code · 2026 modern default
latexmk
Build-loop automation
t
Typst
"Next-gen LaTeX" · rising
arXiv.org
arXiv
Preprints · 90 %+ LaTeX
TeX·SE
tex.stackexchange
Q&A central · 250 K questions
biblatex
Bibliography · biber backend
latex3/latex2e
LaTeX kernel source
12

Outlook : TheNext10Years

LaTeX won't be replaced by Typst, nor will it disappear by 2030. The 10-year throughlines: (1) AI flattens the learning curve; (2) expl3 silently takes over package internals; (3) Typst takes a slice of classroom notes; (4) LaTeX recedes from the user layer to a compile target beneath journal pipelines.

HOT · 2024+

AI writes LaTeX — the learning curve flattens

The longest-standing complaint against LaTeX is its steep learning curve: 100+ packages with load-order rules, opaque error messages, TikZ as a language unto itself. LLMs are unusually fluent in LaTeX (arXiv is essentially in their training set), collapsing "write a formula / draw a TikZ / tweak the style" from 30 minutes to 30 seconds.

From 2026 a new grad student no longer learns LaTeX by memorising commands — they start by "have the AI write it, then read and fix it." The "high barrier" moat is gone, which paradoxically cements LaTeX's dominance rather than weakening it.

LATEX3 / expl3

expl3 — modern LaTeX programming layer

From 2019 expl3 ships with every LaTeX kernel; modern packages (siunitx 3, biblatex 3.x) are written entirely in it. LaTeX3 never arrived as "the next version" — it seeped into everything via the programming layer instead. From 2026 on, package authors reach for expl3 first, not plain-TeX macros — the real settlement of a 30-year tech debt.

TYPST

Typst — the one credible challenger

1.0 in 2023; growing fastest in classrooms, coursework, short notes through 2024-26: clean syntax (Markdown-ish), ~100 ms compile, browser edition zero-install. But journal .cls files, long papers, advanced TikZ still belong to LaTeX. The next decade likely looks like layered coexistence: LaTeX keeps journals, Typst takes notes and lecture material.

STRUCTURED WEB

Web-first authoring → compile to LaTeX

A wave of tools (Curvenote, Distill, MyST) push "write collaboratively in the browser, compile to LaTeX + PDF". The author layer is markdown + math blocks + code blocks; LaTeX stays as the publishing backend. By 2030 LaTeX may live below the user layer, as the compile target — much like LLVM IR sits under programming languages.