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