1 ALIAS
  Syntax:   ALIAS name string
  where:    name    is the alias name
            string  is the string that the alias defines

  Defines an alias for a string. If  you do not want to continually type a
  long string or  keep macros  computer independent it  is often useful to
  define an  alias. It is not  allowed to  define `ALL' as  an alias name.
  When a command line is  parsed any defined  aliases are searched for. To
  be    recognized  as an   alias  the   `name'  must  be   followed  by a
  non-alphanumeric   character. If you want  to  concatenate an alias with
  another string you can use `//'.

  Alias translation can be turned on  and off using the command
  `SET ALIAS ON|OFF'. By default it is on. If you  do not  want  a  `name'
  to be translated as an  alias precede it  by a `@'. You can  undefine an
  alias  using the command  `UNALIAS name',  but  see the  warnings below.
  You can list one or more aliases  using the  command `SHOW  ALIAS name'.
  If you omit the `name' all aliases will be listed.

  Aliases can be up to 20 characters long and translate into strings
  that are up to 80 characters long.

  WARNINGS: If alias  translation is on and you  want to undefine an alias
  you must  use the  syntax  `UNALIAS  @name'.   Similarly if  you want to
  redefine  an alias  use the syntax `ALIAS @name  string', or to show the
  translation use `SHOW ALIAS @name'.

  HINT: I find it useful to precede all aliases by a prefix
  (e.g. `a_'), so that you cannot accidentally include an alias in a
  command and get unexpected results.

2 Examples

!\begin{enumerate}
!\item
!^
  Example 1:
  This example defines an alias `junk', uses it and then lists all
  aliases:
    alias junk show
    junk all                -> `show all'
    show alias all
    unalias @junk

  Note the use of `@junk' to remove the alias.

!\item
!^
  Example 2:
  Shows concatenating aliases and effect of turning alias translation off:
    alias name1 'John Smith'
    alias name2 son
    message name1//name2  -> `John Smithson'
    alias name  'Jane Jones'
    message name1's real @name is name
                          -> `John Smith's real name is Jane Jones'
    set alias off
    message What is your name?
                          -> `What is your name?'

  You can now remove the alias with `unalias name'.

!\end{enumerate}

