User blog comment:KthulhuHimself/Norminals Revisited./@comment-26428969-20151210184122

"N<1>(3) can probably define FOST(n) (as it requires less than 1,000 symbols)," I doubt so, these languages are REALLY EXPENSIVE in term of symbols. Even tetration might take over a hundred symbols :/