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

EBF is Extended Buchholz Function? EBP might be more clear