(0.75, 3);
\node[zxnode=\zxwhite] at (0,1) {$f$};
\node[zxvertex=\zxwhite, zxup] at (0,2) {};
\end{tz}
=
\begin{tz}[zx, every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,0.75) to [out=135] (-0.75,1.75) to (-0.75,3);
\draw (0,0.75) to [out=45] (0.75, 1.75) to +(0,1.25);
\node[zxnode=\zxwhite] at (-0.75,2) {$f$};
\node[zxnode=\zxwhite] at (0.75,2) {$f$};
\node[zxvertex=\zxwhite, zxup] at (0,0.75) {};
\end{tz}
\hspace{1cm}
\begin{tz}[zx,slave, every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,2) ;
\node[zxnode=\zxwhite] at (0,1) {$f$};
\node[zxvertex=\zxwhite, zxup] at (0,2) {};
\end{tz}
=
\begin{tz}[zx,slave, every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,0.75) ;
\node[zxvertex=\zxwhite, zxup] at (0,0.75) {};
\end{tz}
\\\nonumber
\begin{tz}[zx,slave, every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,3);
\node[zxnode=\zxwhite] at (0,1.5) {$f^\dagger$};
\end{tz}
=~~
\begin{tz}[zx,slave,every to/.style={out=up, in=down},xscale=-1]
\draw (0,1.5) to (0,2) to [in=left] node[pos=1] (r){} (0.5,2.5) to [out=right, in=up] (1,2)  to (1,0);
\draw (-1,3) to [out=down,in=up] (-1,1) to [out=down, in=left] node[pos=1] (l){} (-0.5,0.5) to [out=right, in=down] (0,1) to (0,1.5);
\node[zxnode=\zxwhite] at (0,1.5) {$f$};
\node[zxvertex=\zxwhite,zxup] at (l.center){};
\node[zxvertex=\zxwhite,zxdown] at (r.center){};
\end{tz}
\end{calign}\\[-15pt]
\end{minipage}
\hspace{\bnd}
%%%%%
&
\hspace{\bndm}
\begin{minipage}{\wr\textwidth}
\begin{calign}\nonumber
\begin{tz}[zx,every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,2) to [out=45] (0.75,3);
\draw (0,2) to [out=135] (-0.75,3);
\draw[arrow data={0.2}{>}, arrow data={0.8}{>}] (1.75,0) to [looseness=0.9] node[zxnode=\zxwhite, pos=0.5] {$P$} (-1.75,2.5) to (-1.75,3);
\node[zxvertex=\zxwhite, zxup] at (0,2){};
\end{tz}
=
\begin{tz}[zx,every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,0.75) to [out=45] (0.75,1.75) to (0.75,3);
\draw 