At 09:33 +0100 98/06/23, David Carlisle wrote:
>... The long command names don't really affect format size too
>much. ... No matter how many times
>the command is used, the comand tokens are always the same size, just
>having an index to the table that has the print name of the command
>sequence.
So one should then probably just use the long names then for the purpose
of building a logical structure, and have short names for the user.