 Kramers--Wannier projected entangled pair operator

In two dimensions, vertex COPY tensors and edge XOR tensors form a PEPO that maps vertex spins to edge domain walls. Its image obeys a zero-flux constraint around every plaquette.