Awk program used to convert from old PUB format "A Computational Logic" to LaTeX for Boyer and Moore.