Follow
図式は回る。
\[
\require{AMScd}
\begin{CD}
A @>{f}>> B\\
@V{g}VV {\large\circlearrowleft} @VV{h}V\\
C @>>{k}> D
\end{CD}
\]
