From 8327e896d1733cbc400d16fa4a3d92fa36326775 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 18 Jan 2021 22:09:53 +0000 Subject: logix (18jan21) git-svn-id: svn://tug.org/texlive/trunk@57457 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logix/logix.sty | 76 +++++++++++++++-------------- 1 file changed, 40 insertions(+), 36 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 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} -- cgit v1.2.3