User blog comment:D57799/Some discoveries and guesses about uparrow notation/@comment-2033667-20150209002302

imo the best way to define a^^b for real/complex b is to use the method of geisler. i admit that i dont fully understand it, but his work is especially important since it lets us do continuous iteration on any holomorphic function