User blog comment:Edwin Shade/An Analysis Of The Bashicu Pair Sequence System/@comment-25601061-20180104182742

You don't need to describe everything in words. You can use (0,0)[n] instead of zero and zero of some number n