TeX source:
A\wedge (\neg A) = 0