Source TeX:
\lvert 0\rvert = 0