Following questions like this, I managed to draw a commutative diagram like below using package AMScd
:
$$\require{AMScd}\begin{CD} X @>>> X \\ @V{f}VV @V{f^{-1}}VV \uparrow \\ X @>>> X \\ \end{CD}$$
$$\require{AMScd}\begin{CD}
X @>>> X \\
@V{f}VV @V{f^{-1}}VV \uparrow \\
X @>>> X \\
\end{CD}$$
However, none of the answers shows an arrow that's vertically up, and \uparrow
is to short (see diagram). So what's the analog of @VVV
for upwards pointing arrow? @VVV
is particularly nice because you can add labels at different positions.