From 6596627aaab230cc4a331dd121f46a831ee540c2 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Wed, 24 Jun 2020 21:02:30 +0000
Subject: logix (24jun20)

git-svn-id: svn://tug.org/texlive/trunk@55650 c570f23f-e606-0410-a88d-b1316a301751
---
 Master/texmf-dist/tex/latex/logix/logix.sty | 278 +++++++++++++++++++++++-----
 1 file changed, 228 insertions(+), 50 deletions(-)

(limited to 'Master/texmf-dist/tex/latex/logix/logix.sty')

diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index 32ff0d4bea8..28a0a1674c8 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.
 %
-% logix.sty - 2020-05-01 v1.04
+% logix.sty - 2020-05-23 v1.05
 %
 %    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-01 v1.04 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+      [2020-05-23 v1.05 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
    \ProvidesFile{logix.otf}
-      [2020-05-01 v1.04 (Michael Lee Finney) OpenType Unicode font.]
+      [2020-05-23 v1.05 (Michael Lee Finney) OpenType Unicode font.]
    \RequirePackage{iftex}
    \RequirePackage[bold-style=ISO]{unicode-math}
    \RequirePackage{arydshln}
@@ -48,7 +48,11 @@
 
 % Load / define logix font.
 
-   \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix]
+   \ifluatex
+         \newfontface \logix {logix.otf}[Renderer=Basic,Script=Math,Scale=1.0,NFSSFamily=logix]
+      \else
+         \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix]
+      \fi
 
    \DeclareSymbolFont{Logix}{TU}{logix}{m}{n}
 
@@ -183,27 +187,25 @@
       \setlength{\dashlinegap}{2pt}
       \setlength{\arrayrulewidth}{0.2pt}%
       \renewcommand{\arraystretch}{0}%
-      \newcommand  \PrfEnd {\rule[-0.375em]{0pt}{1.30em}}
+      \newcommand  \PrfBgn {\-\ \hspace{0.50em}}%
+      \newcommand  \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}%
       \ifx&#1&
-            \newcommand \parms {4}
             \newcommand \Dash[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hdashline}
             \newcommand \Line[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hline}
          \else
-            \newcommand \parms {5}
             \newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hdashline}
             \newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hline}
          \fi
-      \noindent\begin{tabular}{
-         @{} >{$} r <{$}                                    % Line number, aligned right, left padding 0.35em.
-         @{} l                                              % Justification reference, left padding 0.25em.
-         @{} l @{\hspace{0.25em}} |                         % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
-         @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}}  % Proposition, right padding 0.25em.
-         @{} c @{} }
-         \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
-         #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd
-         \end{tabular}} \\\hline%
-         }{%
-      \end{tabular} }
+      \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}}
+         \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
+         #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline
+         \noindent\hspace{-0.10em}\begin{tabular}{
+            @{} >{$} r <{$}                                    % Line number, aligned right, left padding 0.35em.
+            @{} l                                              % Justification reference, left padding 0.25em.
+            @{} l @{\hspace{0.25em}} |                         % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
+            @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}}  % Proposition, right padding 0.25em.
+            @{} c @{} } }{%
+         \end{tabular} \end{tabular}}
 
 % Environment for logic proofs with sequents.
 
@@ -212,28 +214,26 @@
       \setlength{\dashlinegap}{2pt}
       \setlength{\arrayrulewidth}{0.2pt}%
       \renewcommand{\arraystretch}{0}%
-      \newcommand  \PrfEnd {\rule[-0.375em]{0pt}{1.30em}}
+      \newcommand  \PrfBgn {\-\ \hspace{0.50em}}%
+      \newcommand  \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}%
       \ifx&#1&
-            \newcommand \parms {5}
             \newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hdashline}
             \newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hline}
          \else
-            \newcommand \parms {6}
             \newcommand \Dash[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hdashline}
             \newcommand \Line[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hline}
          \fi
