User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-7484840-20130715174055

However, the ¥ function is not very well defined, because it could reference other functions that basically achieve the same thing as itself, leading to it not really having any kind of definite output.

Also, any number formed by the ¥ function will be the output of another function described in a certain number of letters. All of these functions will be in the iota function set, if not the ¥ function as a whole. For example, ¥^1000(1000) as mentioned in the blog post will be a number described by a function described by ¥^999(1000) characters, and this function will be in the iota function set, meaning Hollom's number is still unbeaten.