I apologize if this is a silly question but I cannot find the necessary information elsewhere on the internet: If $\phi : u \mapsto ux$ is a function from $U$ to $U$ , does the notation $x^{\phi ^{-1}}$ mean the inverse function of $\phi $ where the domain variable is $x$??
For full context of the notation Ill put a link to Kurzweil-Theory book on groups where it is on page 5 (page 18 of pdf):
It is not uncommon in group theory to write $x^g$ for $g^{-1}xg$: i.e., what you get if you apply conjugation by $g$ to $x$, where $x$ and $g$ are members of some group $G$ (this can save quite a lot of ink). The conjugation function $x \mapsto x^g$ is called an inner automorphism on $G$. By extension of this notational idea, it isn't uncommon to write $x^{\alpha}$ for the result $\alpha(x)$ of applying an arbitrary automorphism $\alpha$ on $G$ to $x$.
The authors of this book have clearly taken this further and write $x^{f}$ for $f(x)$ for functions $f$ in general, as in in your quotation (where $f$ is $\phi^{-1}$). The notation $\phi : x \mapsto ux$ is a fairly standard way of saying "the function $\phi$ defined by $\phi(x) = ux$".