See DonKnuth.