What does the operator " ^ " (without the " " ) do?

Question

Somewhere in SoloLearn, I found that you can swap two values without using a third variable in this way:
a^=b;
b^=a;
a^=b;
So, what is this operator ( ^ ) called?
What does " ^ " basically do and how does it swap the values?

Answer 1

kurwis, is there a general way to prove that this method works for swapping any two values?