User blog comment:Qlf2007/A General Scheme for Veblen Function/@comment-35470197-20191127220421/@comment-35470197-20191128115050

> However they do so in a rather "inelegant" way.

But it is the main point which makes an OCF very strong and yield an ordinal notation.

By the way, you can use Veblen function itself in order to create an OCF as Rathjen did in the standard OCF based on weakly Mahlo cardinal. Isn't that what you want to do? Moreover, encoding arrays into Cantor normal forms is also used in Arai's ordinal notation. They might be helpful for you.