User:Ynought/My ordinal notation

xi notation
This function takes an ordinal \(\alpha\) and turns it into a different ordinal