From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 08:57:55 +0000 (+0000)
Subject: add definition of \nequiv.  \not\equiv still does not work for some reason
X-Git-Tag: f0.2~114
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=da5e5d811de4febcfb376a1866af7defd0177dcb;p=topbloke-formulae.git

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

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}