User blog comment:TechKon/Sponge's Graham Generator/@comment-27014275-20151008173435/@comment-28124748-20151009022023

Well, I used a similar pattern with my left-right arrow notation. Man, I need to come up with a more original function/notation.