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