TeX source:

x>y