User blog comment:Boboris02/Boris´s sezration notation/@comment-29014792-20161001215423/@comment-29014792-20161002150737

But [#,a] = [a,[#]] = length # of a in Conway's Right Arrow Notation.