s/*-least-pre-fixed/*-ind.
s/N-post-fixed/N-unf.
Using unary function symbols in a note.
Added N-unf-ho.
Fixed typo.
Fixed indentation.