Is it possible to get Dijkstra's handwriting (or anyone else's, for that matter) as a font? His writing is gorgeous.
You know, I thought the exact same thing about a third of the way into the document, and noticed that he used most of the common symbols you'd need, even a capital Z and exclamation point. Maybe I'll make a spring break project out of it and post the result on HN.