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.

  Hans Aberg
                  * Email: Hans Aberg <mailto:[log in to unmask]>
                  * Home Page: <http://www.matematik.su.se/~haberg/>
                  * AMS member listing: <http://www.ams.org/cml/>