Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
3.51
\begin{equation} \label{equation:mather-second-cube-statement} \begin{gathered} \xymatrix@R =50pt@C=50pt{ \overline{A} \ar [r] \ar [d] & \overline{B} \ar [d] & \overline{A} \ar [r] \ar [d] & \overline{C} \ar [d] \\ A \ar [r] & B & A \ar [r] & C \\ \overline{C} \ar [r] \ar [d] & \overline{D} \ar [d] & \overline{B} \ar [r] \ar [d] & \overline{D} \ar [d] \\ C \ar [r] & D & B \ar [r] & D } \end{gathered}\end{equation}