User blog:Ubersketch/Sigma Separator

f(a){[σ]0 #} = f(a){#} f(a){[σ]b+1 #} = f(a){[f(a){[σ]b #]b+1} This separator is another FIH separator I made. It's rather esoteric.