User blog comment:King2218/Infinite Extensibility/@comment-5150073-20140314172340/@comment-24509095-20140316041020

The left-arrow is in the second line. The fifth term of the sequence is the generalization of the generalization of the down-arrow.