Comments on: Gentzen Symbol released http://existentialtype.net/2008/03/30/gentzen-symbol-released/ For People Who Like Type and Types Tue, 20 Sep 2011 01:25:23 +0000 hourly 1 http://wordpress.org/?v=3.3 By: Alan Schmitt http://existentialtype.net/2008/03/30/gentzen-symbol-released/comment-page-1/#comment-22127 Alan Schmitt Mon, 31 Mar 2008 07:33:32 +0000 http://existentialtype.net/?p=233#comment-22127 Thanks for the explanation, I'll have to try this. Thanks for the explanation, I’ll have to try this.

]]> By: washburn http://existentialtype.net/2008/03/30/gentzen-symbol-released/comment-page-1/#comment-22122 washburn Sun, 30 Mar 2008 16:23:10 +0000 http://existentialtype.net/?p=233#comment-22122 @Alan: If you want to use it with LaTeX, you can just put the files in the directory of your document and add <code> \pdfmapfile{+gentzen10-sym.map} \usepackage{gentzen} </code> (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 <code>.pfb</code> 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. @Alan: If you want to use it with LaTeX, you can just put the files in the directory of your document and add

\pdfmapfile{+gentzen10-sym.map}
\usepackage{gentzen}

(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.

]]> By: Alan Schmitt http://existentialtype.net/2008/03/30/gentzen-symbol-released/comment-page-1/#comment-22120 Alan Schmitt Sun, 30 Mar 2008 10:03:55 +0000 http://existentialtype.net/?p=233#comment-22120 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 ;-) 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 ;-)

]]>