Several years ago, I experimented with making coding fonts in different styles. One of my creations was Pointfree (https://www.dafont.com/pointfree.font https:/

Several years ago, I experimented with making coding fonts in different styles. One of my creations was Pointfree (https://www.dafont.com/pointfree.font https://www.dafont.com/pointfree.font). A few of the others I made are in the Google Code Archive (https://code.google.com/archive/p/i3project/downloads https://code.google.com/archive/p/i3project/downloads). Since they were just experiments, they only cover the ASCII set. They have no hinting, so look terrible on screen unless you have strong antialiasing enabled. I made some notes on how a font needs to be modified for printing code. To start with, a coding font needs heavier weight than a typical text face, and should be designed for greater word and line spacing. If adapting a proportional font, it needs to have: - minimum space width the same as n - O0, Il1 distinguished - @#$%& roughly equal size and color - punctuation bolder and with more space - ~\*+=-<> vertically aligned Here are recommendations for specific characters: ABCDEF G -- pronounced lip H I -- must distinguish from l and 1 J -- not below line KLMNOP Q -- slash, not tail RSTUVWXYZ a -- two storey bcdef g -- tail, not double h i -- needs foot jk l -- needs foot mnopqrstuvwxyz 1 -- needs foot 23456789 0 -- needs slash ! -- pronounced taper @ # -- forward vertical slashes $%^& * -- centered, six point, point on top - -- longer _ -- not far below line, not touching =+ ( ), [ ], / \, { }, < > -- not touching each other, aligned vertically ;:'",.` -- bigger ? | -- distinguish, maybe gap in middle ~ -- centered