At 08:26 +1000 1998/12/14, Ken Smith wrote: >This would mean that you would restrict the use of A to have one >particular meaning throughout the document. This is quite >unrealistic, in almost any area of mathematics. If one should do actual parsing, I would expect that one must use a series of local contexts, each defining its own grammar and translation rules, that is, in effect a local computer language. 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/>