Environments 17

\begin{CD}
   A @>a>> B \\
@VbVV @AAcA \\
   C @= D
\end{CD}

\begin{CD}
   A @>a>> B \\
@VbVV @AAcA \\
   C @= D
\end{CD}