BEAF
BEAF (Bowers Exploding Array Function) とは、Jonathan Bowersによって考案された、巨大数を表すための表記法の一つである。クヌースの矢印表記を拡張して配列表記を作り、更にその配列表記を拡張して作られている。
のかなりの範囲をカバーできる巨大数表記法であることが想定されている。ただし2021年現在、BEAFの定義が数学的に意味を持つように定式化されているのはテトレーション配列のレベルまでであり、テトレーション配列を超えるレベルを表すことが想定されている記号や表記法も考案されているが、これは定義が未完成である。