TeX source:
|a| > 1