Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
2.30
\begin{eqnarray} \label{equation:checking-dg-nerve-is-infty-category} \partial f_{I} = \sum _{a=1}^{k-1} (-1)^{a} ( f_{ \{ i_0 > i_1 > \cdots > i_ a \} } \circ f_{ \{ i_ a > \cdots > i_ k \} } - f_{I \setminus \{ i_ a \} } ) \end{eqnarray}