User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-35870936-20180813215517/@comment-35470197-20180815131401

> It is Deedlit's \(\psi\).

I see. So is what I wrote on your explanation correct?

> Bashicu's OCF is actually a exponentiation-based OCF, and it's basically Madore's psi extended to higher cardinalities. But, again, the differences between addition-based (like UNOCF), exponentiation-based (like Bashicu's OCF) or Veblen-based (like Deedlit's OCF) OCFs fade away at such high levels.

I see. It is good to know.