summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/logix
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-05-25 20:18:49 +0000
committerKarl Berry <karl@freefriends.org>2022-05-25 20:18:49 +0000
commit255aeb5458d6f95aaf9a1f318c07c9337dd54e3e (patch)
tree1ae4c813bdef27aa0735bfa426504d01c4780959 /Master/texmf-dist/tex/latex/logix
parent9c144d59306a8fa7f1d5451b7c6f44ed7a8bd8f7 (diff)
logix (25may22)
git-svn-id: svn://tug.org/texlive/trunk@63399 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/logix')
-rw-r--r--Master/texmf-dist/tex/latex/logix/logix.sty154
1 files changed, 137 insertions, 17 deletions
diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index e64465bcbea..1e90582e8c9 100644
--- a/Master/texmf-dist/tex/latex/logix/logix.sty
+++ b/Master/texmf-dist/tex/latex/logix/logix.sty
@@ -1,6 +1,6 @@
-% Copyright (c) 2001..2021 by Michael Lee Finney.
+% Copyright (c) 2001..2022 by Michael Lee Finney.
%
-% logix.sty - 2021-07-28 v1.10
+% logix.sty - 2022-05-25 v1.12
%
% This work may be distributed and/or modified under the conditions of the
% LaTeX Project Public License, either version 1.3 of this license or (at your
@@ -28,9 +28,9 @@
\NeedsTeXFormat{LaTeX2e}[2020/02/02]
\ProvidesPackage{logix}
- [2021-07-28 v1.10 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+ [2022-05-25 v1.12 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
\ProvidesFile{logix.otf}
- [2021-07-28 v1.10 (Michael Lee Finney) OpenType Unicode font.]
+ [2022-05-25 v1.12 (Michael Lee Finney) OpenType Unicode font.]
\RequirePackage{iftex}
\RequirePackage[bold-style=ISO]{unicode-math}
\RequirePackage{mathtools}
@@ -529,11 +529,13 @@
\newcommand \MapTo {\lgx{E9D7}\relax} % Maps To
\newcommand \LMapTo {\lgx{E9D8}\relax} % Long Maps To
\newcommand \XMapTo {\lgx{E9D9}\relax} % Extra Long Maps To
+ \newcommand \VMapTo {\lgx{E9B8}\relax} % Very Long Maps To
\newcommand \SFunc {\lgx{E9DC}\relax} % Short Function
\newcommand \Func {\lgx{E9DD}\relax} % Function
\newcommand \LFunc {\lgx{E9DE}\relax} % Long Function
\newcommand \XFunc {\lgx{E9DF}\relax} % Extra Long Function
+ \newcommand \VFunc {\lgx{E9B9}\relax} % Very Long Function
\newcommand \MapComp {\lgx{E23C}\relax} % Map Composition
\newcommand \FncComp {\lgx{E239}\relax} % Function Composition
@@ -560,6 +562,10 @@
\newcommand \NotXWkMtImpl {\lgx{E81D}\relax} % Extra Long Not Weak Material Implication
\newcommand \XWkMtEquv {\lgx{E81E}\relax} % Extra Long Weak Material Equivalence
\newcommand \NotXWkMtEquv {\lgx{E81F}\relax} % Extra Long Not Weak Material Equivalence
+ \newcommand \VWkMtImpl {\lgx{E8B8}\relax} % Very Long Weak Material Implication
+ \newcommand \NotVWkMtImpl {\lgx{E8B9}\relax} % Very Long Not Weak Material Implication
+ \newcommand \VWkMtEquv {\lgx{E8BA}\relax} % Very Long Weak Material Equivalence
+ \newcommand \NotVWkMtEquv {\lgx{E8BB}\relax} % Very Long Not Weak Material Equivalence
\newcommand \SMtImpl {\lgx{E820}\relax} % Short Material Implication
\newcommand \NotSMtImpl {\lgx{E821}\relax} % Short Not Material Implication
@@ -577,6 +583,10 @@
\newcommand \NotXMtImpl {\lgx{E82D}\relax} % Extra Long Not Material Implication
\newcommand \XMtEquv {\lgx{E82E}\relax} % Extra Long Material Equivalence
\newcommand \NotXMtEquv {\lgx{E82F}\relax} % Extra Long Not Material Equivalence
+ \newcommand \VMtImpl {\lgx{E8BC}\relax} % Very Long Material Implication
+ \newcommand \NotVMtImpl {\lgx{E8BD}\relax} % Very Long Not Material Implication
+ \newcommand \VMtEquv {\lgx{E8BE}\relax} % Very Long Material Equivalence
+ \newcommand \NotVMtEquv {\lgx{E8BF}\relax} % Very Long Not Material Equivalence
\newcommand \SInImpl {\lgx{E830}\relax} % Short Intuitionistic Implication
\newcommand \NotSInImpl {\lgx{E831}\relax} % Short Not Intuitionistic Implication
@@ -594,6 +604,10 @@
\newcommand \NotXInImpl {\lgx{E83D}\relax} % Extra Long Not Intuitionistic Implication
\newcommand \XInEquv {\lgx{E83E}\relax} % Extra Long Intuitionistic Equivalence
\newcommand \NotXInEquv {\lgx{E83F}\relax} % Extra Long Not Intuitionistic Equivalence
+ \newcommand \VInImpl {\lgx{E8C8}\relax} % Very Long Intuitionistic Implication
+ \newcommand \NotVInImpl {\lgx{E8C9}\relax} % Very Long Not Intuitionistic Implication
+ \newcommand \VInEquv {\lgx{E8CA}\relax} % Very Long Intuitionistic Equivalence
+ \newcommand \NotVInEquv {\lgx{E8CB}\relax} % Very Long Not Intuitionistic Equivalence
\newcommand \SWkImpl {\lgx{E840}\relax} % Short Weak Implication
\newcommand \NotSWkImpl {\lgx{E841}\relax} % Short Not Weak Implication
@@ -611,6 +625,10 @@
\newcommand \NotXWkImpl {\lgx{E84D}\relax} % Extra Long Not Weak Implication
\newcommand \XWkEquv {\lgx{E84E}\relax} % Extra Long Weak Implication Equivalence
\newcommand \NotXWkEquv {\lgx{E84F}\relax} % Extra Long Not Weak Implication Equivalence
+ \newcommand \VWkImpl {\lgx{E8CC}\relax} % Very Long Weak Implication
+ \newcommand \NotVWkImpl {\lgx{E8CD}\relax} % Very Long Not Weak Implication
+ \newcommand \VWkEquv {\lgx{E8CE}\relax} % Very Long Weak Implication Equivalence
+ \newcommand \NotVWkEquv {\lgx{E8CF}\relax} % Very Long Not Weak Implication Equivalence
\newcommand \SImpl {\lgx{E850}\relax} % Short Implication
\newcommand \NotSImpl {\lgx{E851}\relax} % Short Not Implication
@@ -628,6 +646,10 @@
\newcommand \NotXImpl {\lgx{E85D}\relax} % Extra Long Not Implication
\newcommand \XEquv {\lgx{E85E}\relax} % Extra Long Implication Equivalence
\newcommand \NotXEquv {\lgx{E85F}\relax} % Extra Long Not Implication Equivalence
+ \newcommand \VImpl {\lgx{E8D8}\relax} % Very Long Implication
+ \newcommand \NotVImpl {\lgx{E8D9}\relax} % Very Long Not Implication
+ \newcommand \VEquv {\lgx{E8DA}\relax} % Very Long Implication Equivalence
+ \newcommand \NotVEquv {\lgx{E8DB}\relax} % Very Long Not Implication Equivalence
\newcommand \SWkEntail {\lgx{E860}\relax} % Short Weak Entailment
\newcommand \NotSWkEntail {\lgx{E861}\relax} % Short Not Weak Entailment
@@ -645,6 +667,10 @@
\newcommand \NotXWkEntail {\lgx{E86D}\relax} % Extra Long Not Weak Entailment
\newcommand \XWkEntailEquv {\lgx{E86E}\relax} % Extra Long Weak Entailment Equivalence
\newcommand \NotXWkEntailEquv {\lgx{E86F}\relax} % Extra Long Not Weak Entailment Equivalence
+ \newcommand \VWkEntail {\lgx{E8DC}\relax} % Very Long Weak Entailment
+ \newcommand \NotVWkEntail {\lgx{E8DD}\relax} % Very Long Not Weak Entailment
+ \newcommand \VWkEntailEquv {\lgx{E8DE}\relax} % Very Long Weak Entailment Equivalence
+ \newcommand \NotVWkEntailEquv {\lgx{E8DF}\relax} % Very Long Not Weak Entailment Equivalence
\newcommand \SEntail {\lgx{E870}\relax} % Short Entailment
\newcommand \NotSEntail {\lgx{E871}\relax} % Short Not Entailment
@@ -662,10 +688,13 @@
\newcommand \NotXEntail {\lgx{E87D}\relax} % Extra Long Not Entailment
\newcommand \XEntailEquv {\lgx{E87E}\relax} % Extra Long Entailment Equivalence
\newcommand \NotXEntailEquv {\lgx{E87F}\relax} % Extra Long Not Entailment Equivalence
+ \newcommand \VEntail {\lgx{E8E0}\relax} % Very Long Entailment
+ \newcommand \NotVEntail {\lgx{E8E1}\relax} % Very Long Not Entailment
+ \newcommand \VEntailEquv {\lgx{E8E2}\relax} % Very Long Entailment Equivalence
+ \newcommand \NotVEntailEquv {\lgx{E8E3}\relax} % Very Long Not Entailment Equivalence
\newcommand \Seq {\lgx{E94C}\relax} % Sequent
\newcommand \NotSeq {\lgx{E96C}\relax} % Sequent Denied
-
\newcommand \Rule {\lgx{E940}\relax} % Assertion (Rule)
\newcommand \NotRule {\lgx{E960}\relax} % Assertion (Rule) Denied
\newcommand \Model {\lgx{E942}\relax} % Model
@@ -680,6 +709,45 @@
\newcommand \DTrpTurn {\lgx{E980}\relax} % Double Bar Triple Turnstile
\newcommand \NotDTrpTurn {\lgx{E982}\relax} % Double Bar Triple Turnstile Denied
+ \newcommand \TurnWavy {\lgx{E908}\relax} % Wavy Turnstile
+ \newcommand \NotTurnWavy {\lgx{E928}\relax} % Wavy Turnstile Denied
+ \newcommand \TurnDWavy {\lgx{E90A}\relax} % Double Wavy Turnstile
+ \newcommand \NotTurnDWavy {\lgx{E92A}\relax} % Double Wavy Turnstile Denied
+ \newcommand \DTurnWavy {\lgx{E90C}\relax} % Wavy Double Bar Turnstile
+ \newcommand \NotDTurnWavy {\lgx{E92C}\relax} % Wavy Double Bar Turnstile Denied
+ \newcommand \DTurnDWavy {\lgx{E90E}\relax} % Double Wavy Double Bar Turnstile
+ \newcommand \NotDTurnDWavy {\lgx{E92E}\relax} % Double Wavy Double Bar Turnstile Denied
+
+ \newcommand \DashArrowRight {\lgx{EA16}\relax} % Right Dash Arrow
+ \newcommand \DashArrowLeft {\lgx{EA17}\relax} % Left Dash Arrow
+
+ \newcommand \HookArrowRight {\lgx{EA1C}\relax} % Right Hook Arrow
+ \newcommand \HookArrowLeft {\lgx{EA1D}\relax} % Left Hook Arrow
+
+ \newcommand \HarpoonUpRight {\lgx{E98C}\relax} % Right Harpoon Up Arrow
+ \newcommand \HarpoonUpLeft {\lgx{E98D}\relax} % Left Harpoon Up Arrow
+
+ \newcommand \HarpoonDnRight {\lgx{E98E}\relax} % Right Harpoon Down Arrow
+ \newcommand \HarpoonDnLeft {\lgx{E98F}\relax} % Left Harpoon Down Arrow
+
+ \newcommand \FlatArrowRight {\lgx{EBB8}\relax} % Right Flat Arrow
+ \newcommand \FlatArrowLeft {\lgx{EBBA}\relax} % Left Flat Arrow
+
+ \newcommand \ForkArrowRight {\lgx{E9F2}\relax} % Right Fork Arrow
+ \newcommand \ForkArrowLeft {\lgx{E9F3}\relax} % Left Fork Arrow
+
+ \newcommand \LoopArrowRight {\lgx{EA2E}\relax} % Right Loop Arrow
+ \newcommand \LoopArrowLeft {\lgx{EA2F}\relax} % Left Loop Arrow
+
+ \newcommand \ZigArrowRight {\lgx{E99C}\relax} % Right Zig Zag Arrow
+ \newcommand \ZigArrowLeft {\lgx{E99D}\relax} % Left Zig Zag Arrow
+
+ \newcommand \WavyArrowRight {\lgx{E99E}\relax} % Right Wavy Arrow
+ \newcommand \WavyArrowLeft {\lgx{E99F}\relax} % Left Wavy Arrow
+
+ \newcommand \FishArrowRight {\lgx{EA1E}\relax} % Right Fish Arrow
+ \newcommand \FishArrowLeft {\lgx{EA1F}\relax} % Left Fish Arrow
+
\newcommand \Defn {\lgx{E60A}\relax} % Defines
\newcommand \Qed {\lgx{E08F}\relax} % Q.E.D.
@@ -823,6 +891,7 @@
\newcommand \LstFix {\lgx{E031}\relax} % Least Fixed Point
\newcommand \GrtFix {\lgx{E032}\relax} % Greatest Fixed Point
\newcommand \Choice {\lgx{E033}\relax} % Choice
+ \newcommand \Choices {\lgx{E057}\relax} % Choices
\newcommand \ExLstFix {\lgx{E034}\relax} % Extended Least Fixed Point
\newcommand \ExGrtFix {\lgx{E035}\relax} % Extended Greatest Fixed Point
\newcommand \FrstOrd {\lgx{E039}\relax} % First Ordinal (omega)
@@ -880,7 +949,7 @@
\newcommand \In {\lgx{E602}\relax} % Set Membership
\newcommand \NotIn {\lgx{E603}\relax} % Set Membership Negated
\newcommand \Owns {\lgx{E606}\relax} % Set Owns Element
- \newcommand \NotOwned {\lgx{E605}\relax} % Set Owns Element Negated
+ \newcommand \NotOwns {\lgx{E605}\relax} % Set Owns Element Negated
\newcommand \Cover {\lgx{E94D}\relax} % Cover
\newcommand \VoidBunch {\lgx{E054}\relax} % Absent / Void Bunch
@@ -920,6 +989,11 @@
\newcommand \Sbset {\lgx{E79A}\relax} % Subset
\newcommand \NotSbset {\lgx{E79B}\relax} % Subset Negated
+ \newcommand \StrctFntSbset {\lgx{E678}\relax} % Strict Finite Subset
+ \newcommand \NotStrctFntSbset {\lgx{E679}\relax} % Strict Finite Subset Negated
+ \newcommand \FntSbset {\lgx{E67A}\relax} % Finite Subset
+ \newcommand \NotFntSbset {\lgx{E67B}\relax} % Finite Subset Negated
+
\newcommand \QuantBnchMeet {\lgx{E895}\relax} % Bunch Meet Quantifier
\newcommand \QuantBnchJoin {\lgx{E894}\relax} % Bunch Join Quantifier
\newcommand \QuantSetMeet {\lgx{E893}\relax} % Set Intersection Quantifier
@@ -944,10 +1018,10 @@
\newcommand \SbGr {\lgx{E68E}\relax} % Slanted Bar Greater Than
\newcommand \SbGre {\lgx{E68C}\relax} % Slanted Bar Greater Than or Equal
- \newcommand \SbNotLs {\lgx{E689}\relax} % Slanted Bar Not Less Than
- \newcommand \SbNotLse {\lgx{E68B}\relax} % Slanted Bar Not Less Than or Equal
- \newcommand \SbNotGr {\lgx{E68F}\relax} % Slanted Bar Not Greater Than
- \newcommand \SbNotGre {\lgx{E68D}\relax} % Slanted Bar Not Greater Than or Equal
+ \newcommand \NotSbLs {\lgx{E689}\relax} % Slanted Bar Not Less Than
+ \newcommand \NotSbLse {\lgx{E68B}\relax} % Slanted Bar Not Less Than or Equal
+ \newcommand \NotSbGr {\lgx{E68F}\relax} % Slanted Bar Not Greater Than
+ \newcommand \NotSbGre {\lgx{E68D}\relax} % Slanted Bar Not Greater Than or Equal
\newcommand \Pre {\lgx{E6C8}\relax} % Precedes
\newcommand \Preq {\lgx{E6CA}\relax} % Precedes or Equal
@@ -983,11 +1057,9 @@
% Define custom \not mappings.
- \NewNegationCommand {\Owns} {\NotOwned}
- \NewNegationCommand {\MulMap} {\NotMulMap}
- \NewNegationCommand {\MulMapInv} {\NotMulMapInv}
- \NewNegationCommand {\MulMapBth} {\NotMulMapBth}
\NewNegationCommand {\ClsImpl} {\NotClsImpl}
+ \NewNegationCommand {\CksEquv} {\NotClsEquv}
+
\NewNegationCommand {\SWkMtImpl} {\NotSWkMtImpl}
\NewNegationCommand {\SMtImpl} {\NotSMtImpl}
\NewNegationCommand {\SInImpl} {\NotSInImpl}
@@ -995,6 +1067,7 @@
\NewNegationCommand {\SImpl} {\NotSImpl}
\NewNegationCommand {\SWkEntail} {\NotSWkEntail}
\NewNegationCommand {\SEntail} {\NotSEntail}
+
\NewNegationCommand {\WkMtImpl} {\NotWkMtImpl}
\NewNegationCommand {\MtImpl} {\NotMtImpl}
\NewNegationCommand {\InImpl} {\NotInImpl}
@@ -1002,6 +1075,7 @@
\NewNegationCommand {\Impl} {\NotImpl}
\NewNegationCommand {\WkEntail} {\NotWkEntail}
\NewNegationCommand {\Entail} {\NotEntail}
+
\NewNegationCommand {\LWkMtImpl} {\NotLWkMtImpl}
\NewNegationCommand {\LMtImpl} {\NotLMtImpl}
\NewNegationCommand {\LInImpl} {\NotLInImpl}
@@ -1009,6 +1083,7 @@
\NewNegationCommand {\LImpl} {\NotLImpl}
\NewNegationCommand {\LWkEntail} {\NotLWkEntail}
\NewNegationCommand {\LEntail} {\NotLEntail}
+
\NewNegationCommand {\XWkMtImpl} {\NotXWkMtImpl}
\NewNegationCommand {\XMtImpl} {\NotXMtImpl}
\NewNegationCommand {\XInImpl} {\NotXInImpl}
@@ -1016,7 +1091,15 @@
\NewNegationCommand {\XImpl} {\NotXImpl}
\NewNegationCommand {\XWkEntail} {\NotXWkEntail}
\NewNegationCommand {\XEntail} {\NotXEntail}
- \NewNegationCommand {\CksEquv} {\NotClsEquv}
+
+ \NewNegationCommand {\VWkMtImpl} {\NotVWkMtImpl}
+ \NewNegationCommand {\VMtImpl} {\NotVMtImpl}
+ \NewNegationCommand {\VInImpl} {\NotVInImpl}
+ \NewNegationCommand {\VWkImpl} {\NotVWkImpl}
+ \NewNegationCommand {\VImpl} {\NotVImpl}
+ \NewNegationCommand {\VWkEntail} {\NotVWkEntail}
+ \NewNegationCommand {\VEntail} {\NotVEntail}
+
\NewNegationCommand {\SWkMtEquv} {\NotSWkMtEquv}
\NewNegationCommand {\SMtEquv} {\NotSMtEquv}
\NewNegationCommand {\SInEquv} {\NotSInEquv}
@@ -1024,6 +1107,7 @@
\NewNegationCommand {\SEquv} {\NotSEquv}
\NewNegationCommand {\SWkEntailEquv} {\NotSWkEntailEquv}
\NewNegationCommand {\SEntailEquv} {\NotSEntailEquv}
+
\NewNegationCommand {\WkMtEquv} {\NotWkMtEquv}
\NewNegationCommand {\MtEquv} {\NotMtEquv}
\NewNegationCommand {\InEquv} {\NotInEquv}
@@ -1031,6 +1115,7 @@
\NewNegationCommand {\Equv} {\NotEquv}
\NewNegationCommand {\WkEntailEquv} {\NotWkEntailEquv}
\NewNegationCommand {\EntailEquv} {\NotEntailEquv}
+
\NewNegationCommand {\LWkMtEquv} {\NotLWkMtEquv}
\NewNegationCommand {\LMtEquv} {\NotLMtEquv}
\NewNegationCommand {\LInEquv} {\NotLInEquv}
@@ -1038,6 +1123,7 @@
\NewNegationCommand {\LEquv} {\NotLEquv}
\NewNegationCommand {\LWkEntailEquv} {\NotLWkEntailEquv}
\NewNegationCommand {\LEntailEquv} {\NotLEntailEquv}
+
\NewNegationCommand {\XWkMtEquv} {\NotXWkMtEquv}
\NewNegationCommand {\XMtEquv} {\NotXMtEquv}
\NewNegationCommand {\XInEquv} {\NotXInEquv}
@@ -1045,28 +1131,62 @@
\NewNegationCommand {\XEquv} {\NotXEquv}
\NewNegationCommand {\XWkEntailEquv} {\NotXWkEntailEquv}
\NewNegationCommand {\XEntailEquv} {\NotXEntailEquv}
+
+ \NewNegationCommand {\VWkMtEquv} {\NotVWkMtEquv}
+ \NewNegationCommand {\VMtEquv} {\NotVMtEquv}
+ \NewNegationCommand {\VInEquv} {\NotVInEquv}
+ \NewNegationCommand {\VWkEquv} {\NotVWkEquv}
+ \NewNegationCommand {\VEquv} {\NotVEquv}
+ \NewNegationCommand {\VWkEntailEquv} {\NotVWkEntailEquv}
+ \NewNegationCommand {\VEntailEquv} {\NotVEntailEquv}
+
\NewNegationCommand {\Seq} {\NotSeq}
\NewNegationCommand {\Rule} {\NotRule}
- \NewNegationCommand {\Model} {\NotModel}
\NewNegationCommand {\TrpTurn} {\NotTrpTurn}
- \NewNegationCommand {\DTrpTurn} {\NotDTrpTurn}
+ \NewNegationCommand {\Model} {\NotModel}
\NewNegationCommand {\Turn} {\NotTurn}
\NewNegationCommand {\Conseq} {\NotConseq}
+ \NewNegationCommand {\DTrpTurn} {\NotDTrpTurn}
+
+ \NewNegationCommand {\TurnWavy} {\NotTurnWavy}
+ \NewNegationCommand {\TurnDWavy} {\NotTurnDWavy}
+ \NewNegationCommand {\DTurnWavy} {\NotDTurnWavy}
+ \NewNegationCommand {\DTurnDWavy} {\NotDTurnDWavy}
+
\NewNegationCommand {\In} {\NotIn}
+ \NewNegationCommand {\Owns} {\NotOwns}
+
\NewNegationCommand {\StrctSbnch} {\NotStrctSbnch}
\NewNegationCommand {\Sbnch} {\NotSbnch}
+
\NewNegationCommand {\StrctWkSbnch} {\NotStrctWkSbnch}
\NewNegationCommand {\WkSbnch} {\NotWkSbnch}
+
\NewNegationCommand {\StrctSbmap} {\NotStrctSbmap}
\NewNegationCommand {\Sbmap} {\NotSbmap}
+
\NewNegationCommand {\StrctSbset} {\NotStrctSbset}
\NewNegationCommand {\Sbset} {\NotSbset}
+
+ \NewNegationCommand {\StrctFntSbset} {\NotStrctFntSbset}
+ \NewNegationCommand {\FntSbset} {\NotFntSbset}
+
+ \NewNegationCommand {\MulMap} {\NotMulMap}
+ \NewNegationCommand {\MulMapInv} {\NotMulMapInv}
+ \NewNegationCommand {\MulMapDual} {\NotMulMapDual}
+
\NewNegationCommand {\Ls} {\NotLs}
\NewNegationCommand {\Lse} {\NotLse}
\NewNegationCommand {\Eq} {\NotEq}
\NewNegationCommand {\Sm} {\NotSm}
\NewNegationCommand {\Gr} {\NotGr}
\NewNegationCommand {\Gre} {\NotGre}
+
+ \NewNegationCommand {\SbLs} {\NotSbLs}
+ \NewNegationCommand {\SbLse} {\NotSbLse}
+ \NewNegationCommand {\SbGr} {\NotSbGr}
+ \NewNegationCommand {\SbGre} {\NotSbGre}
+
\NewNegationCommand {\Pre} {\NotPre}
\NewNegationCommand {\Preq} {\NotPreq}
\NewNegationCommand {\Suc} {\NotSuc}