chained arrow notation

Input interpretation

chained arrow notation

Definition

Chained arrow notation is a notation which generalizes the Knuth up-arrow notation and is defined as
a↑...↑b_︸_c congruent a->b->c.