Three fonts by Knuth.
