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

I basically understand the definition of Taranovsky's notation, but I don't really understand the inner workings except at the start. I will definitely write something about it.