User blog comment:Alemagno12/Defining stage n cardinals in terms of stationary sets/@comment-1605058-20180611093056/@comment-11227630-20180611155520

But your S and T still work similar to \(\Xi\) and K in normal OCF respectively.