TeX source:

{x\leq4}