The Clowder Project

\begin{align*} A\times \webleft (B\mathbin {\triangle }C\webright ) & = \webleft (A\times B\webright )\mathbin {\triangle }\webleft (A\times C\webright ),\\ \webleft (A\mathbin {\triangle }B\webright )\times C & = \webleft (A\times C\webright )\mathbin {\triangle }\webleft (B\times C\webright ), \end{align*}