TeX source:
\Vert\vec{a}\Vert