jefftk comments on Open Thread, November 1-15, 2012

[jefftk]

That implies exponentiation; up-arrow notation is two steps beyond that.