TeX source:
x>3