User blog comment:TySkyo/TySkyo's Notation/@comment-25337554-20160812084219

I don't know what you mean by "Rayo_{S_{n-1}}(x)". I have never seen Rayo with subscript.