-      \noindent\begin{tabular}{
+      \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}}
+         \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
+         #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline
+         \noindent\hspace{-0.10em}\begin{tabular}{
          @{} >{$} r <{$}                        % Line number, aligned right, left padding 0.35em.
          @{} l                                  % Justification reference, left padding 0.25em.
          @{} l @{\hspace{0.25em}} |             % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
          @{} >{\hspace{0.25em}$} r <{$}         % Sequent assumptions, left padding 0.25em.
          @{} >{$\Seq} l <{$} @{\hspace{0.25em}} % Sequent conclusion, right padding 0.25em.
-         @{} c @{} }
-         \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
-         #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd
-         \end{tabular}} \\\hline%
-         }{%
-      \end{tabular} }
+         @{} c @{} } }{%
+         \end{tabular} \end{tabular}}
 
 
 %    Define the logix math symbols. These symbols have sidebearings defined in the font.
@@ -297,6 +297,7 @@
    \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
+   \newcommand  \OpnTrpBar        {\lgl{E322}\relax}              % Open Triple Vertical Bar
 
    \newcommand  \OpnBarS          {\left\OpnBar\relax}            % Stretchy Open Vertical Bar
    \newcommand  \OpnGrpS          {\left\OpnGrp\relax}            % Stretchy Open Group Brace
@@ -332,6 +333,7 @@
    \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
+   \newcommand  \OpnTrpBarS       {\left\OpnTrpBar\relax}         % Stretchy Open Triple Vertical Bar
 
    \newcommand  \ClsBar           {\lgr{E340}\relax}              % Close Bar
    \newcommand  \ClsGrp           {\lgr{E341}\relax}              % Close Group Brace
@@ -367,6 +369,7 @@
    \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
+   \newcommand  \ClsTrpBar        {\lgr{E362}\relax}              % Close Triple Vertical Bar
 
    \newcommand  \ClsBarS          {\right\ClsBar\relax}           % Stretchy Close Bar
    \newcommand  \ClsGrpS          {\right\ClsGrp\relax}           % Stretchy Close Group Brace
@@ -402,6 +405,7 @@
    \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
+   \newcommand  \ClsTrpBarS       {\right\ClsTrpBar\relax}        % Stretchy Close Vertical Triple Bar
 
    \newcommand  \MapParInMul      {\lgx{EAA0}\relax}              % Continuous, Partial, Into Multi-Map
    \newcommand  \MapParInSng      {\lgx{EAA1}\relax}              % Continuous, Partial, Into, Singleton Map
@@ -605,7 +609,7 @@
    \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  \Ng               {\lgx{E64C}\relax}              % Classical Logical Negation
+   \newcommand  \Ngt              {\lgx{E64C}\relax}              % Classical Logical Negation
    \newcommand  \Nand             {\lgx{E6A2}\relax}              % Bitwise NAND operator
    \newcommand  \Nor              {\lgx{E6A3}\relax}              % Bitwise NOR operator
    \newcommand  \Xor              {\lgx{E6A5}\relax}              % Bitwise XOR operator
@@ -613,10 +617,14 @@
    \newcommand  \LcgCohrnc        {\lgx{E068}\relax}              % Logical Coherence
    \newcommand  \BncCohrnc        {\lgx{E078}\relax}              % Bunch Coherence
 
+   \newcommand  \TFNone           {\lgx{E010}\relax}              % Neither true nor false
+   \newcommand  \NTrue            {\lgx{E011}\relax}              % Not true
    \newcommand  \True             {\lgx{E012}\relax}              % True
+   \newcommand  \TFBoth           {\lgx{E013}\relax}              % Both true and false
    \newcommand  \False            {\lgx{E014}\relax}              % False
-   \newcommand  \Top              {\lgx{E017}\relax}              % Lattice / type top
+   \newcommand  \NFalse           {\lgx{E015}\relax}              % Nat false
    \newcommand  \Bot              {\lgx{E016}\relax}              % Lattice / type  bottom
