User blog comment:Dima120/HO (HyperOperator) note/@comment-35470197-20190612075402

Hi!

> HO[a]|n>m>l| = HO[a-1]|HO|m>n>l+1|>HO|m>n>l+1|>l-1|

I think that you need to define HO[1]|n>m>l| and HO[a]|n>m>1|. Otherwise, the resursion does not terminate.

By the way, the "m>n" in the right hand side seems to be a typo of "n>m".