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

First, [#,a] is not a->a->a->...(#)...->a->a, but rather #->#->#->...(a)...->#->#

Second,you are right!

I am going to add another extention to it.(you can give me some suggestions if you want)