User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-30118230-20170302201257/@comment-24920136-20170304163027

actually you can get a little further if you call LVO "LVO" for example e_{LVO+1}