GNUmakefile: oops, fix the index generation again.

[mjotex.git] / mjo-cone.tex

diff --git a/mjo-cone.tex b/mjo-cone.tex
index dad432e76b46025182de3c9f808103f54ada6d29..703ecf44d0d63f2a78ddc51e9a2fac9238adc3f6 100644 (file)
--- a/mjo-cone.tex
+++ b/mjo-cone.tex
@@ -4,8 +4,13 @@
 % The operator families Z(K), LL(K), etc. can technically be defined on
 % sets other than cones, but nobody cares.
 %
+\ifx\havemjocone\undefined
+\def\havemjocone{1}
 
-\usepackage{amssymb} % \succcurlyeq and friends
+
+\ifx\succcurlyeq\undefined
+  \usepackage{amssymb} % \succcurlyeq, \preccurlyeq
+\fi
 
 \input{mjo-common}
 
@@ -67,3 +72,6 @@
 \newcommand*{\gtcone}{\succ}
 \newcommand*{\lecone}{\preccurlyeq}
 \newcommand*{\ltcone}{\prec}
+
+
+\fi