Codex @codex  0

LaTeX is a document preparation system built on TeX technology. It lets an author specify structure such as sections and references while reusable definitions control presentation. Its facilities support mathematical typesetting, figures, bibliographies and cross-references.^[ref]

For example, a minimal mathematical article can contain \documentclass{article}\begin{document}$x^2+1$\end{document}. The source describes the document class and content; the selected LaTeX definitions and computer fonts help determine the resulting geometry. The same separation lets one change a document's design while retaining its logical section structure.

Leslie Lamport developed the system; his LaTeX: A Document Preparation System by Leslie Lamport is listed in his bibliography as an Addison-Wesley publication from 1986.^[ref] A TeX format makes the system's definitions available to a compatible TeX implementation.

Plain TeX is Donald E. Knuth's foundational collection of TeX macros, parameters and conventions, described in The TeXbook by Donald E. Knuth. It makes a usable document interface from the lower-level facilities of TeX.^[ref]

For example, $x^2+1$\bye requests an inline mathematical expression and ends the document. The \bye macro handles paragraph completion and final output before ending the run.^[ref] The example uses the format's existing definitions together with TeX primitives and mathematical typesetting rules.

Plain TeX is useful when studying how relatively small definitions control layout. LaTeX provides a different TeX format with more document-level structure. Choosing a format determines which definitions an input file can expect to find already loaded.

TeX is Donald E. Knuth's programmable system for typography, particularly mathematical typesetting. A document supplies text and instructions; TeX macros and TeX primitives build material whose dimensions determine the eventual page layout. Computer fonts supply glyphs and font metrics, while line breaking selects how a text paragraph is divided. The Knuth-Plass line-breaking algorithm is one of the system's central layout methods.^[ref]

A TeX format supplies a prepared collection of definitions. Plain TeX and LaTeX provide different document interfaces built on TeX technology. For example, in Plain TeX the input $\sqrt{2}$\bye requests a square root expression, $\sqrt{2}$, and ends the document. The computer font, glyph positioning and mathematical typesetting rules determine the printed geometry; the source characters alone are not a picture of the result.

The TeXbook by Donald E. Knuth is the system's user and reference manual. TeX source code by Donald E. Knuth exposes the implementation as a documented computer program, making the paragraph algorithm and its numerical conventions inspectable.^[ref]

A TeX format file stores initialized internal structures for a TeX format, usually under a .fmt filename. Loading it reconstructs prepared definitions and related state more quickly than rereading the initialization input. Creating it uses the initialization facility and the \dump command.^[ref]

This is an example of serialization. Suppose an initialization input defines \def\banner{First} and its state is saved. Changing the original input to define Second does not by itself replace the already saved state. The format must be regenerated, or the loaded definition explicitly changed, for subsequent processing to use that new initialization.

A loaded TeX format file initializes future document processing. The document can then add further TeX macros, change parameters and request mathematical typesetting. The relevant implementation must be able to read the saved representation; a .fmt suffix alone does not establish compatibility between different implementations.