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