User blog comment:Nedherman1/Ordinal Factorial (reposting)/@comment-31966679-20180713031831

You give examples, but no actual definition, for example, what would be \(4f ^ {4} ! ^ {4}\)?