+   \newcommand  \Top              {\lgx{E017}\relax}              % Lattice / type top
 
    \newcommand  \QuantCon         {\lgx{E891}\relax}              % Quantified Conjunction
    \newcommand  \QuantDis         {\lgx{E890}\relax}              % Quantified Disjuntion
@@ -634,7 +642,9 @@
    \newcommand  \Cln              {\lgx{E091}\relax}              % Colon
    \newcommand  \Thus             {\lgx{E092}\relax}              % Thus
    \newcommand  \Since            {\lgx{E093}\relax}              % Since
-   \newcommand  \Dts              {\lgx{E096}\relax}              % Dots (ellipsis)
+   \newcommand  \VDots            {\lgx{E094}\relax}              % Vertical dots
+   \newcommand  \CDots            {\lgx{E096}\relax}              % Centered Horizontal Dots (ellipsis)
+   \newcommand  \LDots            {\lgx{E09C}\relax}              % Baseline Horizontal Dots (ellipsis)
    \newcommand  \BndDot           {\lgx{E090}\relax}              % Binding Dot
    \newcommand  \BndBar           {\lgm{E380}\relax}              % Binding Bar
    \newcommand  \BndBarS          {\middle\BndBar\relax}          % Stretchy Binding Bar
@@ -647,11 +657,12 @@
    \newcommand  \At               {\lgx{E03E}\relax}              % At sign
    \newcommand  \Circumflex       {\lgx{E03F}\relax}              % ASCII Circumflex
    \newcommand  \Numbr            {\lgx{E04F}\relax}              % Number sign
-   \newcommand  \Underscore       {\lgx{E09E}\relax}              % Underscore
+   \newcommand  \Underscore       {\lgx{E0AF}\relax}              % Underscore
    \newcommand  \Tild             {\lgx{007E}\relax}              % Tilde  E64C
-   \newcommand  \SingleQuote      {\lgx{E09C}\relax}              % Single quote
+   \newcommand  \SingleQuote      {\lgx{E08B}\relax}              % Single quote
    \newcommand  \DoubleQuote      {\lgx{E09B}\relax}              % Double quote
-   \newcommand  \BackQuote        {\lgx{E09D}\relax}              % Back quote (grave)
+   \newcommand  \TripleQuote      {\lgx{E0AB}\relax}              % Triple quote
+   \newcommand  \BackQuote        {\lgx{E09F}\relax}              % Back quote (grave)
    \newcommand  \LeftSlash        {\lgx{E103}\relax}              % Left (back) slash
    \newcommand  \RightSlash       {\lgx{E102}\relax}              % Right (forward) slash
 
@@ -674,6 +685,7 @@
    \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)
+   \newcommand  \Infin            {\lgx{E03A}\relax}              % Infinity
 
    \newcommand  \LogNec           {\lgx{E230}\relax}              % Logical Necessity   (temporal always or henceforth)
    \newcommand  \LogPos           {\lgx{E232}\relax}              % Logical Possibility (temporal sometime or eventually)
@@ -972,6 +984,8 @@
    \defineDelimiter{ClsDblGrp}      {F080}
    \defineDelimiter{OpnDblBar}      {F090}
    \defineDelimiter{ClsDblBar}      {F0A0}
+   \defineDelimiter{OpnTrpBar}      {F100}
+   \defineDelimiter{ClsTrpBar}      {F110}
 
    \newcommand  \OpnGrpBtm          {\lgx{EBEC}}  % OpnGrp bottom
    \newcommand  \OpnGrpExt          {\lgx{EBED}}  % OpnGrp extender
@@ -1224,7 +1238,13 @@
    \newcommand  \OpnDblBarExt       {\lgx{F09D}}  % OpnDblBar extender
 
    \newcommand  \ClsDblBarBtm       {\lgx{F0AC}}  % ClsDblBar bottom
