Source TeX:

x>y