knuth up-arrow notation

Input interpretation

Knuth up-arrow notation

Alternate names

Knuth arrow notation | up-arrow notation

Definition

Knuth's up-arrow notation is a notation invented by Knuth to represent large numbers in which evaluation proceeds from the right:
m↑n | m·m...m_︸_n
m↑↑n | m↑m↑...↑m_︸_n
m↑↑↑n | m↑↑m↑↑...↑↑m_︸_n

Related terms

Ackermann number | chained arrow notation | down arrow notation | large number | power tower | Ramsey theory | Steinhaus-Moser notation