Tag exponentiation operator