From 255aeb5458d6f95aaf9a1f318c07c9337dd54e3e Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 25 May 2022 20:18:49 +0000 Subject: logix (25may22) git-svn-id: svn://tug.org/texlive/trunk@63399 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logix/logix.sty | 154 +++++++++++++++++++++++++--- 1 file changed, 137 insertions(+), 17 deletions(-) (limited to 'Master/texmf-dist/tex/latex/logix') 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} -- cgit v1.2.3