TeX source:
|x-1| \leq 3