X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-cone.tex;h=703ecf44d0d63f2a78ddc51e9a2fac9238adc3f6;hp=dad432e76b46025182de3c9f808103f54ada6d29;hb=93c8209c75f02b41fe26c7d58dd7b8f8814051f0;hpb=21149d05f0bf33baecfe002704f8dd3d939951e7 diff --git a/mjo-cone.tex b/mjo-cone.tex index dad432e..703ecf4 100644 --- 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