Donald E. Knuth's fonts.