The Clowder Project

\begin{align*} R & \colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}A,\\ S & \colon X\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}X \end{align*}

\[ \webleft (R\times S\webright )^{\dagger } = R^{\dagger }\times S^{\dagger }. \]