Equation 13.11.363B22DDAC51C

\begin{equation} \mathds {1}_{O_ k}\, \mathrm{dd}^{\mathrm{c}}\varphi _1\wedge \cdots \wedge \mathrm{dd}^{\mathrm{c}}\varphi _ p=\mathds {1}_{O_ k}\bigwedge _{j=1}^ p \mathrm{dd}^{\mathrm{c}}\left( \varphi _ j\lor (-k)\right) \end{equation}