LogicTimes for Macintosh
Instructions and reference card included
Macintosh version on CD-ROM, $20.00
LogicTimes allows you to mix Greek letters and logic symbols with text without constantly changing fonts. This Macintosh 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.
The LogicTimes package includes seven sizes of the screen font, the TrueType font, and the PostScript Type 1 font. System requirements are any Macintosh running System 7 or higher. We also include clear instructions and a key map to leave by your computer.
Character set
