Drop the weird cone inequality operators and rename the standard ones.

Most of the cone inequality operators I had (for example, \lekstar)
were nonstandard, and it doesn't make sense to have then in
mjotex. The few standard "curly inequality" operators now have better
names like \gecone rather than \gek which required you to think of
"k" as a cone.

diff --git a/mjo-cone.tex b/mjo-cone.tex
index 6c681e9ebee4a7d0a9b7fef673ac3bf45cd1f1d5..b770d753ec3ad8855a0ab91081550ee106737056 100644 (file)
--- a/mjo-cone.tex
+++ b/mjo-cone.tex
@@ -62,24 +62,8 @@
 % The Lyapunov rank of the given cone.
 \newcommand*{\lyapunovrank}[1]{ \beta\of{ {#1} } }
 
-%
 % Cone inequality operators.
-%
-
-% Standard cone inequalities.
-\newcommand*{\gek}{\succcurlyeq}
-\newcommand*{\gtk}{\succ}
-\newcommand*{\lek}{\preccurlyeq}
-\newcommand*{\ltk}{\prec}
-
-
-% Starred versions of the cone inequality operators.
-\newcommand*{\ineqkstar}[1]{ \mathrel{ \overset{ _{\ast} }{ #1 } } }
-\newcommand*{\gekstar}{ \ineqkstar{\gek} }
-\newcommand*{\gtkstar}{ \ineqkstar{\gtk} }
-\newcommand*{\lekstar}{ \ineqkstar{\lek} }
-\newcommand*{\ltkstar}{ \ineqkstar{\ltk} }
-
-% And negated versions of some of those...
-\newcommand*{\ngeqkstar}{ \ineqkstar{\nsucceq} }
-\newcommand*{\ngtrkstar}{ \ineqkstar{\nsucc} }
+\newcommand*{\gecone}{\succcurlyeq}
+\newcommand*{\gtcone}{\succ}
+\newcommand*{\lecone}{\preccurlyeq}
+\newcommand*{\ltcone}{\prec}