TeX source:
\left\|af\right\| = \left|a\right|\left\|f\right\|