User blog comment:Russkiist/The Vosem Series/@comment-4297047-20150711003724

Let me first correct your definition of arrow notation:'

a^b=ab a^^...(n arrows)...^^1=a a^^...(n+1 arrows)...^^(b+1)=a^^...(n arrows)...^^(a^^...(n+1 arrows)..^^b)

I'll provide some more comments later.