TeX source:

A \vee B = (A \dagger A) \dagger (B\dagger B)