CTAN sync 202107290300

16 files changed, 153 insertions, 31 deletions

diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index aa703db329..44980515a0 100644
--- a/fonts/logix/CHANGELOG
+++ b/fonts/logix/CHANGELOG
@@ -1,4 +1,30 @@
-2021-07-06 v.09
+2021-07-28 v1.10
+
+   1. Added \Dnd, \Dor, \Dnt, \DAsterisk, \DTimes, \DPlus, \DMinus -- dotted
+      conjunction, disjunction, and negation, asterisk, times, plus and minus
+      operators.
+
+   2. Renamed \Lxor to \Mnd (for use with linear logic).
+
+   3. Added linear logic operators: \AAnd, \Aor, \Mnd, \Mor, \OfCrse, \WhyNot,
+      \MulMap, \NotMulMap, \MulMapInv, \NotMulMapInv, \MulMapDual, \NotMulMapDual,
+      \Coh, \InCoh, \SCoh, \SInCoh, \Perp, \SimPerp, \QuantAAnd and \QuantMor.
+      
+      Several of these have multiple uses in linear logic, in particular \Mor,
+      \QuantMor, \Perp and \SimPerp.
+      
+      Possibly the names and descriptions of these could be improved. Suggestions,
+      as always, are welcome. The names assigned here differ from those assigned
+      in the cmll package by Emmanuel Beffara (Linear Logic symbols for Computer
+      Modern). Their design is consistent with STIX2 rather than Computer Modern.
+
+   4. Added \InvNt
+
+   5. Triple turnstiles added: \TrpTurn, \NotTrpTurn, \DTrpTurn, \NotDTrpTurn.
+
+   6. Added \Owns and \NotOwned.
+
+2021-07-06 v1.09
 
    1. Corrected \Tild to point to non-monospace version of character.
 
@@ -66,7 +92,7 @@
       The modifications were make to make the glyphs more consistent with the STIX2 Math
       font. Thus the Logix font can be directly used as a monospace font.
 
-   4. Some older applications may not display correctly when using the Logix. Therefore,
+   4. Some older applications may not display correctly when using the Logix font. So
       the monospace glpyhs are also entirely contained in a new Logix Mono font which
       does not contain any other symbols, making it a smaller, lightweight font.
 
diff --git a/fonts/logix/README b/fonts/logix/README
index 00a500924d..ea7506c27d 100644
--- a/fonts/logix/README
+++ b/fonts/logix/README
@@ -1,6 +1,6 @@
 The logix package.
 
-This is the README for the logix package, version 2021-07-06 v1.09.
+This is the README for the logix package, version 2021-07-28 v1.10.
 
 This package provides supplemental symbols for use in logic and mathematics
 which are largely not present in Unicode. Some symbols are in Unicode but
@@ -36,11 +36,12 @@ Some of these scripts overlap the Unicode math scripts, but are not intended
 to be replacements for those. Unicode does not include everything for a specific
 script -- digits or lower case letters may be missing, or even individual letters 
 (although that may have changed). That is an issue when using a script for 
-variable naming.  Some script variants are omitted. Many of those variants are 
-useful in logic. The scripts included are sans serif, slab serif, normal serif 
-(each of these has upright, italic, bold and bold italic versions) as well as 
-a calligraphic font (italic and bold), blackboard, fraktur (upright and bold),
-monospace, monospace italic with normal serif, and Greek (upright and italic).
+variable naming. Some script variants are omitted in Unicode. Many of those
+variants are useful in logic. The scripts included are sans serif, slab serif,
+normal serif (each of these has upright, italic, bold and bold italic versions)
+as well as a calligraphic font (italic and bold), blackboard, fraktur (upright
+and bold), monospace, monospace italic with normal serif, and Greek (upright
+and italic).
 
 Licenses:
 
diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index 38184ad7ae..865e7f4bc5 100644
--- a/fonts/logix/doc/logix.pdf
+++ b/fonts/logix/doc/logix.pdf
diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex
index c4a60c4098..beed204588 100644
--- a/fonts/logix/doc/logix.tex
+++ b/fonts/logix/doc/logix.tex
@@ -91,7 +91,7 @@
 
    \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in}
 
-   \section{Introduction: logix 2021-07-06 v1.09}
+   \section{Introduction: logix 2021-07-28 v1.10}
 
    The logix package provides the logix Unicode font and must be used either with
    \LuaLaTeX\ or \XeLaTeX. There are no available options. The Logix font contains
@@ -104,8 +104,10 @@
    packages. The unicode-math package is passed the \enquote{bold-style=ISO} parameter
    and includes the fontspec package. The arydsln package conflicts with several packages.
    Known conflicts are the array, longtable, colortab and colortbl packages, all of which
