mjo-cone.tex

   1 %
   2 % Cone stuff.
   3 %
   4 % The operator families Z(K), LL(K), etc. can technically be defined on
   5 % sets other than cones, but nobody cares.
   6 %
   7
   8 \input{mjo-common}
   9
  10 % The set of all S-operators on its argument.
  11 \newcommand*{\Sof}[1]{ \mathbf{S} \of{ {#1} } }
  12
  13 % The cone of all Z-operators on its argument.
  14 \newcommand*{\Zof}[1]{ \mathbf{Z} \of{ {#1} } }
  15
  16 % The space of Lyapunov-like operators on its argument.
  17 \newcommand*{\LL}[1]{ \mathbf{LL}\of{ {#1} } }
  18
  19 % Cone inequality operators.
  20 \newcommand*{\gek}{ \succcurlyeq }
  21 \newcommand*{\gtk}{ \succ }
  22 \newcommand*{\lek}{ \preccurlyeq }
  23 \newcommand*{\ltk}{ \prec }
  24
  25 % Starred versions of the cone inequality operators.
  26 \newcommand*{\ineqkstar}[1]{ \mathrel{ \overset{ _{\ast} }{ #1 } } }
  27 \newcommand*{\gekstar}{ \ineqkstar{\gek} }
  28 \newcommand*{\gtkstar}{ \ineqkstar{\gtk} }
  29 \newcommand*{\lekstar}{ \ineqkstar{\lek} }
  30 \newcommand*{\ltkstar}{ \ineqkstar{\ltk} }
  31
  32 % And negated versions of some of those...
  33 \newcommand*{\ngeqkstar}{ \ineqkstar{\nsucceq} }
  34 \newcommand*{\ngtrkstar}{ \ineqkstar{\nsucc} }