User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-34193315-20191220032726

I would nominate Madore's OCF. It is by far the most simple OCF that I know of and it is quite easy to understand. It can also be extended to have a higher limit.

Buchholz's OCF is fine I guess? But I would really like an OCF to include not only addition but multiplication and exponentiation as one of the operators