Keyboard Shortcuts

• You need not shift to enter special characters like ">" or "(" or "~". Press the "TAB" key to make the input look correct.
• In SL, you need not shift to enter (upper case) sentence letters. Again, these will be corrected for you on change.
• In PL, you have to shift for the sentence or predicate letters: they need to be distinguished from individual constants and variables.