Kerodon

\begin{equation} \begin{gathered}\label{equation:diagram-for-left-cofinality} \xymatrix@C =50pt@R=50pt{ \operatorname{\mathcal{E}}\operatorname{\vec{\times }}_{ \overline{\operatorname{\mathcal{E}}} } \{ X \} \ar [r] \ar [d] & \{ X\} \ar [d] \\ \operatorname{\mathcal{E}}\operatorname{\vec{\times }}_{ \overline{\operatorname{\mathcal{E}}} } \overline{\operatorname{\mathcal{E}}}_{v} \ar [r]^-{ \pi ' } & \overline{\operatorname{\mathcal{E}}}_{v}. } \end{gathered} \end{equation}