Defined exponentiation rules