[nh23423fefe]

I never understand why anyone thinks its good notation. The layout means nothing and lets you infer nothing because exponentiation isn't a 2d planar geometric operation. All the information and rules are contained in the idea "exponentials map the additive reals to the multiplicative reals".

The notation conveys no information at all, and provides no means of proving anything, and even the notation for function composition is worse.

Given the operator pow : R^2->R there are 2 possible inverses. root and log

root isn't even interesting. its just pow with the 2nd argument precomposed with reciprocal. root x b = pow x 1/b