User blog comment:Hyp cos/Taranovsky has updated his ordinal notation page/@comment-29014792-20160910112131/@comment-11227630-20160910120155

{1(2{2+}2)+3} reduces to (1{2+}2){1(2{2+}2)+3}, which reduces to (1{1+}1{1+}...1{1+}1{1+}2){1(2{2+}2)+3}, and it's higher-leveled than {1(2{2+}2)+2}.