conversion between '^' and '**'