TeX source:
| a | = 0