Gentzen Symbol released

I just finished hastily packaging up a prototype release of Gentzen Symbol (I can't avoid working on my ICFP paper all day).  I would of course be interested in any feedback or problems people might have if they try using it, or suggestions on how to improve the design of the glyphs for future releases or development.


  1. Alan Schmitt said,

    March 30, 2008 @ 11:03 am

    Do you have a quick guide on how to install it and use it on OS X, for the typographically challenged like me?

    And by the way, it’s very kind of Gentzen to “compliment” AMS Euler. There is nothing like too much politeness 😉

  2. washburn said,

    March 30, 2008 @ 5:23 pm

    @Alan: If you want to use it with LaTeX, you can just put the files in the directory of your document and add


    (However this requires you to use pdflatex, but you should be anyway…)

    I do not have a Mac handy here, but if you want to install it as a system Font, you can just open Fontbook and there should be a menu option to install a font and then select the .pfb from the tar-ball. Playing with it as a system font in Ubuntu seems to indicate it is possible it could get confused about the overall height of the font because of the large brace symbol. If that is the case I can probably create an alternate version with that removed. The other difficulty you could encounter is that in Unicode minus is not the same as hyphen. There are probably other things to watch out for, so let me know.

  3. Alan Schmitt said,

    March 31, 2008 @ 8:33 am

    Thanks for the explanation, I’ll have to try this.

RSS feed for comments on this post · TrackBack URI

Leave a Comment