1: \begin{abstract}

2:   We prove that the Leibniz PROP is isomorphic (as $\Bbbk$-linear categories) to the symmetric crossed presimplicial algebra $\Bbbk[(\Delta^+)^{op} \B{S}]$ where $\Delta^+$ is the skeletal category of finite well-ordered sets with surjections, but the distributive law between $(\Delta^+)^{op}$ and the symmetric groups $\B{S} = \bigsqcup_{n\geq 1} S_n$ is not the standard one.

3: \end{abstract}

4: