# How to draw extensible vertical arrows?

In How to type this arrow is MathStack Exchange and its duplicate target, a few ways are provided to typeset a horizontal extensible arrow.

$$\Large\rlap{\color{blue}{\underset{(0,0)}{\times}}}{\;\;\:\xrightarrow[\bf i]{\hspace{5em}}{\!\!\!\!\!\!\!\!\color{blue}{\underset{(1,0)}{\times}}}}$$

How can we typeset vertical arrows?

In MathJax basic tutorial and quick reference, there's no guidance on extensible horizontal arrow \xrightarrow, but the section Markov Chains included a commutative diagram that makes use of this command.

The command

\raise{34px}{\vert}\hspace{-5px}\raise{17px}{\vert}\hspace{-12.2px}\downarrow

suggested in

https://math.meta.stackexchange.com/a/30293/290189

$$\raise{34px}{\vert}\hspace{-5px}\raise{17px}{\vert}\hspace{-12.2px}\downarrow$$

\begin{array}{l}
\color{blue}{\times\, (0,1)}\\[-4pt]
\kern1px \left\uparrow\vcenter{\rule{0pt}{7em}}\rlap{\,\mathbf{j}}\right.\\[-4pt]
\color{blue}{\times\, (0,0)}
\end{array}

which gives

$$\begin{array}{l} \color{blue}{\times\, (0,1)}\\[-4pt] \kern1px \left\uparrow\vcenter{\rule{0pt}{7em}}\rlap{\,\mathbf{j}}\right.\\[-4pt] \color{blue}{\times\, (0,0)} \end{array}$$

$$\raise{45pt}{\rlap{\raise{8pt}{\color{blue}{\times (1,0)}}}{\Large\wedge}} \hspace{-20pt} \begin{array}{c|c} &\\\\[1.5em] \phantom{\bf j}&{\bf j} \\\\[1.5em]&\end{array} \hspace{-18pt} \raise{-50pt}{\color{blue}{\times (0,0)}}$$