User blog comment:Edwin Shade/How do you evaluate extended Veblen notation ?/@comment-80.98.179.160-20171026103654

"\(\varomega\) is the first ordinal \(\vargamma\) that \(\vargamma=\vargamma+1\)."

Let me recall. \(\varomega\) is the first ordinal \(\vargamma\) that \(\vargamma+=1\), not?