-   must be loaded before the logix package when they are used. Typical use of the logix
-   package in a \LaTeX\ source file is:
+   must be loaded before the logix package when they are used. The \AmS{} STIX2 fonts may
+   be included prior to the logix package, provided that the unicode-math package is
+   loaded first. This package does not require the use of other Unicode fonts. Typical
+   use of the logix package in a \LaTeX\ source file is:
 
 \begin{addmargin}[0.25in]{0.em}
 \begin{FontSize}{9}{11}
@@ -119,18 +121,15 @@
 \end{FontSize}
 \end{addmargin}
 
-   \noindent The \AmS{} STIX2 fonts may be included prior to the logix package,
-   provided that the unicode-math package is loaded first. This package does not
-   require the use of other Unicode fonts.
-
-   The metrics for the Logix font are identical to the STIX2 mathematical font and,
-   overall, the symbols in the Logix font are designed to be compatible with the
-   STIX2 mathematical font. It may, of course, be used with any other mathematical font.
-   There are more than 3,000 symbols exported from the font (of which around 1,000 are
-   for \enquote{stretchy} delimiters). The font itself contains over 4,000 symbols,
-   but those which are not exported are usually variants (e.g. thinner or thicker) or
-   unused experimental symbols. The Logix font may also be used for monospace
-   listings limited to the Latin-1 codepage (with a smattering of additional symbols).
+   The metrics for the Logix font are identical to the STIX2 mathematical font and
+   the symbols in the Logix font are designed to be compatible with the STIX2
+   mathematical font, but may be used with any other mathematical font. More than
+   3,000 symbols are exported from the font (of which around 1,000 are for
+   \enquote{stretchy} delimiters), but the font contains over 4,000 symbols. Those
+   not exported are usually variants or are experimental symbols. For example, when
+   the triple turnstiles were added, 32 new symbols were added to the font, but
+   only 4 were exported. The Logix font may also be used for monospace listings
+   limited to the Latin-1 codepage (with a smattering of additional symbols).
 
    Should you wish to use a non-exported symbol, please contact the author with a quick
    explanation of your use (so a reasonable name can be assigned) and, as the author's time
@@ -1357,27 +1356,32 @@
    \begin{symbolListA}
       Sequent                                                            & {\textbackslash}Seq                                             & \scalebox{1.50}{\Seq}                                            \\ \hline
       Assertion (Rule)                                                   & {\textbackslash}Rule                                            & \scalebox{1.50}{\Rule}                                           \\ \hline
+      Triple Turnstile                                                   & {\textbackslash}TrpTurn                                         & \scalebox{1.50}{\TrpTurn}                                        \\ \hline
       Model                                                              & {\textbackslash}Model                                           & \scalebox{1.50}{\Model}                                          \\ \hline
       Turnstile                                                          & {\textbackslash}Turn                                            & \scalebox{1.50}{\Turn}                                           \\ \hline
       Consequence Relation                                               & {\textbackslash}Conseq                                          & \scalebox{1.50}{\Conseq}                                         \\ \hline
+      Double Bar Triple Turnstile                                        & {\textbackslash}DTrpTurn                                        & \scalebox{1.50}{\DTrpTurn}                                       \\ \hline
       \end{symbolListA}
 
    \begin{symbolListA}
       Sequent Denied                                                     & {\textbackslash}NotSeq                                          & \scalebox{1.50}{\NotSeq}                                         \\ \hline
       Assertion (Rule) Denied                                            & {\textbackslash}NotRule                                         & \scalebox{1.50}{\NotRule}                                        \\ \hline
+      Triple Turnstile Denied                                            & {\textbackslash}NotTrpTurn                                      & \scalebox{1.50}{\NotTrpTurn}                                     \\ \hline
       Model Denied                                                       & {\textbackslash}NotModel                                        & \scalebox{1.50}{\NotModel}                                       \\ \hline
       Turnstile Denied                                                   & {\textbackslash}NotTurn                                         & \scalebox{1.50}{\NotTurn}                                        \\ \hline
       Consequence Relation Denied                                        & {\textbackslash}NotConseq                                       & \scalebox{1.50}{\NotConseq}                                      \\ \hline
+      Double Bar Triple Turnstile Denied                                 & {\textbackslash}NotDTrpTurn                                     & \scalebox{1.50}{\NotDTrpTurn}                                    \\ \hline
       \end{symbolListA}
 
    \begin{symbolListA}
       Bitwise AND operator / Logical Conjunction                         & {\textbackslash}Nd                                              & \scalebox{1.50}{\Nd}                                             \\ \hline
       Bitwise OR operator  / Logical Disjunction                         & {\textbackslash}Or                                              & \scalebox{1.50}{\Or}                                             \\ \hline
       Bitwise NOT operator / Logical Negation                            & {\textbackslash}Nt                                              & \scalebox{1.50}{\Nt}                                             \\ \hline
+      Inverted Negation                                                  & {\textbackslash}InvNt                                           & \scalebox{1.50}{\InvNt}                                          \\ \hline
       Classical Logical Negation                                         & {\textbackslash}Ngt                                             & \scalebox{1.50}{\Ngt}                                            \\ \hline
       Logical NAND                                                       & {\textbackslash}Lnand                                           & \scalebox{1.50}{\Lnand}                                          \\ \hline
       Logical NOR                                                        & {\textbackslash}Lnor                                            & \scalebox{1.50}{\Lnor}                                           \\ \hline
-      Logical XOR                                                        & {\textbackslash}Lxor                                            & \scalebox{1.50}{\Lxor}                                           \\ \hline
+      Logical XOR                                                        & {\textbackslash}Mnd                                             & \scalebox{1.50}{\Mnd}                                            \\ \hline
       Sheffer's Stroke (Logical NAND)                                    & {\textbackslash}Shfr                                            & \scalebox{1.50}{\Shfr}                                           \\ \hline
       Bitwise NAND operator                                              & {\textbackslash}Nand                                            & \scalebox{1.50}{\Nand}                                           \\ \hline
       Bitwise NOR operator                                               & {\textbackslash}Nor                                             & \scalebox{1.50}{\Nor}                                            \\ \hline
@@ -1385,6 +1389,17 @@
       \end{symbolListA}
 
    \begin{symbolListA}
+      Dotted Conjunction                                                 & {\textbackslash}Dnd                                            & \scalebox{1.50}{\Dnd}                                             \\ \hline
+      Dotted Disjunction                                                 & {\textbackslash}Dor                                            & \scalebox{1.50}{\Dor}                                             \\ \hline
+      Dotted Negation                                                    & {\textbackslash}Dnt                                            & \scalebox{1.50}{\Dnt}                                             \\ \hline
+      Dotted Asterisk                                                    & {\textbackslash}DAsterisk                                      & \scalebox{1.50}{\DAsterisk}                                       \\ \hline
+      Dotted Times                                                       & {\textbackslash}DTimes                                         & \scalebox{1.50}{\DTimes}                                          \\ \hline
+      Dotted Plus                                                        & {\textbackslash}DPlus                                          & \scalebox{1.50}{\DPlus}                                           \\ \hline
+      Dotted Minus                                                       & {\textbackslash}DMinus                                         & \scalebox{1.50}{\DMinus}                                          \\ \hline
+      \end{symbolListA}
+   \clearpage
+
+   \begin{symbolListA}
       Slanted Bar And                                                    & {\textbackslash}SbNd                                            & \scalebox{1.50}{\SbNd}                                           \\ \hline
       Slanted Bar Or                                                     & {\textbackslash}SbOr                                            & \scalebox{1.50}{\SbOr}                                           \\ \hline
       Slanted Bar Nand                                                   & {\textbackslash}SbNand                                          & \scalebox{1.50}{\SbNand}                                         \\ \hline
@@ -1397,7 +1412,6 @@
       Q.E.D.                                                             & {\textbackslash}Qed                                             & \scalebox{1.50}{\Qed}                                            \\ \hline
       \end{symbolListA}
 
-   \clearpage
    \begin{symbolListA}
       True                                                               & {\textbackslash}True                                            &  \scalebox{1.50}{\True}                                          \\ \hline
       False                                                              & {\textbackslash}False                                           &  \scalebox{1.50}{\False}                                         \\ \hline
@@ -1526,14 +1540,16 @@
       Bunch Inclusion                                                    & {\textbackslash}Of                                              & \scalebox{1.50}{\Of}                                             \\ \hline
       Set Membership                                                     & {\textbackslash}In                                              & \scalebox{1.50}{\In}                                             \\ \hline
       Set Membership Negated                                             & {\textbackslash}NotIn                                           & \scalebox{1.50}{\NotIn}                                          \\ \hline
+      Set Owns Element                                                   & {\textbackslash}Owns                                            & \scalebox{1.50}{\Owns}                                           \\ \hline
+      Set Owns Element Negated                                           & {\textbackslash}NotOwned                                        & \scalebox{1.50}{\NotOwned}                                       \\ \hline
       \end{symbolListA}
+   \clearpage
 
    \begin{symbolListA}
       Absent / Void Bunch                                                & {\textbackslash}VoidBunch                                       &  \scalebox{1.50}{\VoidBunch}                                     \\ \hline
       Null Set                                                           & {\textbackslash}NullSet                                         &  \scalebox{1.50}{\NullSet}                                       \\ \hline
       \end{symbolListA}
 
-   \clearpage
    \begin{symbolListA}
       Necessity                                                          & {\textbackslash}Nec                                             & \scalebox{1.50}{\Nec}                                            \\ \hline
       Possibility                                                        & {\textbackslash}Pos                                             & \scalebox{1.50}{\Pos}                                            \\ \hline
@@ -1655,6 +1671,15 @@
       \end{symbolListA}
 
    \begin{symbolListA}
+      Multimap                                                           & {\textbackslash}MulMap                                          & \scalebox{1.50}{\MulMap}                                         \\ \hline
+      Not Multimap                                                       & {\textbackslash}NotMulMap                                       & \scalebox{1.50}{\NotMulMap}                                      \\ \hline
+      Inverted Multimap                                                  & {\textbackslash}MulMapInv                                       & \scalebox{1.50}{\MulMapInv}                                      \\ \hline
+      Not Inverted Multimap                                              & {\textbackslash}NotMulMapInv                                    & \scalebox{1.50}{\NotMulMapInv }                                  \\ \hline
+      Dual Multimap                                                      & {\textbackslash}MulMapDual                                      & \scalebox{1.50}{\MulMapDual}                                     \\ \hline
+      Not Dual Multimap                                                  & {\textbackslash}NotMulMapDual                                   & \scalebox{1.50}{\NotMulMapDual}                                  \\ \hline
+      \end{symbolListA}
+
+   \begin{symbolListA}
       Less Than                                                          & {\textbackslash}Ls                                              & \scalebox{1.50}{\Ls}                                             \\ \hline
       Less Than or Equal                                                 & {\textbackslash}Lse                                             & \scalebox{1.50}{\Lse}                                            \\ \hline
       Equal                                                              & {\textbackslash}Eq                                              & \scalebox{1.50}{\Eq}                                             \\ \hline
@@ -1671,6 +1696,30 @@
       Not Greater Than                                                   & {\textbackslash}NotGr                                           & \scalebox{1.50}{\NotGr}                                          \\ \hline
       Not Greater Than or Equal                                          & {\textbackslash}NotGre                                          & \scalebox{1.50}{\NotGre}                                         \\ \hline
       \end{symbolListA}
+   \clearpage
+
+   \begin{symbolListA}
+      Frown                                                              & {\textbackslash}SCoh                                            & \scalebox{1.50}{\SCoh}                                           \\ \hline
+      Smile                                                              & {\textbackslash}SInCoh                                          & \scalebox{1.50}{\SInCoh}                                         \\ \hline
+      Smile (bottom) and Frowm (top)                                     & {\textbackslash}Coh                                             & \scalebox{1.50}{\Coh}                                            \\ \hline
+      Frown (bottom) and Smile (top)                                     & {\textbackslash}InCoh                                           & \scalebox{1.50}{\InCoh}                                          \\ \hline
+      \end{symbolListA}
+
+   \begin{symbolListA}
+      Additive AND                                                       & {\textbackslash}AAnd                                            & \scalebox{1.50}{\AAnd}                                           \\ \hline
+      Multiplicitive AND                                                 & {\textbackslash}Mnd                                             & \scalebox{1.50}{\Mnd}                                            \\ \hline
+      Additive OR                                                        & {\textbackslash}Aor                                             & \scalebox{1.50}{\Aor}                                            \\ \hline
+      Multiplicitive OR                                                  & {\textbackslash}Mor                                             & \scalebox{1.50}{\Mor}                                            \\ \hline
+      Of Course                                                          & {\textbackslash}OfCrse                                          & \scalebox{1.50}{\OfCrse}                                         \\ \hline
+      Why Not                                                            & {\textbackslash}WhyNot                                          & \scalebox{1.50}{\WhyNot}                                         \\ \hline
+      Perp                                                               & {\textbackslash}Perp                                            & \scalebox{1.50}{\Perp}                                           \\ \hline
+      Sim Perp                                                           & {\textbackslash}SimPerp                                         & \scalebox{1.50}{\SimPerp}                                        \\ \hline
+      \end{symbolListA}
+
+   \begin{symbolListA}
+      Quantified Additive And                                            & {\textbackslash}QuantAAnd                                       & \scalebox{1.50}{\QuantAAnd}                                      \\ \hline
+      Quantified Multiplicative Or                                       & {\textbackslash}QuantMor                                        & \scalebox{1.50}{\QuantMor}                                       \\ \hline
+      \end{symbolListA}
 
    \begin{symbolListA}
       Slanted Bar Less Than                                              & {\textbackslash}SbLs                                            & \scalebox{1.50}{\SbLs}                                           \\ \hline
