Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
5.35
\begin{equation} \begin{gathered}\label{equation:3-simplex-of-Dusk} \xymatrix@R =50pt@C=50pt{ f_{32} \circ (f_{21} \circ f_{10} ) \ar@ {=>}[rr]^-{\alpha }_-{\sim } \ar@ {=>}[d]_{ \operatorname{id}_{ f_{32}} \circ \mu _{210} } & & ( f_{32} \circ f_{21} ) \circ f_{10} \ar@ {=>}[d]^{ \mu _{321} \circ \operatorname{id}_{ f_{10} }} \\ f_{32} \circ f_{20} \ar@ {=>}[dr]_{ \mu _{320} } & & f_{31} \circ f_{10} \ar@ {=>}[dl]^{ \mu _{310} } \\ & f_{30} & } \end{gathered} \end{equation}