User blog comment:Denis Maksudov/Generator of Googologisms/@comment-27516045-20160818112220

One question.

How does one differentiate between f_w^w+1(10) and f_w^(w+1)(10) in your system? As far as I know they'd both be called something like unadd-omexom.