User blog comment:Denis Maksudov/Canonical fundamental sequences for Hypcos's notation with the first weakly inaccessible cardinal./@comment-28606698-20170815102753

I deleted one of rules since $$\Iota^\beta \gamma$$ also can be expressed using operation"+"  and $$\psi_{\Omega_{\Iota+1}}(\alpha)$$