XOR variable exchange

Tags: graphical linear algebra, bialgebra, Nilpotent bialgebra, monoidal category.