XOR variable exchange

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