User blog comment:PsiCubed2/Something to Ponder Regarding Sequences and Ordinal Notations/@comment-11227630-20181121160935

It seems that the representation is a variation of α[n1][n2]...[nk]. Not all kinds of FS systems can make the representation uniquely exist for every ordinal below α. But a Monotonic FS system can.