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