TeX source:
| a | ≥ 0