TeX source:

x\ \vdash \ y