User blog comment:Boboris02/Boris´s sezration notation/@comment-29014792-20161005162834/@comment-187.216.87.202-20161005194904

his comparisons seem a bit off (@↑(@↑(....↑)@...)@ should be Γ_0 level.  i'll analyze  closely after i get home from work