TeX source:

x\lor y=y