TeX source:
x>1