[groby_b]

TIL that Turing used LaTeX ;) OK, fine, somebody probably typeset it, but it was still an odd experience to read it that way.

Either way, thanks for sharing that link!