$\displaystyle\mathrel{\vdots}$