The Mathematics of the Letter S: Donald Knuth's Quest for Typographic Precision

In the world of typography, most letters are relatively straightforward to define geometrically. A vertical line, a circle, or a simple cross-bar usually suffices. However, as Donald Knuth discovered during the creation of his digital typesetting systems, there is one letter that resists simple definition: the letter 'S'.

In his 1980 paper, The Letter S, Knuth details a three-day struggle to mathematically define a "proper" S. This pursuit was not merely an academic exercise; it was born from a practical necessity. Knuth wanted the second edition of his seminal work, The Art of Computer Programming (TAOCP), to match the typography of the first edition, which had been set using old hot-lead technology. When he realized that modern printing was shifting toward discrete mathematics and computer science—essentially matrices of 0s and 1s—he embarked on a journey to solve the problem of type design through mathematics.

The Renaissance Approach: Squaring the S

Knuth begins by examining historical attempts to geometrically construct the letter S. He highlights the work of Francesco Torniello, who in 1517 published a geometric alphabet. Torniello's method involved "squaring the S" within a 9x9 grid using a complex series of circular arcs and straight lines.

Knuth's analysis of Torniello's method reveals the inherent difficulty of the shape. Even in the 16th century, the construction was imprecise. Knuth notes that Torniello's description was not entirely clear, and the resulting curves often suffered from discontinuities—abrupt shifts in direction that are barely noticeable to the eye but mathematically "crooked."

From Circular Arcs to METAFONT

To move beyond the limitations of ruler-and-compass constructions, Knuth utilized METAFONT, a language he developed to describe character shapes as mathematical functions. While Torniello relied on circular arcs, Knuth realized that a more flexible approach was needed to create a professional-looking typeface.

He discovered that the "right" mathematics for an S involves ellipses rather than circles. By defining the main stroke of the S as a sequence of an ellipse, a straight line, and another ellipse, Knuth could create a shape that felt natural and balanced.

However, this introduced a new mathematical challenge: finding the specific ellipse that is tangent to a given straight line while passing through specific top and side points. Knuth's derivation of the solution for this problem is a centerpiece of the paper, resulting in purely rational expressions that allow for precise, parameterized control over the letter's shape.

The Art of Making Constant Things Variable

One of the most profound insights in the paper is the concept of "the art of making constant things variable," a phrase Knuth attributes to Alan Perlis. The goal was not to design a single, static letter S, but to create a system where the S could be adjusted via parameters—changing its thickness, slope, or width—while remaining mathematically consistent.

This parameterized approach allows for:

• Boldface versions: Generating darker versions of the letter without redrawing it.
• Compatible variations: Ensuring that as the S changes, other letters in the alphabet vary in a compatible manner.
• Experimental iteration: Quickly testing different slopes and widths to find the most aesthetically pleasing result.

The "Crossover" Problem

Even with elliptical arcs, Knuth encountered a subtle but disastrous defect when enlarging his letters. If the width of the stroke at the top and bottom was not sufficiently large relative to the center, the inner and outer boundary curves could actually cross each other. This "crossover" effect creates an ugly calligraphic glitch where the inner boundary becomes the outer boundary.

Knuth solved this by deriving a necessary and sufficient condition to prevent the curves from crossing, ensuring that the ratio of the vertical distance to the horizontal distance squared remains consistent between the two elliptical arcs.

Legacy and Reflections

The pursuit of the perfect S was a gateway to a broader system of mathematical typography. Knuth notes that the same subroutines developed for the S were later used to create many other mathematical symbols.

Modern readers and practitioners continue to find value in this rigor. As one former font designer noted in the community discussion, the S is often the first letter designed because "if I couldn't get the S to work, there was no point."\n While modern font design often relies on Bézier curves and outline tracing, Knuth's approach reminds us of the power of first-principles thinking. By treating a letter not as a drawing, but as a mathematical object, he transformed typography from a craft of intuition into a science of precision.