User blog comment:Rgetar/Thoughts on further generalization of Veblen function/@comment-25601061-20180114215600/@comment-30004975-20180122172814

That's how it's usually defined.