竹内本は、昔誰かがtex打ちしたものがまだネットに転がっている模様。