Dijkstra font

A font created from Edsger Dijkstra’s handwriting. This version is based on that from Luca Cardelli, re-encoded at Unicode codepoints, and with single left and right quotation marks added.


Last updated 2013/05/06