a ^ b