Source TeX:
x \wedge g \wedge s \wedge \neg s,