Three fonts by Knuth.