- 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.