@@ -238,6 +238,7 @@ The calculus can be viewed both as a formal axiomatic theory of complementary ob
% The \zxcalculus %has been extensively applied to quantum computation, and
% is powerful and flexible, can easily describe computations in both the circuit and measurement-based models of quantum computation (MBQC)~\cite{Raussendorf-2001} and can be used to formulate and verify quantum error correcting codes \cite{Chancellor2016Coherent-Parity, Duncan:2013lr} and quantum algorithms \cite{Stefano-Gogioso2017Fully-graphical, Zeng2015The-Abstract-St}. Its graphical representation is well-suited to describing systems which naturally have a graph structure, such as surface codes for topological cluster-states \cite{Horsman:2011lr}, and MBQC \cite{Duncan:2012uq}, where it has been used to translate \cite{Duncan:2010aa} between the 1-way model and the circuit model. \textit{\bfseries\ttfamily\color{red!70!black} \KILL{[Not sure whether we want to keep this paragraph but it has lots of good references]}}
%
\TODOb{The figure is especially placed to match the text DON'T CHANGE IT}
The tensor network structure means that the \zxcalculus represents all quantum operations such as
initialisation, unitaries, measurements and discarding in a single notation. This notation is significantly