-   \newcommand  \ClsDblBarExt       {\lgx{F0aD}}  % ClsDblBar extender
+   \newcommand  \ClsDblBarExt       {\lgx{F0AD}}  % ClsDblBar extender
+
+   \newcommand  \OpnTrpBarBtm       {\lgx{F10C}}  % OpnTrpBar bottom
+   \newcommand  \OpnTrpBarExt       {\lgx{F10D}}  % OpnTrpBar extender
+
+   \newcommand  \ClsTrpBarBtm       {\lgx{F11C}}  % ClsTrpBar bottom
+   \newcommand  \ClsTrpBarExt       {\lgx{F11D}}  % ClsTrpBar extender
 
 % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 
@@ -1667,7 +1687,7 @@
    \newcommand  \DottedSquare                                    {\lgx{E250}\relax}
    \newcommand  \DottedSquareRoundCorners                        {\lgx{E251}\relax}
    \newcommand  \DottedDiamond                                   {\lgx{E252}\relax}
-   \newcommand  \DottedCircle                                    {\lgx{E253}\relax}
+   \newcommand  \DottedCircl                                     {\lgx{E253}\relax}
    \newcommand  \DottedRightTriangle                             {\lgx{E254}\relax}
    \newcommand  \DottedLeftTriangle                              {\lgx{E255}\relax}
    \newcommand  \DottedDownTriangle                              {\lgx{E256}\relax}
@@ -1819,6 +1839,146 @@
    \newcommand  \LWhiteRightArrowHead                            {\lgx{E2EE}\relax}
    \newcommand  \LWhiteRightCurvedArrowHead                      {\lgx{E2EF}\relax}
 
+   \newcommand  \WhiteCircleA                                    {\lgx{E3C0}\relax}
+   \newcommand  \WhiteCircleB                                    {\lgx{E3D0}\relax}
+   \newcommand  \WhiteCircleC                                    {\lgx{E3E0}\relax}
+   \newcommand  \WhiteCircleD                                    {\lgx{E3F0}\relax}
+   \newcommand  \WhiteCircleE                                    {\lgx{E400}\relax}
+   \newcommand  \WhiteCircleF                                    {\lgx{E410}\relax}
+   \newcommand  \WhiteCircleG                                    {\lgx{E420}\relax}
+   \newcommand  \WhiteCircleH                                    {\lgx{E430}\relax}
+   \newcommand  \WhiteCircleI                                    {\lgx{E440}\relax}
+
+   \newcommand  \BlackCircleA                                    {\lgx{E3C8}\relax}
+   \newcommand  \BlackCircleB                                    {\lgx{E3D8}\relax}
+   \newcommand  \BlackCircleC                                    {\lgx{E3E8}\relax}
+   \newcommand  \BlackCircleD                                    {\lgx{E3F8}\relax}
+   \newcommand  \BlackCircleE                                    {\lgx{E408}\relax}
+   \newcommand  \BlackCircleF                                    {\lgx{E418}\relax}
+   \newcommand  \BlackCircleG                                    {\lgx{E428}\relax}
+   \newcommand  \BlackCircleH                                    {\lgx{E438}\relax}
+   \newcommand  \BlackCircleI                                    {\lgx{E448}\relax}
+
+   \newcommand  \WhiteSquareA                                    {\lgx{E3C1}\relax}
+   \newcommand  \WhiteSquareB                                    {\lgx{E3D1}\relax}
+   \newcommand  \WhiteSquareC                                    {\lgx{E3E1}\relax}
+   \newcommand  \WhiteSquareD                                    {\lgx{E3F1}\relax}
+   \newcommand  \WhiteSquareE                                    {\lgx{E401}\relax}
+   \newcommand  \WhiteSquareF                                    {\lgx{E411}\relax}
+   \newcommand  \WhiteSquareG                                    {\lgx{E421}\relax}
+   \newcommand  \WhiteSquareH                                    {\lgx{E431}\relax}
+   \newcommand  \WhiteSquareI                                    {\lgx{E441}\relax}
+
+   \newcommand  \BlackSquareA                                    {\lgx{E3C9}\relax}
+   \newcommand  \BlackSquareB                                    {\lgx{E3D9}\relax}
+   \newcommand  \BlackSquareC                                    {\lgx{E3E9}\relax}
+   \newcommand  \BlackSquareD                                    {\lgx{E3F9}\relax}
+   \newcommand  \BlackSquareE                                    {\lgx{E409}\relax}
+   \newcommand  \BlackSquareF                                    {\lgx{E419}\relax}
+   \newcommand  \BlackSquareG                                    {\lgx{E429}\relax}
+   \newcommand  \BlackSquareH                                    {\lgx{E439}\relax}
+   \newcommand  \BlackSquareI                                    {\lgx{E449}\relax}
+
+   \newcommand  \WhiteDiamondA                                   {\lgx{E3C2}\relax}
+   \newcommand  \WhiteDiamondB                                   {\lgx{E3D2}\relax}
+   \newcommand  \WhiteDiamondC                                   {\lgx{E3E2}\relax}
+   \newcommand  \WhiteDiamondD                                   {\lgx{E3F2}\relax}
+   \newcommand  \WhiteDiamondE                                   {\lgx{E402}\relax}
+   \newcommand  \WhiteDiamondF                                   {\lgx{E412}\relax}
+   \newcommand  \WhiteDiamondG                                   {\lgx{E422}\relax}
+   \newcommand  \WhiteDiamondH                                   {\lgx{E432}\relax}
+   \newcommand  \WhiteDiamondI                                   {\lgx{E442}\relax}
+
+   \newcommand  \BlackDiamondA                                   {\lgx{E3CA}\relax}
+   \newcommand  \BlackDiamondB                                   {\lgx{E3DA}\relax}
+   \newcommand  \BlackDiamondC                                   {\lgx{E3EA}\relax}
+   \newcommand  \BlackDiamondD                                   {\lgx{E3FA}\relax}
+   \newcommand  \BlackDiamondE                                   {\lgx{E40A}\relax}
+   \newcommand  \BlackDiamondF                                   {\lgx{E41A}\relax}
+   \newcommand  \BlackDiamondG                                   {\lgx{E42A}\relax}
+   \newcommand  \BlackDiamondH                                   {\lgx{E43A}\relax}
+   \newcommand  \BlackDiamondI                                   {\lgx{E44A}\relax}
+
+   \newcommand  \WhiteRightTriangleA                             {\lgx{E3C3}\relax}
+   \newcommand  \WhiteRightTriangleB                             {\lgx{E3D3}\relax}
+   \newcommand  \WhiteRightTriangleC                             {\lgx{E3E3}\relax}
+   \newcommand  \WhiteRightTriangleD                             {\lgx{E3F3}\relax}
+   \newcommand  \WhiteRightTriangleE                             {\lgx{E403}\relax}
+   \newcommand  \WhiteRightTriangleF                             {\lgx{E413}\relax}
+   \newcommand  \WhiteRightTriangleG                             {\lgx{E423}\relax}
+   \newcommand  \WhiteRightTriangleH                             {\lgx{E433}\relax}
+   \newcommand  \WhiteRightTriangleI                             {\lgx{E443}\relax}
+
+   \newcommand  \BlackRightTriangleA                             {\lgx{E3CB}\relax}
+   \newcommand  \BlackRightTriangleB                             {\lgx{E3DB}\relax}
+   \newcommand  \BlackRightTriangleC                             {\lgx{E3EB}\relax}
+   \newcommand  \BlackRightTriangleD                             {\lgx{E3FB}\relax}
+   \newcommand  \BlackRightTriangleE                             {\lgx{E40B}\relax}
+   \newcommand  \BlackRightTriangleF                             {\lgx{E41B}\relax}
+   \newcommand  \BlackRightTriangleG                             {\lgx{E42B}\relax}
+   \newcommand  \BlackRightTriangleH                             {\lgx{E43B}\relax}
+   \newcommand  \BlackRightTriangleI                             {\lgx{E44B}\relax}
+
+   \newcommand  \WhiteLeftTriangleA                              {\lgx{E3C4}\relax}
+   \newcommand  \WhiteLeftTriangleB                              {\lgx{E3D4}\relax}
+   \newcommand  \WhiteLeftTriangleC                              {\lgx{E3E4}\relax}
+   \newcommand  \WhiteLeftTriangleD                              {\lgx{E3F4}\relax}
+   \newcommand  \WhiteLeftTriangleE                              {\lgx{E404}\relax}
+   \newcommand  \WhiteLeftTriangleF                              {\lgx{E414}\relax}
+   \newcommand  \WhiteLeftTriangleG                              {\lgx{E424}\relax}
+   \newcommand  \WhiteLeftTriangleH                              {\lgx{E434}\relax}
+   \newcommand  \WhiteLeftTriangleI                              {\lgx{E444}\relax}
+
+   \newcommand  \BlackLeftTriangleA                              {\lgx{E3CC}\relax}
+   \newcommand  \BlackLeftTriangleB                              {\lgx{E3DC}\relax}
+   \newcommand  \BlackLeftTriangleC                              {\lgx{E3EC}\relax}
+   \newcommand  \BlackLeftTriangleD                              {\lgx{E3FC}\relax}
+   \newcommand  \BlackLeftTriangleE                              {\lgx{E40C}\relax}
+   \newcommand  \BlackLeftTriangleF                              {\lgx{E41C}\relax}
+   \newcommand  \BlackLeftTriangleG                              {\lgx{E42C}\relax}
+   \newcommand  \BlackLeftTriangleH                              {\lgx{E43C}\relax}
+   \newcommand  \BlackLeftTriangleI                              {\lgx{E44C}\relax}
+
+   \newcommand  \WhiteUpTriangleA                                {\lgx{E3C5}\relax}
+   \newcommand  \WhiteUpTriangleB                                {\lgx{E3D5}\relax}
+   \newcommand  \WhiteUpTriangleC                                {\lgx{E3E5}\relax}
+   \newcommand  \WhiteUpTriangleD                                {\lgx{E3F5}\relax}
+   \newcommand  \WhiteUpTriangleE                                {\lgx{E405}\relax}
+   \newcommand  \WhiteUpTriangleF                                {\lgx{E415}\relax}
+   \newcommand  \WhiteUpTriangleG                                {\lgx{E425}\relax}
+   \newcommand  \WhiteUpTriangleH                                {\lgx{E435}\relax}
+   \newcommand  \WhiteUpTriangleI                                {\lgx{E445}\relax}
+
+   \newcommand  \BlackUpTriangleA                                {\lgx{E3CD}\relax}
+   \newcommand  \BlackUpTriangleB                                {\lgx{E3DD}\relax}
+   \newcommand  \BlackUpTriangleC                                {\lgx{E3ED}\relax}
+   \newcommand  \BlackUpTriangleD                                {\lgx{E3FD}\relax}
+   \newcommand  \BlackUpTriangleE                                {\lgx{E40D}\relax}
+   \newcommand  \BlackUpTriangleF                                {\lgx{E41D}\relax}
+   \newcommand  \BlackUpTriangleG                                {\lgx{E42D}\relax}
+   \newcommand  \BlackUpTriangleH                                {\lgx{E43D}\relax}
+   \newcommand  \BlackUpTriangleI                                {\lgx{E44D}\relax}
+
+   \newcommand  \WhiteDownTriangleA                              {\lgx{E3C6}\relax}
+   \newcommand  \WhiteDownTriangleB                              {\lgx{E3D6}\relax}
+   \newcommand  \WhiteDownTriangleC                              {\lgx{E3E6}\relax}
+   \newcommand  \WhiteDownTriangleD                              {\lgx{E3F6}\relax}
+   \newcommand  \WhiteDownTriangleE                              {\lgx{E406}\relax}
+   \newcommand  \WhiteDownTriangleF                              {\lgx{E416}\relax}
+   \newcommand  \WhiteDownTriangleG                              {\lgx{E426}\relax}
+   \newcommand  \WhiteDownTriangleH                              {\lgx{E436}\relax}
+   \newcommand  \WhiteDownTriangleI                              {\lgx{E446}\relax}
+
+   \newcommand  \BlackDownTriangleA                              {\lgx{E3CE}\relax}
+   \newcommand  \BlackDownTriangleB                              {\lgx{E3DE}\relax}
+   \newcommand  \BlackDownTriangleC                              {\lgx{E3EE}\relax}
+   \newcommand  \BlackDownTriangleD                              {\lgx{E3FE}\relax}
+   \newcommand  \BlackDownTriangleE                              {\lgx{E40E}\relax}
+   \newcommand  \BlackDownTriangleF                              {\lgx{E41E}\relax}
+   \newcommand  \BlackDownTriangleG                              {\lgx{E42E}\relax}
+   \newcommand  \BlackDownTriangleH                              {\lgx{E43E}\relax}
+   \newcommand  \BlackDownTriangleI                              {\lgx{E44E}\relax}
+
 % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 
 %
