User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-37212455-20191218225919/@comment-34422464-20191221193338

We could differentiate them using superscripts. Example: \(\psi^B(\alpha)\) is Buchholz psi.