TeX source:
A \dagger B = \neg(A \wedge B)