Extending the Knuth Operator
I just learned about the Knuth up-arrow notation yesterday. Basically, Knuth's up-arrow is the answer to the question "What comes next in the sequence \((+, \times, \wedge)\)?" You could call it iterated exponentiation. Later operators in the sequence are called "higher-order", and may be defined in terms of the previous order function.