User blog comment:Ikosarakt1/Formal definition of tetrational arrays/@comment-5529393-20130326033606/@comment-5150073-20130326113934

I rewrote it in a more understandable form. Also I changed the Rule A4 to allow the expressions like 2+1 & 3 = {3,3 (X^1) 3} (In my notation).