User blog comment:Edwin Shade/A Three-Symbol System For Representing Ordinals/@comment-25601061-20171105181304/@comment-25601061-20171105183135

Also, I found an expression for ε0: ([]1[(][)]1)1| ([]1[)][)]1)1