Remix.run Logo
The Letter S, by Donald Knuth (1980) [pdf](gwern.net)
117 points by bambax 7 hours ago | 15 comments
tobr an hour ago | parent | next [-]

I was just reading about Metafont the other day, so this was quite lovely to come across.

Fig 9 stood out to me as obviously wrong. The two glyphs on the left are pixel by pixel identical, as are the three middle ones, and the two on the right. Quite mysterious though considering this PDF appears to be a scan.

hairywalt 29 minutes ago | parent [-]

Maybe another old example of this scanner bug?

https://www.dkriesel.com/en/blog/2013/0802_xerox-workcentres...

fraserphysics 2 hours ago | parent | prev | next [-]

This article was in Springer's The Mathematical Intelligencer in 1980. The next article in that volume was "Strange Attractors" by David Ruelle. When I read Ruelle's article in the early 1980s, I noticed Knuth's article. By the time I got to writing my third paper on strange attractors in 1988, I was using TeX.

WillAdams 4 hours ago | parent | prev | next [-]

His book _TeX and METAFONT_ (about the initial public release) goes into these difficulties in greater detail and includes the charming response by his wife when shown some initial efforts:

>Why don't you make them _S_ shaped?

To some degree, this problem was eventually solved, c.f., the five volume set _Computers and Typesetting_:

https://www-cs-faculty.stanford.edu/~knuth/abcde.html

but then one had the effort to create a new typeface set for math equations by the AMS, eventually named Euler as written up in "AMS Euler — a new typeface for mathematics". _Scholarly Publishing_ and so forth, but arguably, things went awry in that rather than capture the ductus of Prof. Zapf's pen, and model based on that stroke and a pen shape, the expedient approach of simply modeling the outline was arrived at and implemented due to the difficulty and lengthy time required for the idealized approach.

Another consideration may have been that there doesn't seem to be an available algorithm which is robust and accurate and automatic for determining the curves which describe the union of arbitrary Bézier curves (some projects get around this by making high resolution pixel images and tracing them).

dhosek 2 hours ago | parent [-]

For the work on Euler, this article¹ (https://www.sciencedirect.com/science/article/pii/S240587262...) goes into the whole Digital Typography program at Stanford for whom, one of the projects was creating those outlines for the Euler math fonts. It’s worth remembering that at the time, not only was Metafont the only outline-based font technology,² but things like scanners were rare to nonexistent and the bitmaps that were used to determine coordinates for the curves of the fonts were hand-drawn on fine-lined graph paper (and sent to Hermann Zapf for approval).

1. Funnily enough this is the second time in two days that I’ve shared this article, albeit in different contexts.

2. As far as I know, although I could be wrong.

bombcar 4 hours ago | parent | prev | next [-]

I just spent 30 minutes reading a detailed mathematical version of "draw an S; next draw a more different S".

philringsmuth 3 hours ago | parent [-]

Trogdor!

adm4 3 hours ago | parent | prev | next [-]

Wonderful man, here is a lecture on the topic from Joint Mathematics Meeting, Étienne Ghys. https://www.youtube.com/watch?v=1OIxzewWilc

bananaflag 2 hours ago | parent | prev | next [-]

It's not clear to me why the S is more difficult than the others.

antonvs an hour ago | parent [-]

Among the uppercase letters, "S" is the only one that's not either based on a single primary ellipse, or combined with straight lines that provide structural constraints. The entire glyph is governed by continuously changing curvature with no stabilizing axis or primitive shape to enforce proportions.

This results in a more complex and less obvious mathematical definition.

Also, a naively symmetrical "S" tends not to look good, probably because of these same issues, so needs further adjustment to match our visual expectations. This complicates the definition further.

noufalibrahim 34 minutes ago | parent [-]

If you do lettering by hand, S has a bit of reputation. It's hard to get right. Small mistakes stand out even to an untrained eye. However, once you do get it (subjectively) right, it's an extremely beautiful letter. This is even more true in hands like cancellaresca corsiva (the so called "italic font") where the letters are somewhat smooth flowing rather than built with rigid lines. More interestingly, because of all these parameters, you can play a lot with the letter especially if you want to do it as a drop cap or ornament it. As an example, making the lower bowl bigger as the the above comment invites gives the letter some personality.

This is all fine. What fascinates me with Knuth's work is how he applies mathematical rigour to concepts like these which are generally considered "artistic" and subjective. It underlines how mathematical ideas of symmetry etc. play a role in making the world we live in beautiful.

mrandish 4 hours ago | parent | prev | next [-]

Knuth is just a treasure.

zhangdake an hour ago | parent | prev | next [-]

[dead]

adzm 4 hours ago | parent | prev [-]

(1980)

dang 4 hours ago | parent [-]

Added. Thanks!