Notation package to define different behaviors for something like Power applied to a function? As in, I would like to know how to do such things as B[n_]^2:=B[n]**B[n+1]; Where B[n] has some arbitrary definition. I was hoping to learn how to use TagSetDelayed or mess with UpSetDelayed and the-like, but I can't quite get it to parse out like it should (or like I think it should). 
