Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
2.26
\begin{eqnarray} \label{equation:functoriality-of-dg-nerve} \partial g_{J} = \sum _{0 < a < k} (-1)^{a} ( g_{ \{ j_0 > j_1 > \cdots > j_ a \} } \circ g_{ \{ j_ a > \cdots > j_ k \} } - g_{J \setminus \{ j_ a \} } ). \end{eqnarray}