バードの配列表記
超次元配列では、括弧が [ 1 , 1 ] {\displaystyle [1,1]} のようになる。Rule M1~M7は、 [ m n ] {\displaystyle [m_{n}]} を [ m n # ] {\displaystyle [m_{n}\#]} に置き換えること以外は同じで、Rule A3はRule A5となり、新しいRule A3とRule A4が追加される。
Rule A3. ` a < # [ A ] 1 [ B ] # > b ' = ` < # [ B ] # > b ' ( A < B ) {\displaystyle {\grave {}}a<\#[A]1[B]\#>b{\textrm {'}}={\grave {}}<\#[B]\#>b{\textrm {'}}(A<B)}
Rule A4.