Hot-Key String Syntax

   Hot-key definitions are composed of one or more keystrokes. The first
   character of a hot-key string may not be alphanumeric.

   For a hot-key definition which consists of more than one keystroke,
   the first keystroke will usually be a control character, a function
   key, or some other infrequently used key on your keyboard.

   The syntax for specifying a control character is to enclose the control
   character name in angle brackets. For instance, "<ESC>" is used for an
   escape character, and "<CTRL-D>" is used for a Control-D character.

   For a full list of available character names, see the PEEK Hot-Keys
   Subtopic: Character-Codes.

   Hot-key strings may be up to 16 characters long.

   Note: "<ESC>" would be counted as one character, whereas, "<F6>" is
   counted as 5 characters since it actually generates the string
   "<ESC>{17".

   All hot-key strings should be surrounded by double quotes. If you wish
   to put a double quote into a string, you must enter two double quotes
   within the enclosing double quotes. E.g. /END_WATCH="<CTRL-A>"""

   The above means that watching will be terminated when the user types a
   Control A followed by a double quote character.

   Hot-key strings which include alphabetic characters are handled in such
   a way that the case of the alphabetic character is ignored. For example,
   the recognition string "<ESC>A" will also be recognized as "<ESC>a".

   To make hot-key definitions case-sensitive, precede the character with
   a backwards slash. For example, "<ESC>\a" will be recognized ONLY when
   an escape is followed by a lowercase letter A.

   In order to place a backslash ("\" or a less-than symbol  ("<") into a
   string, enter two of them in a row. E.g. END_WATCH="<CTRL-P>\\".