User blog comment:SuperSpruce/Proposed fix to T array function to make it work past Gamma 0/@comment-36984051-20190623153224/@comment-35470197-20190623221252

Since it is not so easy to understand the behaviour, it is better to write your own analysis on new rules which helps other to understand your notation.

For example, it is good to give examples which actually explain how +, ×, ^, and φ are encoded in your notation.