バードの配列表記
` a ⟨ 0 [ A 1 ] 1 [ A 2 ] ⋯ 1 [ A n ] c # ⟩ b ' = ` a ⟨ b ⟨ A 1 − 1 ⟩ b [ A 1 ] b ⟨ A 2 − 1 ⟩ b [ A 2 ] ⋯ b ⟨ A n − 1 ⟩ b [ A n ] c − 1 # ⟩ b ' {\displaystyle {\grave {}}a\langle 0[A_{1}]1[A_{2}]\cdots 1[A_{n}]c\#\rangle b{\textrm {'}}={\grave {}}a\langle b\langle A_{1}-1\rangle b[A_{1}]b\langle A_{2}-1\rangle b[A_{2}]\cdots b\langle A_{n}-1\rangle b[A_{n}]c-1\#\rangle b{\textrm {'}}}
AnとBは配列で、Ai-1 は Ai の最初の引数から1を引いて、残りは等しい配列である。