From 72c5bcbd461d01b5afe57fe9f58e809202b2bb62 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 6 Mar 2012 14:32:52 +0000
Subject: [PATCH] provide \nge and \nle (which \not uses)

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

diff --git a/article.tex b/article.tex
index b71bb32..20ab361 100644
--- a/article.tex
+++ b/article.tex
@@ -10,6 +10,8 @@
 
 \renewcommand{\ge}{\geqslant}
 \renewcommand{\le}{\leqslant}
+\newcommand{\nge}{\ngeqslant}
+\newcommand{\nle}{\nleqslant}
 
 \newcommand{\has}{\sqsupseteq}
 \newcommand{\isin}{\sqsubseteq}
-- 
2.30.2