AβaBbββcC=D \begin{CD} A @>a>> B \\ @VbVV @AAcA \\ C @= D \end{CD} AbβββCβaββBβββcDβ
\begin{CD} A @>a>> B \\ @VbVV @AAcA \\ C @= D \end{CD}