From 2de2a8ba6c344269da825553bde45f6d49c91a88 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Wed, 14 Sep 2016 11:32:08 -0400 Subject: [PATCH] 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. --- mjo-cone.tex | 24 ++++-------------------- 1 file changed, 4 insertions(+), 20 deletions(-) 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} -- 2.43.2