ハイパー演算子をおおむね訳し終えました。細かいところが雑だったりするので、気が向いた人は修正をお願いします。今日は疲れたので明日にでも自分で再確認しておきます。
ところで、この記事を訳すにあたり 2 点問題が残っています。
まず Expansion の訳記事は、スタブか何かで存在しますでしょうか。Bowers 氏がハイパー演算子から山括弧を使った表記を経て、BEAF に至るまでの途中にあるもののようなので、非常に重要であることは間違いなく、訳してしまいたいところです。記事が重複するといけないので、記事を作った人がおられましたら、コメントをお願いします。作っているとしたらふぃっしゅっしゅ氏でしょうか。
次に、英語版でも特に記事が作られていないようですが、ハイパー演算子の亜種である bar notation をどう訳したものか、考えがまとまらずそのままにしてあります。直訳なら棒表記ですが、bar で辞書を引いたら柵や鉄格子といった単語が出てきました。確かにこれは棒というより柵です。
\[a + b,\, a \cdot b,\, a^b,\, {}^ab,\, \overline{a}^b,\, {}^b\overline{a},\, \overline{\overline{a}}^b,\, {}^b\overline{\overline{a}},\, \ldots\]