From da5e5d811de4febcfb376a1866af7defd0177dcb Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 08:57:55 +0000
Subject: [PATCH] add definition of \nequiv.  \not\equiv still does not work
 for some reason

---
 article.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/article.tex b/article.tex
index 72230e3..1735ffc 100644
--- 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}
 
-- 
2.30.2