TeX source:

x\land y=x