User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-10429372-20130702132800/@comment-1605058-20130702145849

Any chance for Taranovsky's notation? I believe this is strongest recursive notation defined so far, even if it doesn't really reach SO arithmetic.