From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 14 Sep 2016 15:32:08 +0000 (-0400)
Subject: Drop the weird cone inequality operators and rename the standard ones.
X-Git-Tag: posZ-submitted-laa~14
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=commitdiff_plain;h=2de2a8ba6c344269da825553bde45f6d49c91a88;hp=9585e6612442124b177dd8f46037e30f353369eb

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 6c681e9..b770d75 100644
--- 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}