User blog comment:Rgetar/Ordinals array function/@comment-11227630-20170607140222/@comment-32213734-20170608134953

Hyp cos!

I just read about your Mixed Arrow Notation. And I have a question, if you do not mind. I wonder, is there such thing as a◊↕(b+1)=(a◊↕b)◊(a◊↕b) or something? (Just my function [X]a is constructed this way). And, if I'm not bothering you, I noticed: you wrote "Mixed arrow notation is a superset of up-arrow notation and down-arrow notation", and in Down-arrow notation: a↓n+1(b+1)=(a↓n+1b)↓na, and in Rule 4: a◊↓(b+1)=(a◊↑b)◊a. ↑ is just a typo or it should be???