Keywords: LL deMorgan.png Use TeX \begin align A \perp \perp \equiv A \\ A\otimes B \perp \equiv A \perp\ \wp\ B \perp \\ A\oplus B \perp \equiv A \perp\ \ \ B \perp \\ A \perp \equiv\ A \perp\end align Mathematical formula Linear Logic de Morgan laws tex file 2006-01-04 Laurent Regnier De Morgan's law |