User blog comment:B1mb0w/The Quantum Function/@comment-35470197-20180926050834

Interesting notation. By the way, I think that you forgot to define \(Q(0_{[z+1]},n)\), \(t_d(0_{[y+1]},1)\), \(t_d(2,0_{[y+1]},1)\), and so on. (They are not computable from your rules.)