====== 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-2008.03.30.tar.gz}}