Equivalence has the symbol ≡. It simply says that both sides are always the same. For example: ¬(P∧Q)≡¬P∨¬Q