ZX calculus

We provide explicit graphical derivations for two code transformation techniques: code morphing and gauge fixing, and show how several equivalent perspectives on these operations get related via ZX calculus and graphical encoder maps.