For a full discussion of the PUNK fonts,
see D E. Knuth, "A Punk Meta-Font,"
TUGboat. Volume 9 (1988), No. 2, 152--68.
