Fuente TeX:

x\leq 5