User blog comment:Scorcher007/Analysis DAN up to Z2/@comment-11227630-20180919121102/@comment-31580368-20180919141236

Example: S[aω] ~ {n,n(1(1(2',,)2,,)2)2}

S[aa] = S[a/RCA0] ~ {n,n(1(1(1',,2',,)2,,)2)2}

S[εa+1] = S[a/ACA0] ~ {n,n(1(1,,2(1',,2',,)2,,)2)2}

S[a/KPω] ~ {n,n(1(1,,2(1',,2',,)2,,)2)2}

S[a/П12-TR0] ~ {n,n(1(1,,1,,2(1',,2',,)2,,)2)2}

S[a/KP+Пω] ~ {n,n(1(1(1',,2,,)2(1',,2',,)2,,)2)2}

S[a/KP+S[aa]] ~ {n,n(1(1(1',,2',,)1(1',,2',,)2,,)2)2}

S[a/KP+S[a/KP+S[aa]]] ~ {n,n(1(1(1',,2',,)1(1',,2',,)1(1',,2',,)2,,)2)2}

Then we can quite take S[Ωa+1] ~ {n,n(1(1(1",,2',,)2,,)2)2}