All logic symbols, except ( ) [ ] and { } are available on the toolbar In addition, some symbols have keyboard shortcuts.

The simple propositions are entered by pressing the appropriate letter on the keyboard. To make typing easier, the shift key is never needed in the Chapter 6 and 7 exercises. There the computer always gives the CAPITAL letter whether shift is pressed or not. But in the Chapter 8 exercises the shift is needed.