User blog comment:D57799/Some discoveries and guesses about uparrow notation/@comment-1605058-20150207134729

Using ideas in your point 1., one can show that resulting functions would be discontinuous - check out this comment in which I prove it.