User blog comment:Ikosarakt1/My site/@comment-10429372-20150214180543/@comment-99.185.0.100-20150829193642

Hyper operators were defined by Goodstein. Donald Knuth defined arrow notation, a notation for expressing the hyper operators.