LogicTimes for Mac
Instructions and reference card included
Mac version on CD-ROM, $20.00
LogicTimes allows you to mix Greek letters and logic symbols with text without constantly changing fonts. This Mac font works like your standard Times font, but replaces most of the option characters with commonly-used Greek letters, set notation symbols, and symbols from predicate calculus. You'll be able to type logical formulas and transformation rules without lifting your hands from the keyboard.
LogicTimes includes the TrueType font, a useful key map to leave by your computer, installation instructions, and a single user license. LogicTimes works with all Mac operating systems and applications.