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