Not sure if I missed it, but did anyone look into Knuth's volume 3 to see if it shows up there ? Don't have my copy handy