TeX source:
|x|: x > 0