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