Left Operation is Anticommutative

Theorem
The left operation is anticommutative:


 * $$\forall x, y: x \leftarrow y = y \leftarrow x \iff x = y$$

Proof
Immediate from the definition of the left operation.

Also see

 * Right Operation is Anticommutative