User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-35470197-20200221054926

For example, is there a known conversion from {X,X(1)x} to an ordinal for any valid expression x using the ordinal α corresponding to x?