�@ は 正の実数の複素数乗 の定義です。その理由は次の２つです。

x ^a＋ib　＝ x ^a x ^ib

x ＝ e ^{log x} より、
　　x ^ib ＝ ( e ^{log x} ) ^ib
　　　　＝→　e ^{i b log x}