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