Source TeX:

x>5