Donald Knuth's punk font
