TeX source:
|x-5| \leq 4