User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-38876218-20191218050220/@comment-35470197-20191218054827

> EBF is Extended Buchholz Function?

Maybe true.

> EBP might be more clear

> or EBO (Extended Buchholz OCF)

Personally, EBO sounds strange because it is a short hand of Extended Buchholz Ordinal without Collapsing Function... Anyway, if we need an official abbreciation, then it is good to ask the creator to choose one.