Yes. And in order to publish it beautifully, he had to write TeX, which now everyone uses for papers