4.12 Vertical bars

$$
\left\lvert \frac{1}{2}\right\rvert \left\lVert \frac{1}{2}\right\rVert
$$
\[ \left\lvert \frac{1}{2}\right\rvert \left\lVert \frac{1}{2}\right\rVert \]