Extended version of Knuth's logo typeface
