Gentzen Symbol

Gentzen Symbol is a symbol font being designed with logicians and programming languages researchers in mind. Additionally, it being designed to better complement AMS Euler than existing symbols fonts available.

A prototype release is now available: gentzen-2008.03.30.tar.gz

 
gentzen_symbol.txt · Last modified: 2008/04/06 07:45 by geoffw
 
Recent changes RSS feed Creative Commons License Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki