logix (18jan21)

git-svn-id: svn://tug.org/texlive/trunk@57457 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 40 insertions, 36 deletions

diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index 51327b880ad..a96b11b51ea 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..2020 by Michael Lee Finney.
+% Copyright (c) 2001..2021 by Michael Lee Finney.
 %
-% logix.sty - 2020-05-24 v1.06
+% logix.sty - 2021-01-17 v1.08
 %
 %    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}
-      [2020-05-24 v1.06 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+      [2021-01-17 v1.08 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
    \ProvidesFile{logix.otf}
-      [2020-05-24 v1.06 (Michael Lee Finney) OpenType Unicode font.]
+      [2021-01-17 v1.08 (Michael Lee Finney) OpenType Unicode font.]
    \RequirePackage{iftex}
    \RequirePackage[bold-style=ISO]{unicode-math}
    \RequirePackage{arydshln}
@@ -172,7 +172,7 @@
             \newcommand \Line[4]{%
                \ifx&##2&%
                      ##1. \hspace{0.25em} &                      & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\%
-                  \else%                                                                
+                  \else%
                      ##1  \hspace{0.35em} & ##2. \hspace{0.25em} & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\%
                   \fi%
                }
@@ -293,7 +293,7 @@
    \newcommand  \OpnDblParn       {\lgl{E31B}\relax}              % Open Double Parenthesis
    \newcommand  \OpnCeil          {\lgl{E31C}\relax}              % Open Ceiling
    \newcommand  \OpnFloor         {\lgl{E31D}\relax}              % Open Floor
-   \newcommand  \OpnTurn          {\lgl{E31E}\relax}              % Open Turnstile
+   \newcommand  \OpnForce         {\lgl{E31E}\relax}              % Open Turnstile
    \newcommand  \OpnCntx          {\lgx{E31F}\relax}              % Open Context Quote
    \newcommand  \OpnDblGrp        {\lgl{E320}\relax}              % Open Double Group Brace
    \newcommand  \OpnDblBar        {\lgl{E321}\relax}              % Open Double Vertical Bar
@@ -329,7 +329,7 @@
    \newcommand  \OpnDblParnS      {\left\OpnDblParn\relax}        % Stretchy Open Double Parenthesis
    \newcommand  \OpnCeilS         {\left\OpnCeil\relax}           % Stretchy Open Ceiling
    \newcommand  \OpnFloorS        {\left\OpnFloor\relax}          % Stretchy Open Floor
-   \newcommand  \OpnTurnS         {\left\OpnTurn\relax}           % Stretchy Open Turnstile
+   \newcommand  \OpnForceS        {\left\OpnForce\relax}          % Stretchy Open Turnstile
    \newcommand  \OpnCntxS         {\left\OpnCntx\relax}           % Stretchy Open Context Quote
    \newcommand  \OpnDblGrpS       {\left\OpnDblGrp\relax}         % Stretchy Open Double Group Brace
    \newcommand  \OpnDblBarS       {\left\OpnDblBar\relax}         % Stretchy Open Double Vertical Bar
@@ -365,7 +365,7 @@
    \newcommand  \ClsDblParn       {\lgl{E35B}\relax}              % Close Double Parenthesis
    \newcommand  \ClsCeil          {\lgr{E35C}\relax}              % Close Ceiling
    \newcommand  \ClsFloor         {\lgr{E35D}\relax}              % Close Floor
-   \newcommand  \ClsTurn          {\lgr{E35E}\relax}              % Close Turnstile
+   \newcommand  \ClsForce         {\lgr{E35E}\relax}              % Close Turnstile
    \newcommand  \ClsCntx          {\lgx{E35F}\relax}              % Close Context Quote
    \newcommand  \ClsDblGrp        {\lgr{E360}\relax}              % Close Double Group Brace
    \newcommand  \ClsDblBar        {\lgr{E361}\relax}              % Close Double Vertical Bar
@@ -401,7 +401,7 @@
    \newcommand  \ClsDblParnS      {\right\ClsDblParn\relax}       % Stretchy Close Double Parenthesis
    \newcommand  \ClsCeilS         {\right\ClsCeil\relax}          % Stretchy Close Ceiling
    \newcommand  \ClsFloorS        {\right\ClsFloor\relax}         % Stretchy Close Floor
-   \newcommand  \ClsTurnS         {\right\ClsTurn\relax}          % Stretchy Close Turnstile
+   \newcommand  \ClsForceS        {\right\ClsForce\relax}         % Stretchy Close Turnstile
    \newcommand  \ClsCntxS         {\right\ClsCntx\relax}          % Stretchy Close Context Quote
    \newcommand  \ClsDblGrpS       {\right\ClsDblGrp\relax}        % Stretchy Close Double Group Brace
    \newcommand  \ClsDblBarS       {\right\ClsDblBar\relax}        % Stretchy Close Vertical Double Bar
@@ -663,7 +663,7 @@
    \newcommand  \Circumflex       {\lgx{E03F}\relax}              % ASCII Circumflex
    \newcommand  \Numbr            {\lgx{E04F}\relax}              % Number sign
    \newcommand  \Underscore       {\lgx{E0AF}\relax}              % Underscore
-   \newcommand  \Tild             {\lgx{007E}\relax}              % Tilde  E64C
+   \newcommand  \Tild             {\lgx{007E}\relax}              % Tilde
    \newcommand  \SingleQuote      {\lgx{E08B}\relax}              % Single quote
    \newcommand  \DoubleQuote      {\lgx{E09B}\relax}              % Double quote
    \newcommand  \TripleQuote      {\lgx{E0AB}\relax}              % Triple quote
@@ -972,8 +972,8 @@
    \defineDelimiter{ClsCeil}        {EEF0}
    \defineDelimiter{OpnFloor}       {EF00}
    \defineDelimiter{ClsFloor}       {EF10}
-   \defineDelimiter{OpnTurn}        {EF20}
-   \defineDelimiter{ClsTurn}        {EF30}
+   \defineDelimiter{OpnForce}       {EF20}
+   \defineDelimiter{ClsForce}       {EF30}
    \defineDelimiter{OpnBar}         {EF40}
    \defineDelimiter{ClsBar}         {EF50}
    \defineDelimiter{BndBar}         {EF60}
@@ -1200,11 +1200,11 @@
    \newcommand  \ClsFloorBtm        {\lgx{EF1C}}  % ClsFloor bottom
    \newcommand  \ClsFloorExt        {\lgx{EF1D}}  % ClsFloor extender
 
-   \newcommand  \OpnTurnMid         {\lgx{EF2C}}  % OpnTurn middle
-   \newcommand  \OpnTurnExt         {\lgx{EF2D}}  % OpnTurn extender
+   \newcommand  \OpnForceMid        {\lgx{EF2C}}  % OpnForce middle
+   \newcommand  \OpnForceExt        {\lgx{EF2D}}  % OpnForce extender
 
-   \newcommand  \ClsTurnMid         {\lgx{EF3C}}  % ClsTurn middle
-   \newcommand  \ClsTurnExt         {\lgx{EF3D}}  % ClsTurn extender
+   \newcommand  \ClsForceMid        {\lgx{EF3C}}  % ClsForce middle
+   \newcommand  \ClsForceExt        {\lgx{EF3D}}  % ClsForce extender
 
    \newcommand  \OpnBarBtm          {\lgx{EF4C}}  % OpnBar bottom
    \newcommand  \OpnBarExt          {\lgx{EF4D}}  % OpnBar extender
@@ -2056,8 +2056,7 @@
 % bold font has the symSlu and mathSlu macros. Unlike the unicode-math package,
 % these scripts do not provide the \partial and \nabla symbols. Also unlike the
 % unicode-math package, the Greek scripts do not change due to context. The symmni
-% and mathmni macros space out adjacent letters unlike the the other macros and
-% are raised by 0.433em to match the Knt symbols.
+% and mathmni macros space out adjacent letters unlike the the other macros.
 %
 % Synonyms for some of the symXxx macros are provided for use in logic.
 %
@@ -2065,26 +2064,27 @@
 %    \propi    \symsai   Italic sans-serif variables.
 %    \meta     \symSau   Bold sans-serif variables.
 %    \metai    \symSai   Bold, italic sans-serif variables.
-%               
+%
 %    \bnch     \symslu   Upright slab-serif variables.
 %    \bnchi    \symsli   Italic slab-serif variables.
 %    \bnchb    \symSlu   Bold slab-serif variables.
 %    \bnchbi   \symSli   Bold, italic slab-serif variables.
-%               
+%
 %    \vrbl     \symsru   Upright serif variables.
 %    \vrbli    \symsri   Italic serif variables.
 %    \vrblb    \symSru   Bold serif variables.
 %    \vrblbi   \symSri   Bold, italic serif variables.
-%               
+%
 %    \vrblc    \symcli   Calligraphic variables.
 %    \vrblC    \symCli   Calligraphic bold variables.
 %
 %    \vrblf    \symfru   Fraktur variables.
 %    \vrblF    \symFru   Bold, Fraktur variables.
 %
-%    \vrbld    \symblu   Blackboard / double struck variables
-%               
 %    \mono     \symmnu   Monospace slab-serif variables.
+%    \monoi    \symmni   Monospace, italic slab-serif variables.
+%
+%    \vrbld    \symblu   Blackboard / double struck variables
 %
 
    \newcommand    \defineLatinScriptMacro[3] {%
@@ -2154,16 +2154,16 @@
 \Umathcode "7A = "#3 \symLogix \numexpr "#2 + "7A\relax}
 
    \newcommand    \defineLatinScript[3] {%
-\expandafter\def\csname #1zero\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "30}}%  Latin digit 0
-\expandafter\def\csname #1one\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "31}}%   Latin digit 1
-\expandafter\def\csname #1two\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "32}}%   Latin digit 2
-\expandafter\def\csname #1three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3
-\expandafter\def\csname #1four\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "34}}%  Latin digit 4
-\expandafter\def\csname #1five\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "35}}%  Latin digit 5
-\expandafter\def\csname #1six\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "36}}%   Latin digit 6
-\expandafter\def\csname #1seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7
-\expandafter\def\csname #1eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8
-\expandafter\def\csname #1nine\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "39}}%  Latin digit 9
+\expandafter\def\csname #1Zero\endcsname{\ensuremath{\Umathchar  7 \symLogix \numexpr "#2 + "30}}% Latin digit 0
+\expandafter\def\csname #1One\endcsname{\ensuremath{\Umathchar   7 \symLogix \numexpr "#2 + "31}}% Latin digit 1
+\expandafter\def\csname #1Two\endcsname{\ensuremath{\Umathchar   7 \symLogix \numexpr "#2 + "32}}% Latin digit 2
+\expandafter\def\csname #1Three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3
+\expandafter\def\csname #1Four\endcsname{\ensuremath{\Umathchar  7 \symLogix \numexpr "#2 + "34}}% Latin digit 4
+\expandafter\def\csname #1Five\endcsname{\ensuremath{\Umathchar  7 \symLogix \numexpr "#2 + "35}}% Latin digit 5
+\expandafter\def\csname #1Six\endcsname{\ensuremath{\Umathchar   7 \symLogix \numexpr "#2 + "36}}% Latin digit 6
+\expandafter\def\csname #1Seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7
+\expandafter\def\csname #1Eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8
+\expandafter\def\csname #1Nine\endcsname{\ensuremath{\Umathchar  7 \symLogix \numexpr "#2 + "39}}% Latin digit 9
 %
 \expandafter\def\csname #1A\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "41}}%     Latin letter A
 \expandafter\def\csname #1B\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "42}}%     Latin letter B
@@ -2337,8 +2337,8 @@
 
 % Sans serif font.
 
-   \newcommand  \sauNbrBase       {0000}
-   \newcommand  \sauLtrBase       {0000}
+   \newcommand  \sauNbrBase       {F0F0}
+   \newcommand  \sauLtrBase       {F640}
 
    \defineLatinScript{sau}{\sauNbrBase}{\sauLtrBase}
 
@@ -2517,7 +2517,7 @@
 
    \newcommand \vrblc[1]  {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}}
 
-% Calligraphic script boldfont.
+% Calligraphic script bold font.
 
    \newcommand  \CliNbrBase       {F500}
    \newcommand  \CliLtrBase       {F540}
@@ -2583,6 +2583,10 @@
    \newcommand \symmni[1]  {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
    \newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}}
 
+   \defineLatinScript{Monoi}{\mnuNbrBase}{\mnuLtrBase}
+
+   \newcommand \monoi[1]  {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
+
 % Blackboard font.
 
    \newcommand  \bluNbrBase       {F600}