% 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
-\input{mjo-common}
+\ifx\succcurlyeq\undefined
+ \usepackage{amssymb} % \succcurlyeq, \preccurlyeq
+\fi
+
+\input{mjo-common} % for \of, at least
% The dual of a subset of an inner-product space; always a closed
% convex cone.
\newcommand*{\Lnplus}[1][n]{ \mathcal{L}^{{#1}}_{+} }
% The PSD cone in a space of symmetric matrices.
-\newcommand*{\Snplus}[1][n]{ \mathcal{S}^{{#1}}_{+} }
+\newcommand*{\Snplus}[1][n]{ \Sn[#1]_{+} }
% The PSD cone in a space of Hermitian matrices.
-\newcommand*{\Hnplus}[1][n]{ \mathcal{H}^{{#1}}_{+} }
+\newcommand*{\Hnplus}[1][n]{ \Hn[#1]_{+} }
%
\newcommand*{\gtcone}{\succ}
\newcommand*{\lecone}{\preccurlyeq}
\newcommand*{\ltcone}{\prec}
+
+
+\fi