User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-31966679-20180607203050/@comment-31966679-20180608002140

It may not be called the veblen function but its like

F(0, 0) = omega

F(1, 0) = epilon zero

F(2, 0) = zeta zero

.

.

.