@@ -1864,19 +2024,20 @@
 %    Normal serif, bold font.                   Sru
 %    Normal serif, bold, italic font.           Sri
 %
-%    Calligraphic font.                         cli
-%
-%    Blackboard font.                           blu
+%    Calligraphic script font.                  cli
+%    Calligraphic script bold font.             Cli
 %
 %    Fraktur font.                              fru
 %    Fraktur bold font.                         Fru
 %
 %    Monospace slab-serif font.                 mnu
-%    Monospace raised, serif, italic font.      mni
+%    Monospace serif, italic font.              mni
 %
 %    Greek font.                                gru
 %    Greek, italic font.                        gri
 %
+%    Blackboard font.                           blu
+%
 %    Individual letters are available as xxx<name> where xxx is one of the
 % above and <name> is the letter and for latin scripts is one of: zero, one,
 % two, three, four, five, six, seven, eight, nine, a-z or A-Z. Thus, for
@@ -1911,9 +2072,12 @@
 %    \vrblbi   \symSri   Bold, italic serif variables.
 %               
 %    \vrblc    \symcli   Calligraphic variables.
-%    \vrbld    \symblu   Blackboard / double struck 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.
 %
@@ -2334,7 +2498,7 @@
 
    \newcommand \vrblbi[1]  {{\defineLatinScriptMacro{\SriNbrBase}{\SriLtrBase}{0}\ensuremath{#1}}}
 
-% Calligraphic font.
+% Calligraphic script font.
 
    \newcommand  \cliNbrBase       {F400}
    \newcommand  \cliLtrBase       {F580}
@@ -2348,19 +2512,19 @@
 
    \newcommand \vrblc[1]  {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}}
 
-% Blackboard font.
+% Calligraphic script boldfont.
 
-   \newcommand  \bluNbrBase       {F600}
-   \newcommand  \bluLtrBase       {F600}
+   \newcommand  \CliNbrBase       {F500}
+   \newcommand  \CliLtrBase       {F540}
 
-   \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase}
+   \defineLatinScript{Cli}{\CliNbrBase}{\CliLtrBase}
 
-   \newcommand \symblu[1]  {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
-   \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}}
+   \newcommand \symCli[1]  {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}}
+   \newcommand \mathCli[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{7}\ensuremath{#1}}}
 
-   \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase}
+   \defineLatinScript{VrblC}{\CliNbrBase}{\CliLtrBase}
 
-   \newcommand \vrbld[1]  {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+   \newcommand \vrblC[1]  {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}}
 
 % Fraktur font.
 
@@ -2414,6 +2578,20 @@
    \newcommand \symmni[1]  {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
    \newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}}
 
+% Blackboard font.
+
+   \newcommand  \bluNbrBase       {F600}
+   \newcommand  \bluLtrBase       {F600}
+
+   \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase}
+
+   \newcommand \symblu[1]  {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+   \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}}
+
+   \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase}
+
+   \newcommand \vrbld[1]  {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+
 % Greek font.
 
    \newcommand  \gruLtrBase       {F800}
-- 
cgit v1.2.3

