TeX source:
\vdots