Indentation:

Align recursive expansion

Align fundamental sequence

None

Notation:

Ordinals

Paths

Brackets