[IsTom]

> it's just a notational convention

I'd argue it's a bit more, it's a natural way to extend domain of exponentiation, as we do before this with naturals -> integers -> reals.