Talk:Jäger's function

Ordinal Notation
I think that it is good to write down the original definition of the ordinal notation associated to the function. (But I do not know the precise definition.) Otherwise, someone might add a personal work on an ordinal notation. Could someone write down it?

p-adic 01:35, February 15, 2020 (UTC)