CTAN sync 202107290300

1 files changed, 50 insertions, 4 deletions

diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index 905db9b17c..e64465bcbe 100644
--- a/fonts/logix/tex/logix.sty
+++ b/fonts/logix/tex/logix.sty
@@ -1,6 +1,6 @@
 % Copyright (c) 2001..2021 by Michael Lee Finney.
 %
-% logix.sty - 2021-07-06 v1.09
+% logix.sty - 2021-07-28 v1.10
 %
 %    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-06 v1.09 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+      [2021-07-28 v1.10 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
    \ProvidesFile{logix.otf}
-      [2021-07-06 v1.09 (Michael Lee Finney) OpenType Unicode font.]
+      [2021-07-28 v1.10 (Michael Lee Finney) OpenType Unicode font.]
    \RequirePackage{iftex}
    \RequirePackage[bold-style=ISO]{unicode-math}
    \RequirePackage{mathtools}
@@ -665,14 +665,20 @@
 
    \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
    \newcommand  \NotModel         {\lgx{E962}\relax}              % Model Denied
+   \newcommand  \TrpTurn          {\lgx{E94E}\relax}              % Triple Turnstile
+   \newcommand  \NotTrpTurn       {\lgx{E96E}\relax}              % Triple Turnstile Denied
+
    \newcommand  \Turn             {\lgx{E944}\relax}              % Turnstile
    \newcommand  \NotTurn          {\lgx{E964}\relax}              % Turnstile Denied
    \newcommand  \Conseq           {\lgx{E946}\relax}              % Consequence Relation
    \newcommand  \NotConseq        {\lgx{E966}\relax}              % Consequence Relation Denied
+   \newcommand  \DTrpTurn         {\lgx{E980}\relax}              % Double Bar Triple Turnstile
+   \newcommand  \NotDTrpTurn      {\lgx{E982}\relax}              % Double Bar Triple Turnstile Denied
 
    \newcommand  \Defn             {\lgx{E60A}\relax}              % Defines
    \newcommand  \Qed              {\lgx{E08F}\relax}              % Q.E.D.
@@ -680,15 +686,47 @@
    \newcommand  \Nd               {\lgx{E6A0}\relax}              % Bitwise AND operator / Logical Conjunction
    \newcommand  \Or               {\lgx{E6A1}\relax}              % Bitwise OR operator  / Logical Disjunction
    \newcommand  \Nt               {\lgx{E0C0}\relax}              % Bitwise NOT operator / Logical Negation
+   \newcommand  \InvNt            {\lgx{E0C1}\relax}              % Inverted Negation
    \newcommand  \Ngt              {\lgx{E64C}\relax}              % Classical Logical Negation
    \newcommand  \Lnand            {\lgx{E9F6}\relax}              % Logical NAND
    \newcommand  \Lnor             {\lgx{E9F7}\relax}              % Logical NOR
-   \newcommand  \Lxor             {\lgx{E293}\relax}              % Logical XOR
    \newcommand  \Shfr             {\lgx{E07F}\relax}              % Sheffer's Stroke (Logical NAND)
    \newcommand  \Nand             {\lgx{E6A2}\relax}              % Bitwise NAND operator
    \newcommand  \Nor              {\lgx{E6A3}\relax}              % Bitwise NOR operator
    \newcommand  \Xor              {\lgx{E6A5}\relax}              % Bitwise XOR operator
 
+   \newcommand  \AAnd             {\lgx{E00E}\relax}              % Additive AND
+   \newcommand  \Mnd              {\lgx{E293}\relax}              % Multiplicitive AND
+   \newcommand  \Aor              {\lgx{E2C3}\relax}              % Additive OR
+   \newcommand  \Mor              {\lgx{E00F}\relax}              % Multiplicitive OR
+   \newcommand  \OfCrse           {\lgx{E01E}\relax}              % Of Course
+   \newcommand  \WhyNot           {\lgx{E01F}\relax}              % Why Not
+   \newcommand  \Perp             {\lgx{E0F7}\relax}              % Perp
+   \newcommand  \SimPerp          {\lgx{E0F8}\relax}              % Sim Perp
+
+   \newcommand  \QuantAAnd        {\lgx{E0F9}\relax}              % Quantified Additive And
+   \newcommand  \QuantMor         {\lgx{E0FA}\relax}              % Quantified Multiplicative Or
+
+   \newcommand  \MulMap           {\lgx{E079}\relax}              % Multimap
+   \newcommand  \NotMulMap        {\lgx{E07A}\relax}              % Not Multimap
+   \newcommand  \MulMapInv        {\lgx{E07B}\relax}              % Inverted Multimap
+   \newcommand  \NotMulMapInv     {\lgx{E07C}\relax}              % Not Inverted Multimap
+   \newcommand  \MulMapDual       {\lgx{E07D}\relax}              % Dual Multimap
+   \newcommand  \NotMulMapDual    {\lgx{E07E}\relax}              % Not Dual Multimap
+
+   \newcommand  \Dnd              {\lgx{E6A6}\relax}              % Dotted AND operator / Logical Conjunction
+   \newcommand  \Dor              {\lgx{E6A7}\relax}              % Dotted OR operator  / Logical Disjunction
+   \newcommand  \Dnt              {\lgx{E0F0}\relax}              % Dotted NOT operator / Logical Negation
+   \newcommand  \DAsterisk        {\lgx{E0E4}\relax}              % Dotted Asterisk
+   \newcommand  \DTimes           {\lgx{E0E5}\relax}              % Dotted Times
+   \newcommand  \DPlus            {\lgx{E0E6}\relax}              % Dotted Plus
+   \newcommand  \DMinus           {\lgx{E0E7}\relax}              % Dotted Minus
+
+   \newcommand  \SCoh             {\lgx{E0F1}\relax}              % Frown
+   \newcommand  \SInCoh           {\lgx{E0F2}\relax}              % Smile
+   \newcommand  \Coh              {\lgx{E0F3}\relax}              % Smile (bottom) and Frowm (top)
+   \newcommand  \InCoh            {\lgx{E0F4}\relax}              % Frown (bottom) and Smile (top)
+
    \newcommand  \SbNd             {\lgx{E680}\relax}              % Slanted Bar And
    \newcommand  \SbOr             {\lgx{E681}\relax}              % Slanted Bar Or
    \newcommand  \SbNand           {\lgx{E682}\relax}              % Slanted Bar Nand
@@ -841,6 +879,8 @@
    \newcommand  \Of               {\lgx{E600}\relax}              % Bunch Inclusion
    \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  \Cover            {\lgx{E94D}\relax}              % Cover
 
    \newcommand  \VoidBunch        {\lgx{E054}\relax}              % Absent / Void Bunch
@@ -943,6 +983,10 @@
 
 % Define custom \not mappings.
 
+   \NewNegationCommand  {\Owns}           {\NotOwned}
+   \NewNegationCommand  {\MulMap}         {\NotMulMap}
+   \NewNegationCommand  {\MulMapInv}      {\NotMulMapInv}
+   \NewNegationCommand  {\MulMapBth}      {\NotMulMapBth}
    \NewNegationCommand  {\ClsImpl}        {\NotClsImpl}
    \NewNegationCommand  {\SWkMtImpl}      {\NotSWkMtImpl}
    \NewNegationCommand  {\SMtImpl}        {\NotSMtImpl}
@@ -1004,6 +1048,8 @@
    \NewNegationCommand  {\Seq}            {\NotSeq}
    \NewNegationCommand  {\Rule}           {\NotRule}
    \NewNegationCommand  {\Model}          {\NotModel}
+   \NewNegationCommand  {\TrpTurn}        {\NotTrpTurn}
+   \NewNegationCommand  {\DTrpTurn}       {\NotDTrpTurn}
    \NewNegationCommand  {\Turn}           {\NotTurn}
    \NewNegationCommand  {\Conseq}         {\NotConseq}
    \NewNegationCommand  {\In}             {\NotIn}