Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
5.56
\begin{equation} \begin{gathered}\label{equation:Grothendieck-of-ordinary} \xymatrix@R =50pt@C=50pt{ \Lambda ^{n}_{i} \ar [r]^-{\sigma _0} \ar [d] & \int _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{D}}( \mathscr {F} ) \ar [d]^-{\pi } \\ \Delta ^ n \ar [r]^-{\overline{\sigma }} \ar@ {-->}[ur]^{ \sigma } & \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \end{gathered} \end{equation}