As a Mathematician I would like:

[Jan Claeys]

Op Sat, 30 Jun 2007 01:54:59 +0100
schreef "Stewart Gordon" <smjg_1998 at yahoo.com>:

> Not sure about this myself.  BASIC uses ^.  I guess we could use ↑ -
> except that using Unicode characters is still a problem for some of
> us.  There are at least two precedents for this: ZX Spectrum Basic
> (though really only by being the Spectrum's glyph for '^') and
> Knuth's up-arrow notation
> 
> http://en.wikipedia.org/wiki/Knuth%27s_up-arrow_notation
> 
> though that said, I don't know whether one inspired the other.

<http://mathworld.wolfram.com/ArrowNotation.html>

At least, Knuth "invented" it (1976) before Sinclair used it, but
whether the Spectrum designers knew about Knuth's use is another matter
of course...


-- 
JanC