add definition of \nequiv. \not\equiv still does not work for some reason

diff --git a/article.tex b/article.tex
index 72230e331f1aa22869514bcb957aea9525256982..1735ffc75a9c72b194b2d0a7bcb09ef86c633048 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -46,6 +46,7 @@
 
 \renewcommand{\implies}{\Rightarrow}
 \renewcommand{\equiv}{\Leftrightarrow}
+\renewcommand{\nequiv}{\nLeftrightarrow}
 \renewcommand{\land}{\wedge}
 \renewcommand{\lor}{\vee}