TeX source:
|x| = 40