User blog comment:Nayuta Ito/generalization of arrow notation/@comment-25337554-20141026090551

I just wanted to make a "ruler" to measure arrow-notation level numbers.