@@ -1679,7 +1728,6 @@
       Slanted Bar Greater Than or Equal                                  & {\textbackslash}SbGre                                           & \scalebox{1.50}{\SbGre}                                          \\ \hline
       \end{symbolListA}
 
-   \clearpage
    \begin{symbolListA}
       Slanted Bar Not Less Than                                          & {\textbackslash}SbNotLs                                         & \scalebox{1.50}{\SbNotLs}                                        \\ \hline
       Slanted Bar Not Less Than or Equal                                 & {\textbackslash}SbNotLse                                        & \scalebox{1.50}{\SbNotLse}                                       \\ \hline
@@ -1700,6 +1748,7 @@
       Not Succeeds                                                       & {\textbackslash}NotSuc                                          & \scalebox{1.50}{\NotSuc}                                         \\ \hline
       Not Succeeds or Equal                                              & {\textbackslash}NotSucq                                         & \scalebox{1.50}{\NotSucq}                                        \\ \hline
       \end{symbolListA}
+   \clearpage
 
    \begin{symbolListA}
       Minus                                                              & {\textbackslash}Minus                                           & \scalebox{1.50}{\Minus}                                          \\ \hline
diff --git a/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot
index 92942c25b9..773e5c12fb 100644
--- a/fonts/logix/fonts/logix.eot
+++ b/fonts/logix/fonts/logix.eot
diff --git a/fonts/logix/fonts/logix.ttf b/fonts/logix/fonts/logix.ttf
index 73a984b4cb..bd9f854eaa 100644
--- a/fonts/logix/fonts/logix.ttf
+++ b/fonts/logix/fonts/logix.ttf
diff --git a/fonts/logix/fonts/logix.woff b/fonts/logix/fonts/logix.woff
index 029bdc94f3..b24b9afd41 100644
--- a/fonts/logix/fonts/logix.woff
+++ b/fonts/logix/fonts/logix.woff
diff --git a/fonts/logix/fonts/logix.woff2 b/fonts/logix/fonts/logix.woff2
index 41aa530667..6b3563a14c 100644
--- a/fonts/logix/fonts/logix.woff2
+++ b/fonts/logix/fonts/logix.woff2
diff --git a/fonts/logix/fonts/logixMono.eot b/fonts/logix/fonts/logixMono.eot
index 6408d1a94e..4ef415c3c8 100644
--- a/fonts/logix/fonts/logixMono.eot
+++ b/fonts/logix/fonts/logixMono.eot
diff --git a/fonts/logix/fonts/logixMono.ttf b/fonts/logix/fonts/logixMono.ttf
index dd96e24879..7bdd51f3f6 100644
--- a/fonts/logix/fonts/logixMono.ttf
+++ b/fonts/logix/fonts/logixMono.ttf
diff --git a/fonts/logix/fonts/logixMono.woff b/fonts/logix/fonts/logixMono.woff
index 7f9b395ad4..1e2a1f7ef1 100644
--- a/fonts/logix/fonts/logixMono.woff
+++ b/fonts/logix/fonts/logixMono.woff
diff --git a/fonts/logix/fonts/logixMono.woff2 b/fonts/logix/fonts/logixMono.woff2
index 7bb9f2799c..16fb4f6df4 100644
--- a/fonts/logix/fonts/logixMono.woff2
+++ b/fonts/logix/fonts/logixMono.woff2
diff --git a/fonts/logix/opentype/logix.otf b/fonts/logix/opentype/logix.otf
index a2a1c611ac..c57f8e182d 100644
--- a/fonts/logix/opentype/logix.otf
+++ b/fonts/logix/opentype/logix.otf
diff --git a/fonts/logix/opentype/logixMono.otf b/fonts/logix/opentype/logixMono.otf
index 8b1b413170..404b2a6646 100644
--- a/fonts/logix/opentype/logixMono.otf
+++ b/fonts/logix/opentype/logixMono.otf
diff --git a/fonts/logix/source/logix.vfc b/fonts/logix/source/logix.vfc
index 003d8bdf46..0a4bceb1d5 100644
--- a/fonts/logix/source/logix.vfc
+++ b/fonts/logix/source/logix.vfc
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}