From adcdf254252f764d8969df03d013bf5da6333873 Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Sun, 10 May 2020 03:02:26 +0000
Subject: CTAN sync 202005100302

---
 fonts/logix/tex/logix.sty | 1464 ++++++++++++++++++++++-----------------------
 1 file changed, 732 insertions(+), 732 deletions(-)

(limited to 'fonts/logix/tex/logix.sty')

diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index bbb03f8300..10540b0b64 100644
--- a/fonts/logix/tex/logix.sty
+++ b/fonts/logix/tex/logix.sty
@@ -1,6 +1,6 @@
 % Copyright (c) 2001..2020 by Michael Lee Finney.
 %
-% logix.sty - 2020-01-04 v1.02
+% logix.sty - 2020-03-07 v1.03
 %
 %    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
@@ -26,13 +26,13 @@
 % symbols. Many other additional symbols are provided.
 %
 
-   \NeedsTeXFormat{LaTeX2e}
+   \NeedsTeXFormat{LaTeX2e}[2020/02/02]
    \ProvidesPackage{logix}
-      [2020-01-04 v1.02 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+      [2020-03-07 v1.03 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
    \ProvidesFile{logix.otf}
-      [2020-01-04 v1.02 (Michael Lee Finney) OpenType Unicode font.]
+      [2020-03-07 v1.03 (Michael Lee Finney) OpenType Unicode font.]
    \RequirePackage{iftex}
-   \RequirePackage{unicode-math}
+   \RequirePackage[bold-style=ISO]{unicode-math}
    \RequirePackage{arydshln}
 
 % Checks for LuaTex or XeTex as engines.
@@ -263,528 +263,528 @@
    \newcommand  \lgm[1]           {\ensuremath{\Udelimiter 0 \symLogix "#1}}
    \newcommand  \lgr[1]           {\ensuremath{\Udelimiter 5 \symLogix "#1}}
 
-   \newcommand  \OpnBar           {\lgl{E300}}              % Open Vertical Bar
-   \newcommand  \OpnGrp           {\lgl{E301}}              % Open Group Brace
-   \newcommand  \OpnParn          {\lgl{E302}}              % Open Parenthesis
-   \newcommand  \OpnBrac          {\lgl{E303}}              % Open Curly Brace
-   \newcommand  \OpnBrknBrac      {\lgl{E304}}              % Open Curly Broken Brace
-   \newcommand  \OpnCircBrac      {\lgl{E305}}              % Open Curly Circle Brace
-   \newcommand  \OpnArrwBrac      {\lgl{E306}}              % Open Arrow Brace
-   \newcommand  \OpnBrkt          {\lgl{E307}}              % Open Square Bracket
-   \newcommand  \OpnCrlyBrkt      {\lgl{E308}}              % Open Square Curly Bracket
-   \newcommand  \OpnBrknBrkt      {\lgl{E309}}              % Open Square Broken Bracket
-   \newcommand  \OpnCircBrkt      {\lgl{E30A}}              % Open Square Circle Bracket
-   \newcommand  \OpnTortoise      {\lgl{E30B}}              % Open Tortoise Shell
-   \newcommand  \OpnAngl          {\lgl{E30C}}              % Open Angle Bracket
-   \newcommand  \OpnDblBrac       {\lgl{E30D}}              % Open Double Curly Brace
-   \newcommand  \OpnDblAngl       {\lgl{E30E}}              % Open Double Angle Bracket
-   \newcommand  \OpnSqrParn       {\lgl{E30F}}              % Open Square Parenthesis
-   \newcommand  \OpnParnBar       {\lgl{E310}}              % Open Parenthesis with Bar
-   \newcommand  \OpnBracBar       {\lgl{E311}}              % Open Brace with Bar
-   \newcommand  \OpnBrknBracBar   {\lgl{E312}}              % Open Broken Brace with Bar
-   \newcommand  \OpnCircBracBar   {\lgl{E313}}              % Open Circle Brace with Bar
-   \newcommand  \OpnBrktBar       {\lgl{E314}}              % Open Bracket with Bar
-   \newcommand  \OpnCrlyBrktBar   {\lgl{E315}}              % Open Curly Bracket with Bar
-   \newcommand  \OpnBrknBrktBar   {\lgl{E316}}              % Open Broken Bracket with Bar
-   \newcommand  \OpnCircBrktBar   {\lgl{E317}}              % Open Circle Bracket with Bar
-   \newcommand  \OpnTortoiseBar   {\lgl{E318}}              % Open Tortoise Shell with Bar
-   \newcommand  \OpnAnglBar       {\lgl{E319}}              % Open Angle Bracket with Bar
-   \newcommand  \OpnCurvAngl      {\lgl{E31A}}              % Open Curved Angle Bracket
-   \newcommand  \OpnDblParn       {\lgl{E31B}}              % Open Double Parenthesis
-   \newcommand  \OpnCeil          {\lgl{E31C}}              % Open Ceiling
-   \newcommand  \OpnFloor         {\lgl{E31D}}              % Open Floor
-   \newcommand  \OpnTurn          {\lgl{E31E}}              % Open Turnstile
-   \newcommand  \OpnCntx          {\lgx{E31F}}              % Open Context Quote
-   \newcommand  \OpnDblGrp        {\lgl{E320}}              % Open Double Group Brace
-   \newcommand  \OpnDblBar        {\lgl{E321}}              % Open Double Vertical Bar
-
-   \newcommand  \OpnBarS          {\left\OpnBar}            % Stretchy Open Vertical Bar
-   \newcommand  \OpnGrpS          {\left\OpnGrp}            % Stretchy Open Group Brace
-   \newcommand  \OpnParnS         {\left\OpnParn}           % Stretchy Open Parenthesis
-   \newcommand  \OpnBracS         {\left\OpnBrac}           % Stretchy Open Curly Brace
-   \newcommand  \OpnBrknBracS     {\left\OpnBrknBrac}       % Stretchy Open Curly Broken Brace
-   \newcommand  \OpnCircBracS     {\left\OpnCircBrac}       % Stretchy Open Curly Circle Brace
-   \newcommand  \OpnArrwBracS     {\left\OpnArrwBrac}       % Stretchy Open Arrow Brace
-   \newcommand  \OpnBrktS         {\left\OpnBrkt}           % Stretchy Open Square Bracket
-   \newcommand  \OpnCrlyBrktS     {\left\OpnCrlyBrkt}       % Stretchy Open Square Curly Bracket
-   \newcommand  \OpnBrknBrktS     {\left\OpnBrknBrkt}       % Stretchy Open Square Broken Bracket
-   \newcommand  \OpnCircBrktS     {\left\OpnCircBrkt}       % Stretchy Open Square Circle Bracket
-   \newcommand  \OpnTortoiseS     {\left\OpnTortoise}       % Stretchy Open Tortoise Shell
-   \newcommand  \OpnAnglS         {\left\OpnAngl}           % Stretchy Open Angle Bracket
-   \newcommand  \OpnDblBracS      {\left\OpnDblBrac}        % Stretchy Open Double Curly Brace
-   \newcommand  \OpnDblAnglS      {\left\OpnDblAngl}        % Stretchy Open Double Angle Bracket
-   \newcommand  \OpnSqrParnS      {\left\OpnSqrParn}        % Stretchy Open Square Parenthesis
-   \newcommand  \OpnParnBarS      {\left\OpnParnBar}        % Stretchy Open Parenthesis with Bar
-   \newcommand  \OpnBracBarS      {\left\OpnBracBar}        % Stretchy Open Brace with Bar
-   \newcommand  \OpnBrknBracBarS  {\left\OpnBrknBracBar}    % Stretchy Open Broken Brace with Bar
-   \newcommand  \OpnCircBracBarS  {\left\OpnCircBracBar}    % Stretchy Open Circle Brace with Bar
-   \newcommand  \OpnBrktBarS      {\left\OpnBrktBar}        % Stretchy Open Bracket with Bar
-   \newcommand  \OpnCrlyBrktBarS  {\left\OpnCrlyBrktBar}    % Stretchy Open Curly Bracket with Bar
-   \newcommand  \OpnBrknBrktBarS  {\left\OpnBrknBrktBar}    % Stretchy Open Broken Bracket with Bar
-   \newcommand  \OpnCircBrktBarS  {\left\OpnCircBrktBar}    % Stretchy Open Circle Bracket with Bar
-   \newcommand  \OpnTortoiseBarS  {\left\OpnTortoiseBar}    % Stretchy Open Tortoise Shell with Bar
-   \newcommand  \OpnAnglBarS      {\left\OpnAnglBar}        % Stretchy Open Angle Bracket with Bar
-   \newcommand  \OpnCurvAnglS     {\left\OpnCurvAngl}       % Stretchy Open Curved Angle Bracket
-   \newcommand  \OpnDblParnS      {\left\OpnDblParn}        % Stretchy Open Double Parenthesis
-   \newcommand  \OpnCeilS         {\left\OpnCeil}           % Stretchy Open Ceiling
-   \newcommand  \OpnFloorS        {\left\OpnFloor}          % Stretchy Open Floor
-   \newcommand  \OpnTurnS         {\left\OpnTurn}           % Stretchy Open Turnstile
-   \newcommand  \OpnCntxS         {\left\OpnCntx}           % Stretchy Open Context Quote
-   \newcommand  \OpnDblGrpS       {\left\OpnDblGrp}         % Stretchy Open Double Group Brace
-   \newcommand  \OpnDblBarS       {\left\OpnDblBar}         % Stretchy Open Double Vertical Bar
-
-   \newcommand  \ClsBar           {\lgr{E340}}              % Close Bar
-   \newcommand  \ClsGrp           {\lgr{E341}}              % Close Group Brace
-   \newcommand  \ClsParn          {\lgr{E342}}              % Close Parenthesis
-   \newcommand  \ClsBrac          {\lgr{E343}}              % Close Curly Brace
-   \newcommand  \ClsBrknBrac      {\lgr{E344}}              % Close Curly Broken Brace
-   \newcommand  \ClsCircBrac      {\lgr{E345}}              % Close Curly Circle Brace
-   \newcommand  \ClsArrwBrac      {\lgr{E346}}              % Close Arrow Brace
-   \newcommand  \ClsBrkt          {\lgr{E347}}              % Close Square Bracket
-   \newcommand  \ClsCrlyBrkt      {\lgr{E348}}              % Close Square Curly Bracket
-   \newcommand  \ClsBrknBrkt      {\lgr{E349}}              % Close Square Broken Bracket
-   \newcommand  \ClsCircBrkt      {\lgr{E34A}}              % Close Square Circle Bracket
-   \newcommand  \ClsTortoise      {\lgr{E34B}}              % Close Tortoise Shell
-   \newcommand  \ClsAngl          {\lgr{E34C}}              % Close Angle Bracket
-   \newcommand  \ClsDblBrac       {\lgr{E34D}}              % Close Double Curly Brace
-   \newcommand  \ClsDblAngl       {\lgr{E34E}}              % Close Double Angle Bracket
-   \newcommand  \ClsSqrParn       {\lgr{E34F}}              % Close Square Parenthesis
-   \newcommand  \ClsParnBar       {\lgr{E350}}              % Close Parenthesis with Bar
-   \newcommand  \ClsBracBar       {\lgr{E351}}              % Close Brace with Bar
-   \newcommand  \ClsBrknBracBar   {\lgr{E352}}              % Close Broken Brace with Bar
-   \newcommand  \ClsCircBracBar   {\lgr{E353}}              % Close Circle Brace with Bar
-   \newcommand  \ClsBrktBar       {\lgr{E354}}              % Close Bracket with Bar
-   \newcommand  \ClsCrlyBrktBar   {\lgr{E355}}              % Close Curly Bracket with Bar
-   \newcommand  \ClsBrknBrktBar   {\lgr{E356}}              % Close Broken Bracket with Bar
-   \newcommand  \ClsCircBrktBar   {\lgr{E357}}              % Close Circle Bracket with Bar
-   \newcommand  \ClsTortoiseBar   {\lgr{E358}}              % Close Tortoise Shell with Bar
-   \newcommand  \ClsAnglBar       {\lgr{E359}}              % Close Angle Bracket with Bar
-   \newcommand  \ClsCurvAngl      {\lgr{E35A}}              % Close Curved Angle Bracket
-   \newcommand  \ClsDblParn       {\lgl{E35B}}              % Close Double Parenthesis
-   \newcommand  \ClsCeil          {\lgr{E35C}}              % Close Ceiling
-   \newcommand  \ClsFloor         {\lgr{E35D}}              % Close Floor
-   \newcommand  \ClsTurn          {\lgr{E35E}}              % Close Turnstile
-   \newcommand  \ClsCntx          {\lgx{E35F}}              % Close Context Quote
-   \newcommand  \ClsDblGrp        {\lgr{E360}}              % Close Double Group Brace
-   \newcommand  \ClsDblBar        {\lgr{E361}}              % Close Double Vertical Bar
-
-   \newcommand  \ClsBarS          {\right\ClsBar}           % Stretchy Close Bar
-   \newcommand  \ClsGrpS          {\right\ClsGrp}           % Stretchy Close Group Brace
-   \newcommand  \ClsParnS         {\right\ClsParn}          % Stretchy Close Parenthesis
-   \newcommand  \ClsBracS         {\right\ClsBrac}          % Stretchy Close Curly Brace
-   \newcommand  \ClsBrknBracS     {\right\ClsBrknBrac}      % Stretchy Close Curly Broken Brace
-   \newcommand  \ClsCircBracS     {\right\ClsCircBrac}      % Stretchy Close Curly Circle Brace
-   \newcommand  \ClsArrwBracS     {\right\ClsArrwBrac}      % Stretchy Close Arrow Brace
-   \newcommand  \ClsBrktS         {\right\ClsBrkt}          % Stretchy Close Square Bracket
-   \newcommand  \ClsCrlyBrktS     {\right\ClsCrlyBrkt}      % Stretchy Close Square Curly Bracket
-   \newcommand  \ClsBrknBrktS     {\right\ClsBrknBrkt}      % Stretchy Close Square Broken Bracket
-   \newcommand  \ClsCircBrktS     {\right\ClsCircBrkt}      % Stretchy Close Square Circle Bracket
-   \newcommand  \ClsTortoiseS     {\right\ClsTortoise}      % Stretchy Close Tortoise Shell
-   \newcommand  \ClsAnglS         {\right\ClsAngl}          % Stretchy Close Angle Bracket
-   \newcommand  \ClsDblBracS      {\right\ClsDblBrac}       % Stretchy Close Double Curly Brace
-   \newcommand  \ClsDblAnglS      {\right\ClsDblAngl}       % Stretchy Close Double Angle Bracket
-   \newcommand  \ClsSqrParnS      {\right\ClsSqrParn}       % Stretchy Close Square Parenthesis
-   \newcommand  \ClsParnBarS      {\right\ClsParnBar}       % Stretchy Close Parenthesis with Bar
-   \newcommand  \ClsBracBarS      {\right\ClsBracBar}       % Stretchy Close Brace with Bar
-   \newcommand  \ClsBrknBracBarS  {\right\ClsBrknBracBar}   % Stretchy Close Broken Brace with Bar
-   \newcommand  \ClsCircBracBarS  {\right\ClsCircBracBar}   % Stretchy Close Circle Brace with Bar
-   \newcommand  \ClsBrktBarS      {\right\ClsBrktBar}       % Stretchy Close Bracket with Bar
-   \newcommand  \ClsCrlyBrktBarS  {\right\ClsCrlyBrktBar}   % Stretchy Close Curly Bracket with Bar
-   \newcommand  \ClsBrknBrktBarS  {\right\ClsBrknBrktBar}   % Stretchy Close Broken Bracket with Bar
-   \newcommand  \ClsCircBrktBarS  {\right\ClsCircBrktBar}   % Stretchy Close Circle Bracket with Bar
-   \newcommand  \ClsTortoiseBarS  {\right\ClsTortoiseBar}   % Stretchy Close Tortoise Shell with Bar
-   \newcommand  \ClsAnglBarS      {\right\ClsAnglBar}       % Stretchy Close Angle Bracket with Bar
-   \newcommand  \ClsCurvAnglS     {\right\ClsCurvAngl}      % Stretchy Close Curved Angle Bracket
-   \newcommand  \ClsDblParnS      {\right\ClsDblParn}       % Stretchy Close Double Parenthesis
-   \newcommand  \ClsCeilS         {\right\ClsCeil}          % Stretchy Close Ceiling
-   \newcommand  \ClsFloorS        {\right\ClsFloor}         % Stretchy Close Floor
-   \newcommand  \ClsTurnS         {\right\ClsTurn}          % Stretchy Close Turnstile
-   \newcommand  \ClsCntxS         {\right\ClsCntx}          % Stretchy Close Context Quote
-   \newcommand  \ClsDblGrpS       {\right\ClsDblGrp}        % Stretchy Close Double Group Brace
-   \newcommand  \ClsDblBarS       {\right\ClsDblBar}        % Stretchy Close Vertical Double Bar
-
-   \newcommand  \MapParInMul      {\lgx{EAA0}}              % Continuous, Partial, Into Multi-Map
-   \newcommand  \MapParInSng      {\lgx{EAA1}}              % Continuous, Partial, Into, Singleton Map
-   \newcommand  \MapParInOne      {\lgx{EAA2}}              % Continuous, Partial, Into, One-To-One Map
-   \newcommand  \MapParOnMul      {\lgx{EAA8}}              % Continuous, Partial, Onto Multi-Map
-   \newcommand  \MapParOnSng      {\lgx{EAA9}}              % Continuous, Partial, Onto, Singleton Map
-   \newcommand  \MapParOnOne      {\lgx{EAAA}}              % Continuous, Partial, Onto, One-To-One Map
-   \newcommand  \MapParInGndMul   {\lgx{EAB0}}              % Continuous, Partial, Into, Grounded Multi-Map
-   \newcommand  \MapParInGndSng   {\lgx{EAB1}}              % Continuous, Partial, Into, Grounded, Singleton Map
-   \newcommand  \MapParInGndOne   {\lgx{EAB2}}              % Continuous, Partial, Into, Grounded, One-To-One Map
-   \newcommand  \MapParOnGndMul   {\lgx{EAB8}}              % Continuous, Partial, Onto, Grounded Multi-Map
-   \newcommand  \MapParOnGndSng   {\lgx{EAB9}}              % Continuous, Partial, Onto, Grounded, Singleton Map
-   \newcommand  \MapParOnGndOne   {\lgx{EABA}}              % Continuous, Partial, Onto, Grounded, One-To-One Map
-
-   \newcommand  \MapTotInMul      {\lgx{EA80}}              % Continuous, Total, Into Multi-Map
-   \newcommand  \MapTotInSng      {\lgx{EA81}}              % Continuous, Total, Into, Singleton Map
-   \newcommand  \MapTotInOne      {\lgx{EA82}}              % Continuous, Total, Into, One-To-One Map
-   \newcommand  \MapTotOnMul      {\lgx{EA88}}              % Continuous, Total, Onto Multi-Map
-   \newcommand  \MapTotOnSng      {\lgx{EA89}}              % Continuous, Total, Onto, Singleton Map
-   \newcommand  \MapTotOnOne      {\lgx{EA8A}}              % Continuous, Total, Onto, One-To-One Map
-   \newcommand  \MapTotInGndMul   {\lgx{EA90}}              % Continuous, Total, Into, Grounded Multi-Map
-   \newcommand  \MapTotInGndSng   {\lgx{EA91}}              % Continuous, Total, Into, Grounded, Singleton Map
-   \newcommand  \MapTotInGndOne   {\lgx{EA92}}              % Continuous, Total, Into, Grounded, One-To-One Map
-   \newcommand  \MapTotOnGndMul   {\lgx{EA98}}              % Continuous, Total, Onto, Grounded Multi-Map
-   \newcommand  \MapTotOnGndSng   {\lgx{EA99}}              % Continuous, Total, Onto, Grounded, Singleton Map
-   \newcommand  \MapTotOnGndOne   {\lgx{EA9A}}              % Continuous, Total, Onto, Grounded, One-To-One Map
-
-   \newcommand  \FunParInMul      {\lgx{EAA4}}              % Continuous, Partial, Into Multi-Function
-   \newcommand  \FunParInSng      {\lgx{EAA5}}              % Continuous, Partial, Into, Singleton Function
-   \newcommand  \FunParInOne      {\lgx{EAA6}}              % Continuous, Partial, Into, One-To-One Function
-   \newcommand  \FunParOnMul      {\lgx{EAAC}}              % Continuous, Partial, Onto Multi-Function
-   \newcommand  \FunParOnSng      {\lgx{EAAD}}              % Continuous, Partial, Onto, Singleton Function
-   \newcommand  \FunParOnOne      {\lgx{EAAE}}              % Continuous, Partial, Onto, One-To-One Function
-   \newcommand  \FunParInGndMul   {\lgx{EAB4}}              % Continuous, Partial, Into, Grounded Multi-Function
-   \newcommand  \FunParInGndSng   {\lgx{EAB5}}              % Continuous, Partial, Into, Grounded, Singleton Function
-   \newcommand  \FunParInGndOne   {\lgx{EAB6}}              % Continuous, Partial, Into, Grounded, One-To-One Function
-   \newcommand  \FunParOnGndMul   {\lgx{EABC}}              % Continuous, Partial, Onto, Grounded Multi-Function
-   \newcommand  \FunParOnGndSng   {\lgx{EABD}}              % Continuous, Partial, Onto, Grounded, Singleton Function
-   \newcommand  \FunParOnGndOne   {\lgx{EABE}}              % Continuous, Partial, Onto, Grounded, One-To-One Function
-
-   \newcommand  \FunTotInMul      {\lgx{EA84}}              % Continuous, Total, Into Multi-Function
-   \newcommand  \FunTotInSng      {\lgx{EA85}}              % Continuous, Total, Into, Singleton Function
-   \newcommand  \FunTotInOne      {\lgx{EA86}}              % Continuous, Total, Into, One-To-One Function
-   \newcommand  \FunTotOnMul      {\lgx{EA8C}}              % Continuous, Total, Onto Multi-Function
-   \newcommand  \FunTotOnSng      {\lgx{EA8D}}              % Continuous, Total, Onto, Singleton Function
-   \newcommand  \FunTotOnOne      {\lgx{EA8E}}              % Continuous, Total, Onto, One-To-One Function
-   \newcommand  \FunTotInGndMul   {\lgx{EA94}}              % Continuous, Total, Into, Grounded Multi-Function
-   \newcommand  \FunTotInGndSng   {\lgx{EA95}}              % Continuous, Total, Into, Grounded, Singleton Function
-   \newcommand  \FunTotInGndOne   {\lgx{EA96}}              % Continuous, Total, Into, Grounded, One-To-One Function
-   \newcommand  \FunTotOnGndMul   {\lgx{EA9C}}              % Continuous, Total, Onto, Grounded Multi-Function
-   \newcommand  \FunTotOnGndSng   {\lgx{EA9D}}              % Continuous, Total, Onto, Grounded, Singleton Function
-   \newcommand  \FunTotOnGndOne   {\lgx{EA9E}}              % Continuous, Total, Onto, Grounded, One-To-One Function
-
-   \newcommand  \MapComp          {\lgx{E23C}}              % Map Composition
-   \newcommand  \FncComp          {\lgx{E239}}              % Function Composition
-   \newcommand  \FncCnvrs         {\lgx{E2C3}}              % Function Converse
-
-   \newcommand  \SFunc            {\lgx{E9DC}}              % Short Function
-   \newcommand  \Func             {\lgx{E9DD}}              % Function
-   \newcommand  \LFunc            {\lgx{E9DE}}              % Long Function
-   \newcommand  \XFunc            {\lgx{E9DF}}              % Extra Long Function
-
-   \newcommand  \ClsImpl          {\lgx{E79E}}              % Classical Implication
-   \newcommand  \NotClsImpl       {\lgx{E79F}}              % Not Classical Implication
-   \newcommand  \ClsEquv          {\lgx{E666}}              % Classical Equivalence
-   \newcommand  \NotClsEquv       {\lgx{E667}}              % Not Classical Equivalence
-
-   \newcommand  \SWkMtImpl        {\lgx{E810}}              % Short Weak Material Implication
-   \newcommand  \NotSWkMtImpl     {\lgx{E811}}              % Short Not Weak Material Implication
-   \newcommand  \SWkMtEquv        {\lgx{E812}}              % Short Weak Material Equivalence
-   \newcommand  \NotSWkMtEquv     {\lgx{E813}}              % Short Not Weak Material Equivalence
-   \newcommand  \WkMtImpl         {\lgx{E814}}              % Weak Material Implication
-   \newcommand  \NotWkMtImpl      {\lgx{E815}}              % Not Weak Material Implication
-   \newcommand  \WkMtEquv         {\lgx{E816}}              % Weak Material Equivalence
-   \newcommand  \NotWkMtEquv      {\lgx{E817}}              % Not Weak Material Equivalence
-   \newcommand  \LWkMtImpl        {\lgx{E818}}              % Long Weak Material Implication
-   \newcommand  \NotLWkMtImpl     {\lgx{E819}}              % Long Not Weak Material Implication
-   \newcommand  \LWkMtEquv        {\lgx{E81A}}              % Long Weak Material Equivalence
-   \newcommand  \NotLWkMtEquv     {\lgx{E81B}}              % Long Not Weak Material Equivalence
-   \newcommand  \XWkMtImpl        {\lgx{E81C}}              % Extra Long Weak Material Implication
-   \newcommand  \NotXWkMtImpl     {\lgx{E81D}}              % Extra Long Not Weak Material Implication
-   \newcommand  \XWkMtEquv        {\lgx{E81E}}              % Extra Long Weak Material Equivalence
-   \newcommand  \NotXWkMtEquv     {\lgx{E81F}}              % Extra Long Not Weak Material Equivalence
-
-   \newcommand  \SMtImpl          {\lgx{E820}}              % Short WMaterial Implication
-   \newcommand  \NotSMtImpl       {\lgx{E821}}              % Short NNot Material Implication
-   \newcommand  \SMtEquv          {\lgx{E822}}              % Short WMaterial Equivalence
-   \newcommand  \NotSMtEquv       {\lgx{E823}}              % Short NNot Material Equivalence
-   \newcommand  \MtImpl           {\lgx{E824}}              % Material Implication
-   \newcommand  \NotMtImpl        {\lgx{E825}}              % Not Material Implication
-   \newcommand  \MtEquv           {\lgx{E826}}              % Material Equivalence
-   \newcommand  \NotMtEquv        {\lgx{E827}}              % Not Material Equivalence
-   \newcommand  \LMtImpl          {\lgx{E828}}              % Long Material Implication
-   \newcommand  \NotLMtImpl       {\lgx{E829}}              % Long Not Material Implication
-   \newcommand  \LMtEquv          {\lgx{E82A}}              % Long Material Equivalence
-   \newcommand  \NotLMtEquv       {\lgx{E82B}}              % Long Not Material Equivalence
-   \newcommand  \XMtImpl          {\lgx{E82C}}              % Extra Long Material Implication
-   \newcommand  \NotXMtImpl       {\lgx{E82D}}              % Extra Long Not Material Implication
-   \newcommand  \XMtEquv          {\lgx{E82E}}              % Extra Long Material Equivalence
-   \newcommand  \NotXMtEquv       {\lgx{E82F}}              % Extra Long Not Material Equivalence
-
-   \newcommand  \SInImpl          {\lgx{E830}}              % Short WIntuitionistic Implication
-   \newcommand  \NotSInImpl       {\lgx{E831}}              % Short NNot Intuitionistic Implication
-   \newcommand  \SInEquv          {\lgx{E832}}              % Short WIntuitionistic Equivalence
-   \newcommand  \NotSInEquv       {\lgx{E833}}              % Short NNot Intuitionistic Equivalence
-   \newcommand  \InImpl           {\lgx{E834}}              % Intuitionistic Implication
-   \newcommand  \NotInImpl        {\lgx{E835}}              % Not Intuitionistic Implication
-   \newcommand  \InEquv           {\lgx{E836}}              % Intuitionistic Equivalence
-   \newcommand  \NotInEquv        {\lgx{E837}}              % Not Intuitionistic Equivalence
-   \newcommand  \LInImpl          {\lgx{E838}}              % Long Intuitionistic Implication
-   \newcommand  \NotLInImpl       {\lgx{E839}}              % Long Not Intuitionistic Implication
-   \newcommand  \LInEquv          {\lgx{E83A}}              % Long Intuitionistic Equivalence
-   \newcommand  \NotLInEquv       {\lgx{E83B}}              % Long Not Intuitionistic Equivalence
-   \newcommand  \XInImpl          {\lgx{E83C}}              % Extra Long Intuitionistic Implication
-   \newcommand  \NotXInImpl       {\lgx{E83D}}              % Extra Long Not Intuitionistic Implication
-   \newcommand  \XInEquv          {\lgx{E83E}}              % Extra Long Intuitionistic Equivalence
-   \newcommand  \NotXInEquv       {\lgx{E83F}}              % Extra Long Not Intuitionistic Equivalence
-
-   \newcommand  \SWkImpl          {\lgx{E840}}              % Short WWeak Implication
-   \newcommand  \NotSWkImpl       {\lgx{E841}}              % Short NNot Weak Implication
-   \newcommand  \SWkEquv          {\lgx{E842}}              % Short WWeak Implication Equivalence
-   \newcommand  \NotSWkEquv       {\lgx{E843}}              % Short NNot Weak Implication Equivalence
-   \newcommand  \WkImpl           {\lgx{E844}}              % Weak Implication
-   \newcommand  \NotWkImpl        {\lgx{E845}}              % Not Weak Implication
-   \newcommand  \WkEquv           {\lgx{E846}}              % Weak Implication Equivalence
-   \newcommand  \NotWkEquv        {\lgx{E847}}              % Not Weak Implication Equivalence
-   \newcommand  \LWkImpl          {\lgx{E848}}              % Long Weak Implication
-   \newcommand  \NotLWkImpl       {\lgx{E849}}              % Long Not Weak Implication
-   \newcommand  \LWkEquv          {\lgx{E84A}}              % Long Weak Implication Equivalence
-   \newcommand  \NotLWkEquv       {\lgx{E84B}}              % Long Not Weak Implication Equivalence
-   \newcommand  \XWkImpl          {\lgx{E84C}}              % Extra Long Weak Implication
-   \newcommand  \NotXWkImpl       {\lgx{E84D}}              % Extra Long Not Weak Implication
-   \newcommand  \XWkEquv          {\lgx{E84E}}              % Extra Long Weak Implication Equivalence
-   \newcommand  \NotXWkEquv       {\lgx{E84F}}              % Extra Long Not Weak Implication Equivalence
-
-   \newcommand  \SImpl            {\lgx{E850}}              % Short WImplication
-   \newcommand  \NotSImpl         {\lgx{E851}}              % Short NNot Implication
-   \newcommand  \SEquv            {\lgx{E852}}              % Short WImplication Equivalence
-   \newcommand  \NotSEquv         {\lgx{E853}}              % Short NNot Implication Equivalence
-   \newcommand  \Impl             {\lgx{E854}}              % Implication
-   \newcommand  \NotImpl          {\lgx{E855}}              % Not Implication
-   \newcommand  \Equv             {\lgx{E856}}              % Implication Equivalence
-   \newcommand  \NotEquv          {\lgx{E857}}              % Not Implication Equivalence
-   \newcommand  \LImpl            {\lgx{E858}}              % Long Implication
-   \newcommand  \NotLImpl         {\lgx{E859}}              % Long Not Implication
-   \newcommand  \LEquv            {\lgx{E85A}}              % Long Implication Equivalence
-   \newcommand  \NotLEquv         {\lgx{E85B}}              % Long Not Implication Equivalence
-   \newcommand  \XImpl            {\lgx{E85C}}              % Extra Long Implication
-   \newcommand  \NotXImpl         {\lgx{E85D}}              % Extra Long Not Implication
-   \newcommand  \XEquv            {\lgx{E85E}}              % Extra Long Implication Equivalence
-   \newcommand  \NotXEquv         {\lgx{E85F}}              % Extra Long Not Implication Equivalence
-
-   \newcommand  \SWkEntail        {\lgx{E860}}              % Short WWeak Entailment
-   \newcommand  \NotSWkEntail     {\lgx{E861}}              % Short NNot Weak Entailment
-   \newcommand  \SWkEntailEquv    {\lgx{E862}}              % Short WWeak Entailment Equivalence
-   \newcommand  \NotSWkEntailEquv {\lgx{E863}}              % Short NNot Weak Entailment Equivalence
-   \newcommand  \WkEntail         {\lgx{E864}}              % Weak Entailment
-   \newcommand  \NotWkEntail      {\lgx{E865}}              % Not Weak Entailment
-   \newcommand  \WkEntailEquv     {\lgx{E866}}              % Weak Entailment Equivalence
-   \newcommand  \NotWkEntailEquv  {\lgx{E867}}              % Not Weak Entailment Equivalence
-   \newcommand  \LWkEntail        {\lgx{E868}}              % Long Weak Entailment
-   \newcommand  \NotLWkEntail     {\lgx{E869}}              % Long Not Weak Entailment
-   \newcommand  \LWkEntailEquv    {\lgx{E86A}}              % Long Weak Entailment Equivalence
-   \newcommand  \NotLWkEntailEquv {\lgx{E86B}}              % Long Not Weak Entailment Equivalence
-   \newcommand  \XWkEntail        {\lgx{E86C}}              % Extra Long Weak Entailment
-   \newcommand  \NotXWkEntail     {\lgx{E86D}}              % Extra Long Not Weak Entailment
-   \newcommand  \XWkEntailEquv    {\lgx{E86E}}              % Extra Long Weak Entailment Equivalence
-   \newcommand  \NotXWkEntailEquv {\lgx{E86F}}              % Extra Long Not Weak Entailment Equivalence
-
-   \newcommand  \SEntail          {\lgx{E870}}              % Short WEntailment
-   \newcommand  \NotSEntail       {\lgx{E871}}              % Short NNot Entailment
-   \newcommand  \SEntailEquv      {\lgx{E872}}              % Short WEntailment Equivalence
-   \newcommand  \NotSEntailEquv   {\lgx{E873}}              % Short NNot Entailment Equivalence
-   \newcommand  \Entail           {\lgx{E874}}              % Entailment
-   \newcommand  \NotEntail        {\lgx{E875}}              % Not Entailment
-   \newcommand  \EntailEquv       {\lgx{E876}}              % Entailment Equivalence
-   \newcommand  \NotEntailEquv    {\lgx{E877}}              % Not Entailment Equivalence
-   \newcommand  \LEntail          {\lgx{E878}}              % Long Entailment
-   \newcommand  \NotLEntail       {\lgx{E879}}              % Long Not Entailment
-   \newcommand  \LEntailEquv      {\lgx{E87A}}              % Long Entailment Equivalence
-   \newcommand  \NotLEntailEquv   {\lgx{E87B}}              % Long Not Entailment Equivalence
-   \newcommand  \XEntail          {\lgx{E87C}}              % Extra Long Entailment
-   \newcommand  \NotXEntail       {\lgx{E87D}}              % Extra Long Not Entailment
-   \newcommand  \XEntailEquv      {\lgx{E87E}}              % Extra Long Entailment Equivalence
-   \newcommand  \NotXEntailEquv   {\lgx{E87F}}              % Extra Long Not Entailment Equivalence
-
-   \newcommand  \Seq              {\lgx{E94C}}              % Sequent
-   \newcommand  \NotSeq           {\lgx{E96C}}              % Sequent Denied
-   \newcommand  \Rule             {\lgx{E940}}              % Assertion (Rule)
-   \newcommand  \NotRule          {\lgx{E960}}              % Assertion (Rule) Denied
-   \newcommand  \Model            {\lgx{E942}}              % Model
-   \newcommand  \NotModel         {\lgx{E962}}              % Model Denied
-   \newcommand  \Turn             {\lgx{E944}}              % Turnstile
-   \newcommand  \NotTurn          {\lgx{E964}}              % Turnstile Denied
-   \newcommand  \Conseq           {\lgx{E946}}              % Consequence Relation
-   \newcommand  \NotConseq        {\lgx{E966}}              % Consequence Relation Denied
-
-   \newcommand  \Defn             {\lgx{E60A}}              % Defines
-   \newcommand  \Qed              {\lgx{E08F}}              % Q.E.D.
-
-   \newcommand  \Nd               {\lgx{E6A0}}              % Bitwise AND operator / Logical Conjunction
-   \newcommand  \Or               {\lgx{E6A1}}              % Bitwise OR operator  / Logical Disjunction
-   \newcommand  \Nt               {\lgx{E0C0}}              % Bitwise NOT operator / Logical Negation
-   \newcommand  \Ng               {\lgx{E64C}}              % Classical Logical Negation
-   \newcommand  \Nand             {\lgx{E6A2}}              % Bitwise NAND operator
-   \newcommand  \Nor              {\lgx{E6A3}}              % Bitwise NOR operator
-   \newcommand  \Xor              {\lgx{E6A5}}              % Bitwise XOR operator
-
-   \newcommand  \LcgCohrnc        {\lgx{E068}}              % Logical Coherence
-   \newcommand  \BncCohrnc        {\lgx{E078}}              % Bunch Coherence
-
-   \newcommand  \True             {\lgx{E012}}              % True
-   \newcommand  \False            {\lgx{E014}}              % False
-   \newcommand  \Top              {\lgx{E017}}              % Lattice / type top
-   \newcommand  \Bot              {\lgx{E016}}              % Lattice / type  bottom
-
-   \newcommand  \QuantCon         {\lgx{E891}}              % Quantified Conjunction
-   \newcommand  \QuantDis         {\lgx{E890}}              % Quantified Disjuntion
-   \newcommand  \ForAll           {\lgx{E8C0}}              % Universal Individual Quantifier
-   \newcommand  \Exists           {\lgx{E8C1}}              % Existential Individual Quantifier
-   \newcommand  \Unique           {\lgx{E8C2}}              % Unique Existential Individual Quantifier
-   \newcommand  \BnchForAll       {\lgx{E8D0}}              % Universal Bunch Quantifier
-   \newcommand  \BnchExists       {\lgx{E8D1}}              % Existential Bunch Quantifier
-   \newcommand  \BnchUnique       {\lgx{E8D2}}              % Unique Existential Bunch Quantifier
-   \newcommand  \BndMap           {\lgx{E030}}              % Map Abstraction
-
-   \newcommand  \Dt               {\lgx{E098}}              % Dot
-   \newcommand  \Comma            {\lgx{E099}}              % Comma
-   \newcommand  \Semicln          {\lgx{E09A}}              % Semicolon
-   \newcommand  \Cln              {\lgx{E091}}              % Colon
-   \newcommand  \Thus             {\lgx{E092}}              % Thus
-   \newcommand  \Since            {\lgx{E093}}              % Since
-   \newcommand  \Dts              {\lgx{E096}}              % Dots (ellipsis)
-   \newcommand  \BndDot           {\lgx{E090}}              % Binding Dot
-   \newcommand  \BndBar           {\lgm{E380}}              % Binding Bar
-   \newcommand  \BndBarS          {\middle\BndBar}          % Stretchy Binding Bar
-   \newcommand  \LngVrtBar        {\lgx{E0EC}}              % Long Vertical Bar
-   \newcommand  \Queston          {\lgx{E02C}}              % Question mark
-   \newcommand  \Exclaim          {\lgx{E02D}}              % Exclamation point
-   \newcommand  \Percent          {\lgx{E03C}}              % Percent sign
-   \newcommand  \Ampersand        {\lgx{E03D}}              % Ampersand
-   \newcommand  \Dollar           {\lgx{E05F}}              % Dollar sign
-   \newcommand  \At               {\lgx{E03E}}              % At sign
-   \newcommand  \Circumflex       {\lgx{E03F}}              % ASCII Circumflex
-   \newcommand  \Number           {\lgx{E04F}}              % Number sign
-   \newcommand  \Underscore       {\lgx{E09E}}              % Underscore
-   \newcommand  \Tild             {\lgx{007E}}              % Tilde  E64C
-   \newcommand  \SingleQuote      {\lgx{E09C}}              % Single quote
-   \newcommand  \DoubleQuote      {\lgx{E09B}}              % Double quote
-   \newcommand  \BackQuote        {\lgx{E09D}}              % Back quote (grave)
-   \newcommand  \LeftSlash        {\lgx{E103}}              % Left (back) slash
-   \newcommand  \RightSlash       {\lgx{E102}}              % Right (forward) slash
-
-   \newcommand  \ShftSuper        {\lgx{EAC3}}              % Shift for superscripts
-   \newcommand  \ShftSubscr       {\lgx{EAC4}}              % Shift for subscripts
-   \newcommand  \ShftAccent       {\lgx{EAC5}}              % Shift for accents
-
-   \newcommand  \RplcAllBndRight  {\lgx{E9D4}}              % Replace All Bound Variables (right)
-   \newcommand  \RplcAllBndLeft   {\lgx{E9D5}}              % Replace All Bound Variables (left)
-   \newcommand  \RplcAllRight     {\lgx{E9DA}}              % Replace All (right)
-   \newcommand  \RplcAllLeft      {\lgx{E9DB}}              % Replace All (left)
-   \newcommand  \RplcFreeRight    {\lgx{E9F0}}              % Replace Any Free Variables (right)
-   \newcommand  \RplcFreeLeft     {\lgx{E9F1}}              % Replace Any Free Variables (left)
-   \newcommand  \RplcEquvRight    {\lgx{E9F8}}              % Replace Equivalent Expressions (right)
-   \newcommand  \RplcEquvLeft     {\lgx{E9F9}}              % Replace Equivalent Expressions (left)
-
-   \newcommand  \LstFix           {\lgx{E031}}              % Least Fixed Point
-   \newcommand  \GrtFix           {\lgx{E032}}              % Greatest Fixed Point
-   \newcommand  \Choice           {\lgx{E033}}              % Choice
-   \newcommand  \ExLstFix         {\lgx{E034}}              % Extended Least Fixed Point
-   \newcommand  \ExGrtFix         {\lgx{E035}}              % Extended Greatest Fixed Point
-   \newcommand  \FrstOrd          {\lgx{E039}}              % First Ordinal (omega)
-
-   \newcommand  \LogNec           {\lgx{E230}}              % Logical Necessity   (temporal always or henceforth)
-   \newcommand  \LogPos           {\lgx{E232}}              % Logical Possibility (temporal sometime or eventually)
-   \newcommand  \LogNext          {\lgx{E233}}              % Logical Next        (temporal next or nexttime)
-   \newcommand  \LogFutr          {\lgx{E234}}              % Logical Future      (temporal in the future)
-   \newcommand  \LogPast          {\lgx{E235}}              % Logical Past        (temporal in the past)
-   \newcommand  \LogCont          {\lgx{E236}}              % Logical Contingency
-   \newcommand  \LogNonCont       {\lgx{E237}}              % Logical Non-contingency
-
-   \newcommand  \Nec              {\lgx{E270}}              % Necessity   (temporal always or henceforth)
-   \newcommand  \Pos              {\lgx{E272}}              % Possibility (temporal sometime or eventually)
-   \newcommand  \Next             {\lgx{E273}}              % Next        (temporal next or nexttime)
-   \newcommand  \Futr             {\lgx{E274}}              % Future      (temporal in the future)
-   \newcommand  \Past             {\lgx{E275}}              % Past        (temporal in the past)
-   \newcommand  \Cont             {\lgx{E276}}              % Contingency
-   \newcommand  \NonCont          {\lgx{E277}}              % Non-contingency
-
-   \newcommand  \FacNec           {\lgx{E220}}              % Factual Necessity   (temporal always or henceforth)
-   \newcommand  \FacPos           {\lgx{E222}}              % Factual Possibility (temporal sometime or eventually)
-   \newcommand  \FacNext          {\lgx{E223}}              % Factual Next        (temporal next or nexttime)
-   \newcommand  \FacFutr          {\lgx{E224}}              % Factual Future      (temporal in the future)
-   \newcommand  \FacPast          {\lgx{E225}}              % Factual Past        (temporal in the past)
-   \newcommand  \FacCont          {\lgx{E226}}              % Factual Contingency
-   \newcommand  \FacNonCont       {\lgx{E227}}              % Factual Non-contingency
-
-   \newcommand  \Of               {\lgx{E600}}              % Bunch Inclusion
-   \newcommand  \In               {\lgx{E602}}              % Set Membership
-   \newcommand  \NotIn            {\lgx{E603}}              % Set Membership Negated
-
-   \newcommand  \EmptyBunch       {\lgx{E054}}              % Empty Bunch
-   \newcommand  \NullSet          {\lgx{E053}}              % Null Set
-
-   \newcommand  \BnchMeet         {\lgx{E710}}              % Bunch Meet
-   \newcommand  \BnchJoin         {\lgx{E711}}              % Bunch Join
-
-   \newcommand  \StrctSbnch       {\lgx{E718}}              % Strict Subbunch
-   \newcommand  \NotStrctSbnch    {\lgx{E719}}              % Strict Subbunch Negated
-   \newcommand  \Sbnch            {\lgx{E71A}}              % Subbunch
-   \newcommand  \NotSbnch         {\lgx{E71B}}              % Subbunch Negated
-
-   \newcommand  \StrctWkSbnch     {\lgx{E738}}              % Strict Weak Subbunch
-   \newcommand  \NotStrctWkSbnch  {\lgx{E739}}              % Strict Weak Subbunch Negated
-   \newcommand  \WkSbnch          {\lgx{E73A}}              % Weak Subbunch
-   \newcommand  \NotWkSbnch       {\lgx{E73B}}              % Weak Subbunch Negated
-
-   \newcommand  \MapMeet          {\lgx{E760}}              % Map Meet
-   \newcommand  \MapJoin          {\lgx{E761}}              % Map Join
-
-   \newcommand  \StrctSbmap       {\lgx{E768}}              % Strict Submap
-   \newcommand  \NotStrctSbmap    {\lgx{E769}}              % Strict Submap Negated
-   \newcommand  \Sbmap            {\lgx{E76A}}              % Submap
-   \newcommand  \NotSbmap         {\lgx{E76B}}              % Submap Negated
-
-   \newcommand  \SetMeet          {\lgx{E790}}              % Set Intersection
-   \newcommand  \SetJoin          {\lgx{E791}}              % Set Union
-   \newcommand  \Normal           {\lgx{E2E5}}              % Normal Subgroup
-   \newcommand  \SetSymDiff       {\lgx{E2E7}}              % Set Symmetric Difference
-
-   \newcommand  \StrctSbset       {\lgx{E798}}              % Strict Subset
-   \newcommand  \NotStrctSbset    {\lgx{E799}}              % Strict Subset Negated
-   \newcommand  \Sbset            {\lgx{E79A}}              % Subset
-   \newcommand  \NotSbset         {\lgx{E79B}}              % Subset Negated
-
-   \newcommand  \QuantBnchMeet    {\lgx{E895}}              % Bunch Meet Quantifier
-   \newcommand  \QuantBnchJoin    {\lgx{E894}}              % Bunch Join Quantifier
-   \newcommand  \QuantSetMeet     {\lgx{E893}}              % Set Intersection Quantifier
-   \newcommand  \QuantSetJoin     {\lgx{E892}}              % Set Union Quantifier
-
-   \newcommand  \Ls               {\lgx{E6A8}}              % Less Than
-   \newcommand  \Lse              {\lgx{E6AA}}              % Less Than or Equal
-   \newcommand  \Eq               {\lgx{E656}}              % Equal
-   \newcommand  \Sm               {\lgx{E658}}              % Similar
-   \newcommand  \Gr               {\lgx{E6AE}}              % Greater Than
-   \newcommand  \Gre              {\lgx{E6AC}}              % Greater Than or Equal
-
-   \newcommand  \NotLs            {\lgx{E6A9}}              % Not Less Than
-   \newcommand  \NotLse           {\lgx{E6AB}}              % Not Less Than or Equal
-   \newcommand  \NotEq            {\lgx{E657}}              % Not Equal
-   \newcommand  \NotSm            {\lgx{E659}}              % Not Similar
-   \newcommand  \NotGr            {\lgx{E6AF}}              % Not Greater Than
-   \newcommand  \NotGre           {\lgx{E6AD}}              % Not Greater Than or Equal
-
-   \newcommand  \Pre              {\lgx{E6C8}}              % Precedes
-   \newcommand  \Preq             {\lgx{E6CA}}              % Precedes or Equal
-   \newcommand  \Suc              {\lgx{E6CE}}              % Succeeds
-   \newcommand  \Sucq             {\lgx{E6CC}}              % Succeeds or Equal
-
-   \newcommand  \NotPre           {\lgx{E6C9}}              % Not Precedes
-   \newcommand  \NotPreq          {\lgx{E6CB}}              % Not Precedes or Equal
-   \newcommand  \NotSuc           {\lgx{E6CF}}              % Not Succeeds
-   \newcommand  \NotSucq          {\lgx{E6CD}}              % Not Succeeds or Equal
-
-   \newcommand  \Minus            {\lgx{E0C7}}              % Minus
-   \newcommand  \Plus             {\lgx{E0C6}}              % Plus
-   \newcommand  \PlusMinus        {\lgx{E0CE}}              % Plus / Minus
-   \newcommand  \MinusPlus        {\lgx{E0CF}}              % Minus / Plus
-   \newcommand  \Asterick         {\lgx{E0C4}}              % Asterick
-   \newcommand  \Divide           {\lgx{E103}}              % Divide
-   \newcommand  \Times            {\lgx{E0C5}}              % Times
-
-   \newcommand  \Append           {\lgx{E0CB}}              % Append
-   \newcommand  \Concat           {\lgx{E0CD}}              % Concatenation
-
-   \newcommand  \CircPlus         {\lgx{E12B}}              % Large Circled Plus
-   \newcommand  \CircTimes        {\lgx{E12C}}              % Large Circled Times
-   \newcommand  \CircStar         {\lgx{E11D}}              % Circled Star
-
-   \newcommand  \Dagger           {\lgx{E05B}}              % Single dagger
-   \newcommand  \Ddagger          {\lgx{E05C}}              % Double horizontal dagger
-   \newcommand  \Daggerr          {\lgx{E05D}}              % Double vertical dagger
-   \newcommand  \Ddaggerr         {\lgx{E05E}}              % Double horizontal and vertical dagger
+   \newcommand  \OpnBar           {\lgl{E300}\relax}              % Open Vertical Bar
+   \newcommand  \OpnGrp           {\lgl{E301}\relax}              % Open Group Brace
+   \newcommand  \OpnParn          {\lgl{E302}\relax}              % Open Parenthesis
+   \newcommand  \OpnBrac          {\lgl{E303}\relax}              % Open Curly Brace
+   \newcommand  \OpnBrknBrac      {\lgl{E304}\relax}              % Open Curly Broken Brace
+   \newcommand  \OpnCircBrac      {\lgl{E305}\relax}              % Open Curly Circle Brace
+   \newcommand  \OpnArrwBrac      {\lgl{E306}\relax}              % Open Arrow Brace
+   \newcommand  \OpnBrkt          {\lgl{E307}\relax}              % Open Square Bracket
+   \newcommand  \OpnCrlyBrkt      {\lgl{E308}\relax}              % Open Square Curly Bracket
+   \newcommand  \OpnBrknBrkt      {\lgl{E309}\relax}              % Open Square Broken Bracket
+   \newcommand  \OpnCircBrkt      {\lgl{E30A}\relax}              % Open Square Circle Bracket
+   \newcommand  \OpnTortoise      {\lgl{E30B}\relax}              % Open Tortoise Shell
+   \newcommand  \OpnAngl          {\lgl{E30C}\relax}              % Open Angle Bracket
+   \newcommand  \OpnDblBrac       {\lgl{E30D}\relax}              % Open Double Curly Brace
+   \newcommand  \OpnDblAngl       {\lgl{E30E}\relax}              % Open Double Angle Bracket
+   \newcommand  \OpnSqrParn       {\lgl{E30F}\relax}              % Open Square Parenthesis
+   \newcommand  \OpnParnBar       {\lgl{E310}\relax}              % Open Parenthesis with Bar
+   \newcommand  \OpnBracBar       {\lgl{E311}\relax}              % Open Brace with Bar
+   \newcommand  \OpnBrknBracBar   {\lgl{E312}\relax}              % Open Broken Brace with Bar
+   \newcommand  \OpnCircBracBar   {\lgl{E313}\relax}              % Open Circle Brace with Bar
+   \newcommand  \OpnBrktBar       {\lgl{E314}\relax}              % Open Bracket with Bar
+   \newcommand  \OpnCrlyBrktBar   {\lgl{E315}\relax}              % Open Curly Bracket with Bar
+   \newcommand  \OpnBrknBrktBar   {\lgl{E316}\relax}              % Open Broken Bracket with Bar
+   \newcommand  \OpnCircBrktBar   {\lgl{E317}\relax}              % Open Circle Bracket with Bar
+   \newcommand  \OpnTortoiseBar   {\lgl{E318}\relax}              % Open Tortoise Shell with Bar
+   \newcommand  \OpnAnglBar       {\lgl{E319}\relax}              % Open Angle Bracket with Bar
+   \newcommand  \OpnCurvAngl      {\lgl{E31A}\relax}              % Open Curved Angle Bracket
+   \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  \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  \OpnBarS          {\left\OpnBar\relax}            % Stretchy Open Vertical Bar
+   \newcommand  \OpnGrpS          {\left\OpnGrp\relax}            % Stretchy Open Group Brace
+   \newcommand  \OpnParnS         {\left\OpnParn\relax}           % Stretchy Open Parenthesis
+   \newcommand  \OpnBracS         {\left\OpnBrac\relax}           % Stretchy Open Curly Brace
+   \newcommand  \OpnBrknBracS     {\left\OpnBrknBrac\relax}       % Stretchy Open Curly Broken Brace
+   \newcommand  \OpnCircBracS     {\left\OpnCircBrac\relax}       % Stretchy Open Curly Circle Brace
+   \newcommand  \OpnArrwBracS     {\left\OpnArrwBrac\relax}       % Stretchy Open Arrow Brace
+   \newcommand  \OpnBrktS         {\left\OpnBrkt\relax}           % Stretchy Open Square Bracket
+   \newcommand  \OpnCrlyBrktS     {\left\OpnCrlyBrkt\relax}       % Stretchy Open Square Curly Bracket
+   \newcommand  \OpnBrknBrktS     {\left\OpnBrknBrkt\relax}       % Stretchy Open Square Broken Bracket
+   \newcommand  \OpnCircBrktS     {\left\OpnCircBrkt\relax}       % Stretchy Open Square Circle Bracket
+   \newcommand  \OpnTortoiseS     {\left\OpnTortoise\relax}       % Stretchy Open Tortoise Shell
+   \newcommand  \OpnAnglS         {\left\OpnAngl\relax}           % Stretchy Open Angle Bracket
+   \newcommand  \OpnDblBracS      {\left\OpnDblBrac\relax}        % Stretchy Open Double Curly Brace
+   \newcommand  \OpnDblAnglS      {\left\OpnDblAngl\relax}        % Stretchy Open Double Angle Bracket
+   \newcommand  \OpnSqrParnS      {\left\OpnSqrParn\relax}        % Stretchy Open Square Parenthesis
+   \newcommand  \OpnParnBarS      {\left\OpnParnBar\relax}        % Stretchy Open Parenthesis with Bar
+   \newcommand  \OpnBracBarS      {\left\OpnBracBar\relax}        % Stretchy Open Brace with Bar
+   \newcommand  \OpnBrknBracBarS  {\left\OpnBrknBracBar\relax}    % Stretchy Open Broken Brace with Bar
+   \newcommand  \OpnCircBracBarS  {\left\OpnCircBracBar\relax}    % Stretchy Open Circle Brace with Bar
+   \newcommand  \OpnBrktBarS      {\left\OpnBrktBar\relax}        % Stretchy Open Bracket with Bar
+   \newcommand  \OpnCrlyBrktBarS  {\left\OpnCrlyBrktBar\relax}    % Stretchy Open Curly Bracket with Bar
+   \newcommand  \OpnBrknBrktBarS  {\left\OpnBrknBrktBar\relax}    % Stretchy Open Broken Bracket with Bar
+   \newcommand  \OpnCircBrktBarS  {\left\OpnCircBrktBar\relax}    % Stretchy Open Circle Bracket with Bar
+   \newcommand  \OpnTortoiseBarS  {\left\OpnTortoiseBar\relax}    % Stretchy Open Tortoise Shell with Bar
+   \newcommand  \OpnAnglBarS      {\left\OpnAnglBar\relax}        % Stretchy Open Angle Bracket with Bar
+   \newcommand  \OpnCurvAnglS     {\left\OpnCurvAngl\relax}       % Stretchy Open Curved Angle Bracket
+   \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  \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  \ClsBar           {\lgr{E340}\relax}              % Close Bar
+   \newcommand  \ClsGrp           {\lgr{E341}\relax}              % Close Group Brace
+   \newcommand  \ClsParn          {\lgr{E342}\relax}              % Close Parenthesis
+   \newcommand  \ClsBrac          {\lgr{E343}\relax}              % Close Curly Brace
+   \newcommand  \ClsBrknBrac      {\lgr{E344}\relax}              % Close Curly Broken Brace
+   \newcommand  \ClsCircBrac      {\lgr{E345}\relax}              % Close Curly Circle Brace
+   \newcommand  \ClsArrwBrac      {\lgr{E346}\relax}              % Close Arrow Brace
+   \newcommand  \ClsBrkt          {\lgr{E347}\relax}              % Close Square Bracket
+   \newcommand  \ClsCrlyBrkt      {\lgr{E348}\relax}              % Close Square Curly Bracket
+   \newcommand  \ClsBrknBrkt      {\lgr{E349}\relax}              % Close Square Broken Bracket
+   \newcommand  \ClsCircBrkt      {\lgr{E34A}\relax}              % Close Square Circle Bracket
+   \newcommand  \ClsTortoise      {\lgr{E34B}\relax}              % Close Tortoise Shell
+   \newcommand  \ClsAngl          {\lgr{E34C}\relax}              % Close Angle Bracket
+   \newcommand  \ClsDblBrac       {\lgr{E34D}\relax}              % Close Double Curly Brace
+   \newcommand  \ClsDblAngl       {\lgr{E34E}\relax}              % Close Double Angle Bracket
+   \newcommand  \ClsSqrParn       {\lgr{E34F}\relax}              % Close Square Parenthesis
+   \newcommand  \ClsParnBar       {\lgr{E350}\relax}              % Close Parenthesis with Bar
+   \newcommand  \ClsBracBar       {\lgr{E351}\relax}              % Close Brace with Bar
+   \newcommand  \ClsBrknBracBar   {\lgr{E352}\relax}              % Close Broken Brace with Bar
+   \newcommand  \ClsCircBracBar   {\lgr{E353}\relax}              % Close Circle Brace with Bar
+   \newcommand  \ClsBrktBar       {\lgr{E354}\relax}              % Close Bracket with Bar
+   \newcommand  \ClsCrlyBrktBar   {\lgr{E355}\relax}              % Close Curly Bracket with Bar
+   \newcommand  \ClsBrknBrktBar   {\lgr{E356}\relax}              % Close Broken Bracket with Bar
+   \newcommand  \ClsCircBrktBar   {\lgr{E357}\relax}              % Close Circle Bracket with Bar
+   \newcommand  \ClsTortoiseBar   {\lgr{E358}\relax}              % Close Tortoise Shell with Bar
+   \newcommand  \ClsAnglBar       {\lgr{E359}\relax}              % Close Angle Bracket with Bar
+   \newcommand  \ClsCurvAngl      {\lgr{E35A}\relax}              % Close Curved Angle Bracket
+   \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  \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  \ClsBarS          {\right\ClsBar\relax}           % Stretchy Close Bar
+   \newcommand  \ClsGrpS          {\right\ClsGrp\relax}           % Stretchy Close Group Brace
+   \newcommand  \ClsParnS         {\right\ClsParn\relax}          % Stretchy Close Parenthesis
+   \newcommand  \ClsBracS         {\right\ClsBrac\relax}          % Stretchy Close Curly Brace
+   \newcommand  \ClsBrknBracS     {\right\ClsBrknBrac\relax}      % Stretchy Close Curly Broken Brace
+   \newcommand  \ClsCircBracS     {\right\ClsCircBrac\relax}      % Stretchy Close Curly Circle Brace
+   \newcommand  \ClsArrwBracS     {\right\ClsArrwBrac\relax}      % Stretchy Close Arrow Brace
+   \newcommand  \ClsBrktS         {\right\ClsBrkt\relax}          % Stretchy Close Square Bracket
+   \newcommand  \ClsCrlyBrktS     {\right\ClsCrlyBrkt\relax}      % Stretchy Close Square Curly Bracket
+   \newcommand  \ClsBrknBrktS     {\right\ClsBrknBrkt\relax}      % Stretchy Close Square Broken Bracket
+   \newcommand  \ClsCircBrktS     {\right\ClsCircBrkt\relax}      % Stretchy Close Square Circle Bracket
+   \newcommand  \ClsTortoiseS     {\right\ClsTortoise\relax}      % Stretchy Close Tortoise Shell
+   \newcommand  \ClsAnglS         {\right\ClsAngl\relax}          % Stretchy Close Angle Bracket
+   \newcommand  \ClsDblBracS      {\right\ClsDblBrac\relax}       % Stretchy Close Double Curly Brace
+   \newcommand  \ClsDblAnglS      {\right\ClsDblAngl\relax}       % Stretchy Close Double Angle Bracket
+   \newcommand  \ClsSqrParnS      {\right\ClsSqrParn\relax}       % Stretchy Close Square Parenthesis
+   \newcommand  \ClsParnBarS      {\right\ClsParnBar\relax}       % Stretchy Close Parenthesis with Bar
+   \newcommand  \ClsBracBarS      {\right\ClsBracBar\relax}       % Stretchy Close Brace with Bar
+   \newcommand  \ClsBrknBracBarS  {\right\ClsBrknBracBar\relax}   % Stretchy Close Broken Brace with Bar
+   \newcommand  \ClsCircBracBarS  {\right\ClsCircBracBar\relax}   % Stretchy Close Circle Brace with Bar
+   \newcommand  \ClsBrktBarS      {\right\ClsBrktBar\relax}       % Stretchy Close Bracket with Bar
+   \newcommand  \ClsCrlyBrktBarS  {\right\ClsCrlyBrktBar\relax}   % Stretchy Close Curly Bracket with Bar
+   \newcommand  \ClsBrknBrktBarS  {\right\ClsBrknBrktBar\relax}   % Stretchy Close Broken Bracket with Bar
+   \newcommand  \ClsCircBrktBarS  {\right\ClsCircBrktBar\relax}   % Stretchy Close Circle Bracket with Bar
+   \newcommand  \ClsTortoiseBarS  {\right\ClsTortoiseBar\relax}   % Stretchy Close Tortoise Shell with Bar
+   \newcommand  \ClsAnglBarS      {\right\ClsAnglBar\relax}       % Stretchy Close Angle Bracket with Bar
+   \newcommand  \ClsCurvAnglS     {\right\ClsCurvAngl\relax}      % Stretchy Close Curved Angle Bracket
+   \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  \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  \MapParInMul      {\lgx{EAA0}\relax}              % Continuous, Partial, Into Multi-Map
+   \newcommand  \MapParInSng      {\lgx{EAA1}\relax}              % Continuous, Partial, Into, Singleton Map
+   \newcommand  \MapParInOne      {\lgx{EAA2}\relax}              % Continuous, Partial, Into, One-To-One Map
+   \newcommand  \MapParOnMul      {\lgx{EAA8}\relax}              % Continuous, Partial, Onto Multi-Map
+   \newcommand  \MapParOnSng      {\lgx{EAA9}\relax}              % Continuous, Partial, Onto, Singleton Map
+   \newcommand  \MapParOnOne      {\lgx{EAAA}\relax}              % Continuous, Partial, Onto, One-To-One Map
+   \newcommand  \MapParInGndMul   {\lgx{EAB0}\relax}              % Continuous, Partial, Into, Grounded Multi-Map
+   \newcommand  \MapParInGndSng   {\lgx{EAB1}\relax}              % Continuous, Partial, Into, Grounded, Singleton Map
+   \newcommand  \MapParInGndOne   {\lgx{EAB2}\relax}              % Continuous, Partial, Into, Grounded, One-To-One Map
+   \newcommand  \MapParOnGndMul   {\lgx{EAB8}\relax}              % Continuous, Partial, Onto, Grounded Multi-Map
+   \newcommand  \MapParOnGndSng   {\lgx{EAB9}\relax}              % Continuous, Partial, Onto, Grounded, Singleton Map
+   \newcommand  \MapParOnGndOne   {\lgx{EABA}\relax}              % Continuous, Partial, Onto, Grounded, One-To-One Map
+
+   \newcommand  \MapTotInMul      {\lgx{EA80}\relax}              % Continuous, Total, Into Multi-Map
+   \newcommand  \MapTotInSng      {\lgx{EA81}\relax}              % Continuous, Total, Into, Singleton Map
+   \newcommand  \MapTotInOne      {\lgx{EA82}\relax}              % Continuous, Total, Into, One-To-One Map
+   \newcommand  \MapTotOnMul      {\lgx{EA88}\relax}              % Continuous, Total, Onto Multi-Map
+   \newcommand  \MapTotOnSng      {\lgx{EA89}\relax}              % Continuous, Total, Onto, Singleton Map
+   \newcommand  \MapTotOnOne      {\lgx{EA8A}\relax}              % Continuous, Total, Onto, One-To-One Map
+   \newcommand  \MapTotInGndMul   {\lgx{EA90}\relax}              % Continuous, Total, Into, Grounded Multi-Map
+   \newcommand  \MapTotInGndSng   {\lgx{EA91}\relax}              % Continuous, Total, Into, Grounded, Singleton Map
+   \newcommand  \MapTotInGndOne   {\lgx{EA92}\relax}              % Continuous, Total, Into, Grounded, One-To-One Map
+   \newcommand  \MapTotOnGndMul   {\lgx{EA98}\relax}              % Continuous, Total, Onto, Grounded Multi-Map
+   \newcommand  \MapTotOnGndSng   {\lgx{EA99}\relax}              % Continuous, Total, Onto, Grounded, Singleton Map
+   \newcommand  \MapTotOnGndOne   {\lgx{EA9A}\relax}              % Continuous, Total, Onto, Grounded, One-To-One Map
+
+   \newcommand  \FunParInMul      {\lgx{EAA4}\relax}              % Continuous, Partial, Into Multi-Function
+   \newcommand  \FunParInSng      {\lgx{EAA5}\relax}              % Continuous, Partial, Into, Singleton Function
+   \newcommand  \FunParInOne      {\lgx{EAA6}\relax}              % Continuous, Partial, Into, One-To-One Function
+   \newcommand  \FunParOnMul      {\lgx{EAAC}\relax}              % Continuous, Partial, Onto Multi-Function
+   \newcommand  \FunParOnSng      {\lgx{EAAD}\relax}              % Continuous, Partial, Onto, Singleton Function
+   \newcommand  \FunParOnOne      {\lgx{EAAE}\relax}              % Continuous, Partial, Onto, One-To-One Function
+   \newcommand  \FunParInGndMul   {\lgx{EAB4}\relax}              % Continuous, Partial, Into, Grounded Multi-Function
+   \newcommand  \FunParInGndSng   {\lgx{EAB5}\relax}              % Continuous, Partial, Into, Grounded, Singleton Function
+   \newcommand  \FunParInGndOne   {\lgx{EAB6}\relax}              % Continuous, Partial, Into, Grounded, One-To-One Function
+   \newcommand  \FunParOnGndMul   {\lgx{EABC}\relax}              % Continuous, Partial, Onto, Grounded Multi-Function
+   \newcommand  \FunParOnGndSng   {\lgx{EABD}\relax}              % Continuous, Partial, Onto, Grounded, Singleton Function
+   \newcommand  \FunParOnGndOne   {\lgx{EABE}\relax}              % Continuous, Partial, Onto, Grounded, One-To-One Function
+
+   \newcommand  \FunTotInMul      {\lgx{EA84}\relax}              % Continuous, Total, Into Multi-Function
+   \newcommand  \FunTotInSng      {\lgx{EA85}\relax}              % Continuous, Total, Into, Singleton Function
+   \newcommand  \FunTotInOne      {\lgx{EA86}\relax}              % Continuous, Total, Into, One-To-One Function
+   \newcommand  \FunTotOnMul      {\lgx{EA8C}\relax}              % Continuous, Total, Onto Multi-Function
+   \newcommand  \FunTotOnSng      {\lgx{EA8D}\relax}              % Continuous, Total, Onto, Singleton Function
+   \newcommand  \FunTotOnOne      {\lgx{EA8E}\relax}              % Continuous, Total, Onto, One-To-One Function
+   \newcommand  \FunTotInGndMul   {\lgx{EA94}\relax}              % Continuous, Total, Into, Grounded Multi-Function
+   \newcommand  \FunTotInGndSng   {\lgx{EA95}\relax}              % Continuous, Total, Into, Grounded, Singleton Function
+   \newcommand  \FunTotInGndOne   {\lgx{EA96}\relax}              % Continuous, Total, Into, Grounded, One-To-One Function
+   \newcommand  \FunTotOnGndMul   {\lgx{EA9C}\relax}              % Continuous, Total, Onto, Grounded Multi-Function
+   \newcommand  \FunTotOnGndSng   {\lgx{EA9D}\relax}              % Continuous, Total, Onto, Grounded, Singleton Function
+   \newcommand  \FunTotOnGndOne   {\lgx{EA9E}\relax}              % Continuous, Total, Onto, Grounded, One-To-One Function
+
+   \newcommand  \MapComp          {\lgx{E23C}\relax}              % Map Composition
+   \newcommand  \FncComp          {\lgx{E239}\relax}              % Function Composition
+   \newcommand  \FncCnvrs         {\lgx{E2C3}\relax}              % Function Converse
+
+   \newcommand  \SFunc            {\lgx{E9DC}\relax}              % Short Function
+   \newcommand  \Func             {\lgx{E9DD}\relax}              % Function
+   \newcommand  \LFunc            {\lgx{E9DE}\relax}              % Long Function
+   \newcommand  \XFunc            {\lgx{E9DF}\relax}              % Extra Long Function
+
+   \newcommand  \ClsImpl          {\lgx{E79E}\relax}              % Classical Implication
+   \newcommand  \NotClsImpl       {\lgx{E79F}\relax}              % Not Classical Implication
+   \newcommand  \ClsEquv          {\lgx{E666}\relax}              % Classical Equivalence
+   \newcommand  \NotClsEquv       {\lgx{E667}\relax}              % Not Classical Equivalence
+
+   \newcommand  \SWkMtImpl        {\lgx{E810}\relax}              % Short Weak Material Implication
+   \newcommand  \NotSWkMtImpl     {\lgx{E811}\relax}              % Short Not Weak Material Implication
+   \newcommand  \SWkMtEquv        {\lgx{E812}\relax}              % Short Weak Material Equivalence
+   \newcommand  \NotSWkMtEquv     {\lgx{E813}\relax}              % Short Not Weak Material Equivalence
+   \newcommand  \WkMtImpl         {\lgx{E814}\relax}              % Weak Material Implication
+   \newcommand  \NotWkMtImpl      {\lgx{E815}\relax}              % Not Weak Material Implication
+   \newcommand  \WkMtEquv         {\lgx{E816}\relax}              % Weak Material Equivalence
+   \newcommand  \NotWkMtEquv      {\lgx{E817}\relax}              % Not Weak Material Equivalence
+   \newcommand  \LWkMtImpl        {\lgx{E818}\relax}              % Long Weak Material Implication
+   \newcommand  \NotLWkMtImpl     {\lgx{E819}\relax}              % Long Not Weak Material Implication
+   \newcommand  \LWkMtEquv        {\lgx{E81A}\relax}              % Long Weak Material Equivalence
+   \newcommand  \NotLWkMtEquv     {\lgx{E81B}\relax}              % Long Not Weak Material Equivalence
+   \newcommand  \XWkMtImpl        {\lgx{E81C}\relax}              % Extra Long Weak Material Implication
+   \newcommand  \NotXWkMtImpl     {\lgx{E81D}\relax}              % Extra Long Not Weak Material Implication
+   \newcommand  \XWkMtEquv        {\lgx{E81E}\relax}              % Extra Long Weak Material Equivalence
+   \newcommand  \NotXWkMtEquv     {\lgx{E81F}\relax}              % Extra Long Not Weak Material Equivalence
+
+   \newcommand  \SMtImpl          {\lgx{E820}\relax}              % Short WMaterial Implication
+   \newcommand  \NotSMtImpl       {\lgx{E821}\relax}              % Short NNot Material Implication
+   \newcommand  \SMtEquv          {\lgx{E822}\relax}              % Short WMaterial Equivalence
+   \newcommand  \NotSMtEquv       {\lgx{E823}\relax}              % Short NNot Material Equivalence
+   \newcommand  \MtImpl           {\lgx{E824}\relax}              % Material Implication
+   \newcommand  \NotMtImpl        {\lgx{E825}\relax}              % Not Material Implication
+   \newcommand  \MtEquv           {\lgx{E826}\relax}              % Material Equivalence
+   \newcommand  \NotMtEquv        {\lgx{E827}\relax}              % Not Material Equivalence
+   \newcommand  \LMtImpl          {\lgx{E828}\relax}              % Long Material Implication
+   \newcommand  \NotLMtImpl       {\lgx{E829}\relax}              % Long Not Material Implication
+   \newcommand  \LMtEquv          {\lgx{E82A}\relax}              % Long Material Equivalence
+   \newcommand  \NotLMtEquv       {\lgx{E82B}\relax}              % Long Not Material Equivalence
+   \newcommand  \XMtImpl          {\lgx{E82C}\relax}              % Extra Long Material Implication
+   \newcommand  \NotXMtImpl       {\lgx{E82D}\relax}              % Extra Long Not Material Implication
+   \newcommand  \XMtEquv          {\lgx{E82E}\relax}              % Extra Long Material Equivalence
+   \newcommand  \NotXMtEquv       {\lgx{E82F}\relax}              % Extra Long Not Material Equivalence
+
+   \newcommand  \SInImpl          {\lgx{E830}\relax}              % Short WIntuitionistic Implication
+   \newcommand  \NotSInImpl       {\lgx{E831}\relax}              % Short NNot Intuitionistic Implication
+   \newcommand  \SInEquv          {\lgx{E832}\relax}              % Short WIntuitionistic Equivalence
+   \newcommand  \NotSInEquv       {\lgx{E833}\relax}              % Short NNot Intuitionistic Equivalence
+   \newcommand  \InImpl           {\lgx{E834}\relax}              % Intuitionistic Implication
+   \newcommand  \NotInImpl        {\lgx{E835}\relax}              % Not Intuitionistic Implication
+   \newcommand  \InEquv           {\lgx{E836}\relax}              % Intuitionistic Equivalence
+   \newcommand  \NotInEquv        {\lgx{E837}\relax}              % Not Intuitionistic Equivalence
+   \newcommand  \LInImpl          {\lgx{E838}\relax}              % Long Intuitionistic Implication
+   \newcommand  \NotLInImpl       {\lgx{E839}\relax}              % Long Not Intuitionistic Implication
+   \newcommand  \LInEquv          {\lgx{E83A}\relax}              % Long Intuitionistic Equivalence
+   \newcommand  \NotLInEquv       {\lgx{E83B}\relax}              % Long Not Intuitionistic Equivalence
+   \newcommand  \XInImpl          {\lgx{E83C}\relax}              % Extra Long Intuitionistic Implication
+   \newcommand  \NotXInImpl       {\lgx{E83D}\relax}              % Extra Long Not Intuitionistic Implication
+   \newcommand  \XInEquv          {\lgx{E83E}\relax}              % Extra Long Intuitionistic Equivalence
+   \newcommand  \NotXInEquv       {\lgx{E83F}\relax}              % Extra Long Not Intuitionistic Equivalence
+
+   \newcommand  \SWkImpl          {\lgx{E840}\relax}              % Short WWeak Implication
+   \newcommand  \NotSWkImpl       {\lgx{E841}\relax}              % Short NNot Weak Implication
+   \newcommand  \SWkEquv          {\lgx{E842}\relax}              % Short WWeak Implication Equivalence
+   \newcommand  \NotSWkEquv       {\lgx{E843}\relax}              % Short NNot Weak Implication Equivalence
+   \newcommand  \WkImpl           {\lgx{E844}\relax}              % Weak Implication
+   \newcommand  \NotWkImpl        {\lgx{E845}\relax}              % Not Weak Implication
+   \newcommand  \WkEquv           {\lgx{E846}\relax}              % Weak Implication Equivalence
+   \newcommand  \NotWkEquv        {\lgx{E847}\relax}              % Not Weak Implication Equivalence
+   \newcommand  \LWkImpl          {\lgx{E848}\relax}              % Long Weak Implication
+   \newcommand  \NotLWkImpl       {\lgx{E849}\relax}              % Long Not Weak Implication
+   \newcommand  \LWkEquv          {\lgx{E84A}\relax}              % Long Weak Implication Equivalence
+   \newcommand  \NotLWkEquv       {\lgx{E84B}\relax}              % Long Not Weak Implication Equivalence
+   \newcommand  \XWkImpl          {\lgx{E84C}\relax}              % Extra Long Weak Implication
+   \newcommand  \NotXWkImpl       {\lgx{E84D}\relax}              % Extra Long Not Weak Implication
+   \newcommand  \XWkEquv          {\lgx{E84E}\relax}              % Extra Long Weak Implication Equivalence
+   \newcommand  \NotXWkEquv       {\lgx{E84F}\relax}              % Extra Long Not Weak Implication Equivalence
+
+   \newcommand  \SImpl            {\lgx{E850}\relax}              % Short WImplication
+   \newcommand  \NotSImpl         {\lgx{E851}\relax}              % Short NNot Implication
+   \newcommand  \SEquv            {\lgx{E852}\relax}              % Short WImplication Equivalence
+   \newcommand  \NotSEquv         {\lgx{E853}\relax}              % Short NNot Implication Equivalence
+   \newcommand  \Impl             {\lgx{E854}\relax}              % Implication
+   \newcommand  \NotImpl          {\lgx{E855}\relax}              % Not Implication
+   \newcommand  \Equv             {\lgx{E856}\relax}              % Implication Equivalence
+   \newcommand  \NotEquv          {\lgx{E857}\relax}              % Not Implication Equivalence
+   \newcommand  \LImpl            {\lgx{E858}\relax}              % Long Implication
+   \newcommand  \NotLImpl         {\lgx{E859}\relax}              % Long Not Implication
+   \newcommand  \LEquv            {\lgx{E85A}\relax}              % Long Implication Equivalence
+   \newcommand  \NotLEquv         {\lgx{E85B}\relax}              % Long Not Implication Equivalence
+   \newcommand  \XImpl            {\lgx{E85C}\relax}              % Extra Long Implication
+   \newcommand  \NotXImpl         {\lgx{E85D}\relax}              % Extra Long Not Implication
+   \newcommand  \XEquv            {\lgx{E85E}\relax}              % Extra Long Implication Equivalence
+   \newcommand  \NotXEquv         {\lgx{E85F}\relax}              % Extra Long Not Implication Equivalence
+
+   \newcommand  \SWkEntail        {\lgx{E860}\relax}              % Short WWeak Entailment
+   \newcommand  \NotSWkEntail     {\lgx{E861}\relax}              % Short NNot Weak Entailment
+   \newcommand  \SWkEntailEquv    {\lgx{E862}\relax}              % Short WWeak Entailment Equivalence
+   \newcommand  \NotSWkEntailEquv {\lgx{E863}\relax}              % Short NNot Weak Entailment Equivalence
+   \newcommand  \WkEntail         {\lgx{E864}\relax}              % Weak Entailment
+   \newcommand  \NotWkEntail      {\lgx{E865}\relax}              % Not Weak Entailment
+   \newcommand  \WkEntailEquv     {\lgx{E866}\relax}              % Weak Entailment Equivalence
+   \newcommand  \NotWkEntailEquv  {\lgx{E867}\relax}              % Not Weak Entailment Equivalence
+   \newcommand  \LWkEntail        {\lgx{E868}\relax}              % Long Weak Entailment
+   \newcommand  \NotLWkEntail     {\lgx{E869}\relax}              % Long Not Weak Entailment
+   \newcommand  \LWkEntailEquv    {\lgx{E86A}\relax}              % Long Weak Entailment Equivalence
+   \newcommand  \NotLWkEntailEquv {\lgx{E86B}\relax}              % Long Not Weak Entailment Equivalence
+   \newcommand  \XWkEntail        {\lgx{E86C}\relax}              % Extra Long Weak Entailment
+   \newcommand  \NotXWkEntail     {\lgx{E86D}\relax}              % Extra Long Not Weak Entailment
+   \newcommand  \XWkEntailEquv    {\lgx{E86E}\relax}              % Extra Long Weak Entailment Equivalence
+   \newcommand  \NotXWkEntailEquv {\lgx{E86F}\relax}              % Extra Long Not Weak Entailment Equivalence
+
+   \newcommand  \SEntail          {\lgx{E870}\relax}              % Short WEntailment
+   \newcommand  \NotSEntail       {\lgx{E871}\relax}              % Short NNot Entailment
+   \newcommand  \SEntailEquv      {\lgx{E872}\relax}              % Short WEntailment Equivalence
+   \newcommand  \NotSEntailEquv   {\lgx{E873}\relax}              % Short NNot Entailment Equivalence
+   \newcommand  \Entail           {\lgx{E874}\relax}              % Entailment
+   \newcommand  \NotEntail        {\lgx{E875}\relax}              % Not Entailment
+   \newcommand  \EntailEquv       {\lgx{E876}\relax}              % Entailment Equivalence
+   \newcommand  \NotEntailEquv    {\lgx{E877}\relax}              % Not Entailment Equivalence
+   \newcommand  \LEntail          {\lgx{E878}\relax}              % Long Entailment
+   \newcommand  \NotLEntail       {\lgx{E879}\relax}              % Long Not Entailment
+   \newcommand  \LEntailEquv      {\lgx{E87A}\relax}              % Long Entailment Equivalence
+   \newcommand  \NotLEntailEquv   {\lgx{E87B}\relax}              % Long Not Entailment Equivalence
+   \newcommand  \XEntail          {\lgx{E87C}\relax}              % Extra Long Entailment
+   \newcommand  \NotXEntail       {\lgx{E87D}\relax}              % Extra Long Not Entailment
+   \newcommand  \XEntailEquv      {\lgx{E87E}\relax}              % Extra Long Entailment Equivalence
+   \newcommand  \NotXEntailEquv   {\lgx{E87F}\relax}              % Extra Long Not Entailment Equivalence
+
+   \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  \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  \Defn             {\lgx{E60A}\relax}              % Defines
+   \newcommand  \Qed              {\lgx{E08F}\relax}              % Q.E.D.
+
+   \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  \Nand             {\lgx{E6A2}\relax}              % Bitwise NAND operator
+   \newcommand  \Nor              {\lgx{E6A3}\relax}              % Bitwise NOR operator
+   \newcommand  \Xor              {\lgx{E6A5}\relax}              % Bitwise XOR operator
+
+   \newcommand  \LcgCohrnc        {\lgx{E068}\relax}              % Logical Coherence
+   \newcommand  \BncCohrnc        {\lgx{E078}\relax}              % Bunch Coherence
+
+   \newcommand  \True             {\lgx{E012}\relax}              % True
+   \newcommand  \False            {\lgx{E014}\relax}              % False
+   \newcommand  \Top              {\lgx{E017}\relax}              % Lattice / type top
+   \newcommand  \Bot              {\lgx{E016}\relax}              % Lattice / type  bottom
+
+   \newcommand  \QuantCon         {\lgx{E891}\relax}              % Quantified Conjunction
+   \newcommand  \QuantDis         {\lgx{E890}\relax}              % Quantified Disjuntion
+   \newcommand  \ForAll           {\lgx{E8C0}\relax}              % Universal Individual Quantifier
+   \newcommand  \Exists           {\lgx{E8C1}\relax}              % Existential Individual Quantifier
+   \newcommand  \Unique           {\lgx{E8C2}\relax}              % Unique Existential Individual Quantifier
+   \newcommand  \BnchForAll       {\lgx{E8D0}\relax}              % Universal Bunch Quantifier
+   \newcommand  \BnchExists       {\lgx{E8D1}\relax}              % Existential Bunch Quantifier
+   \newcommand  \BnchUnique       {\lgx{E8D2}\relax}              % Unique Existential Bunch Quantifier
+   \newcommand  \BndMap           {\lgx{E030}\relax}              % Map Abstraction
+
+   \newcommand  \Dt               {\lgx{E098}\relax}              % Dot
+   \newcommand  \Comma            {\lgx{E099}\relax}              % Comma
+   \newcommand  \Semicln          {\lgx{E09A}\relax}              % Semicolon
+   \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  \BndDot           {\lgx{E090}\relax}              % Binding Dot
+   \newcommand  \BndBar           {\lgm{E380}\relax}              % Binding Bar
+   \newcommand  \BndBarS          {\middle\BndBar\relax}          % Stretchy Binding Bar
+   \newcommand  \LngVrtBar        {\lgx{E0EC}\relax}              % Long Vertical Bar
+   \newcommand  \Queston          {\lgx{E02C}\relax}              % Question mark
+   \newcommand  \Exclaim          {\lgx{E02D}\relax}              % Exclamation point
+   \newcommand  \Percent          {\lgx{E03C}\relax}              % Percent sign
+   \newcommand  \Ampersand        {\lgx{E03D}\relax}              % Ampersand
+   \newcommand  \Dollar           {\lgx{E05F}\relax}              % Dollar sign
+   \newcommand  \At               {\lgx{E03E}\relax}              % At sign
+   \newcommand  \Circumflex       {\lgx{E03F}\relax}              % ASCII Circumflex
+   \newcommand  \Number           {\lgx{E04F}\relax}              % Number sign
+   \newcommand  \Underscore       {\lgx{E09E}\relax}              % Underscore
+   \newcommand  \Tild             {\lgx{007E}\relax}              % Tilde  E64C
+   \newcommand  \SingleQuote      {\lgx{E09C}\relax}              % Single quote
+   \newcommand  \DoubleQuote      {\lgx{E09B}\relax}              % Double quote
+   \newcommand  \BackQuote        {\lgx{E09D}\relax}              % Back quote (grave)
+   \newcommand  \LeftSlash        {\lgx{E103}\relax}              % Left (back) slash
+   \newcommand  \RightSlash       {\lgx{E102}\relax}              % Right (forward) slash
+
+   \newcommand  \ShftSuper        {\lgx{EAC3}\relax}              % Shift for superscripts
+   \newcommand  \ShftSubscr       {\lgx{EAC4}\relax}              % Shift for subscripts
+   \newcommand  \ShftAccent       {\lgx{EAC5}\relax}              % Shift for accents
+
+   \newcommand  \RplcAllBndRight  {\lgx{E9D4}\relax}              % Replace All Bound Variables (right)
+   \newcommand  \RplcAllBndLeft   {\lgx{E9D5}\relax}              % Replace All Bound Variables (left)
+   \newcommand  \RplcAllRight     {\lgx{E9DA}\relax}              % Replace All (right)
+   \newcommand  \RplcAllLeft      {\lgx{E9DB}\relax}              % Replace All (left)
+   \newcommand  \RplcFreeRight    {\lgx{E9F0}\relax}              % Replace Any Free Variables (right)
+   \newcommand  \RplcFreeLeft     {\lgx{E9F1}\relax}              % Replace Any Free Variables (left)
+   \newcommand  \RplcEquvRight    {\lgx{E9F8}\relax}              % Replace Equivalent Expressions (right)
+   \newcommand  \RplcEquvLeft     {\lgx{E9F9}\relax}              % Replace Equivalent Expressions (left)
+
+   \newcommand  \LstFix           {\lgx{E031}\relax}              % Least Fixed Point
+   \newcommand  \GrtFix           {\lgx{E032}\relax}              % Greatest Fixed Point
+   \newcommand  \Choice           {\lgx{E033}\relax}              % Choice
+   \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  \LogNec           {\lgx{E230}\relax}              % Logical Necessity   (temporal always or henceforth)
+   \newcommand  \LogPos           {\lgx{E232}\relax}              % Logical Possibility (temporal sometime or eventually)
+   \newcommand  \LogNext          {\lgx{E233}\relax}              % Logical Next        (temporal next or nexttime)
+   \newcommand  \LogFutr          {\lgx{E234}\relax}              % Logical Future      (temporal in the future)
+   \newcommand  \LogPast          {\lgx{E235}\relax}              % Logical Past        (temporal in the past)
+   \newcommand  \LogCont          {\lgx{E236}\relax}              % Logical Contingency
+   \newcommand  \LogNonCont       {\lgx{E237}\relax}              % Logical Non-contingency
+
+   \newcommand  \Nec              {\lgx{E270}\relax}              % Necessity   (temporal always or henceforth)
+   \newcommand  \Pos              {\lgx{E272}\relax}              % Possibility (temporal sometime or eventually)
+   \newcommand  \Next             {\lgx{E273}\relax}              % Next        (temporal next or nexttime)
+   \newcommand  \Futr             {\lgx{E274}\relax}              % Future      (temporal in the future)
+   \newcommand  \Past             {\lgx{E275}\relax}              % Past        (temporal in the past)
+   \newcommand  \Cont             {\lgx{E276}\relax}              % Contingency
+   \newcommand  \NonCont          {\lgx{E277}\relax}              % Non-contingency
+
+   \newcommand  \FacNec           {\lgx{E220}\relax}              % Factual Necessity   (temporal always or henceforth)
+   \newcommand  \FacPos           {\lgx{E222}\relax}              % Factual Possibility (temporal sometime or eventually)
+   \newcommand  \FacNext          {\lgx{E223}\relax}              % Factual Next        (temporal next or nexttime)
+   \newcommand  \FacFutr          {\lgx{E224}\relax}              % Factual Future      (temporal in the future)
+   \newcommand  \FacPast          {\lgx{E225}\relax}              % Factual Past        (temporal in the past)
+   \newcommand  \FacCont          {\lgx{E226}\relax}              % Factual Contingency
+   \newcommand  \FacNonCont       {\lgx{E227}\relax}              % Factual Non-contingency
+
+   \newcommand  \Of               {\lgx{E600}\relax}              % Bunch Inclusion
+   \newcommand  \In               {\lgx{E602}\relax}              % Set Membership
+   \newcommand  \NotIn            {\lgx{E603}\relax}              % Set Membership Negated
+
+   \newcommand  \EmptyBunch       {\lgx{E054}\relax}              % Empty Bunch
+   \newcommand  \NullSet          {\lgx{E053}\relax}              % Null Set
+
+   \newcommand  \BnchMeet         {\lgx{E710}\relax}              % Bunch Meet
+   \newcommand  \BnchJoin         {\lgx{E711}\relax}              % Bunch Join
+
+   \newcommand  \StrctSbnch       {\lgx{E718}\relax}              % Strict Subbunch
+   \newcommand  \NotStrctSbnch    {\lgx{E719}\relax}              % Strict Subbunch Negated
+   \newcommand  \Sbnch            {\lgx{E71A}\relax}              % Subbunch
+   \newcommand  \NotSbnch         {\lgx{E71B}\relax}              % Subbunch Negated
+
+   \newcommand  \StrctWkSbnch     {\lgx{E738}\relax}              % Strict Weak Subbunch
+   \newcommand  \NotStrctWkSbnch  {\lgx{E739}\relax}              % Strict Weak Subbunch Negated
+   \newcommand  \WkSbnch          {\lgx{E73A}\relax}              % Weak Subbunch
+   \newcommand  \NotWkSbnch       {\lgx{E73B}\relax}              % Weak Subbunch Negated
+
+   \newcommand  \MapMeet          {\lgx{E760}\relax}              % Map Meet
+   \newcommand  \MapJoin          {\lgx{E761}\relax}              % Map Join
+
+   \newcommand  \StrctSbmap       {\lgx{E768}\relax}              % Strict Submap
+   \newcommand  \NotStrctSbmap    {\lgx{E769}\relax}              % Strict Submap Negated
+   \newcommand  \Sbmap            {\lgx{E76A}\relax}              % Submap
+   \newcommand  \NotSbmap         {\lgx{E76B}\relax}              % Submap Negated
+
+   \newcommand  \SetMeet          {\lgx{E790}\relax}              % Set Intersection
+   \newcommand  \SetJoin          {\lgx{E791}\relax}              % Set Union
+   \newcommand  \Normal           {\lgx{E2E5}\relax}              % Normal Subgroup
+   \newcommand  \SetSymDiff       {\lgx{E2E7}\relax}              % Set Symmetric Difference
+
+   \newcommand  \StrctSbset       {\lgx{E798}\relax}              % Strict Subset
+   \newcommand  \NotStrctSbset    {\lgx{E799}\relax}              % Strict Subset Negated
+   \newcommand  \Sbset            {\lgx{E79A}\relax}              % Subset
+   \newcommand  \NotSbset         {\lgx{E79B}\relax}              % Subset Negated
+
+   \newcommand  \QuantBnchMeet    {\lgx{E895}\relax}              % Bunch Meet Quantifier
+   \newcommand  \QuantBnchJoin    {\lgx{E894}\relax}              % Bunch Join Quantifier
+   \newcommand  \QuantSetMeet     {\lgx{E893}\relax}              % Set Intersection Quantifier
+   \newcommand  \QuantSetJoin     {\lgx{E892}\relax}              % Set Union Quantifier
+
+   \newcommand  \Ls               {\lgx{E6A8}\relax}              % Less Than
+   \newcommand  \Lse              {\lgx{E6AA}\relax}              % Less Than or Equal
+   \newcommand  \Eq               {\lgx{E656}\relax}              % Equal
+   \newcommand  \Sm               {\lgx{E658}\relax}              % Similar
+   \newcommand  \Gr               {\lgx{E6AE}\relax}              % Greater Than
+   \newcommand  \Gre              {\lgx{E6AC}\relax}              % Greater Than or Equal
+
+   \newcommand  \NotLs            {\lgx{E6A9}\relax}              % Not Less Than
+   \newcommand  \NotLse           {\lgx{E6AB}\relax}              % Not Less Than or Equal
+   \newcommand  \NotEq            {\lgx{E657}\relax}              % Not Equal
+   \newcommand  \NotSm            {\lgx{E659}\relax}              % Not Similar
+   \newcommand  \NotGr            {\lgx{E6AF}\relax}              % Not Greater Than
+   \newcommand  \NotGre           {\lgx{E6AD}\relax}              % Not Greater Than or Equal
+
+   \newcommand  \Pre              {\lgx{E6C8}\relax}              % Precedes
+   \newcommand  \Preq             {\lgx{E6CA}\relax}              % Precedes or Equal
+   \newcommand  \Suc              {\lgx{E6CE}\relax}              % Succeeds
+   \newcommand  \Sucq             {\lgx{E6CC}\relax}              % Succeeds or Equal
+
+   \newcommand  \NotPre           {\lgx{E6C9}\relax}              % Not Precedes
+   \newcommand  \NotPreq          {\lgx{E6CB}\relax}              % Not Precedes or Equal
+   \newcommand  \NotSuc           {\lgx{E6CF}\relax}              % Not Succeeds
+   \newcommand  \NotSucq          {\lgx{E6CD}\relax}              % Not Succeeds or Equal
+
+   \newcommand  \Minus            {\lgx{E0C7}\relax}              % Minus
+   \newcommand  \Plus             {\lgx{E0C6}\relax}              % Plus
+   \newcommand  \PlusMinus        {\lgx{E0CE}\relax}              % Plus / Minus
+   \newcommand  \MinusPlus        {\lgx{E0CF}\relax}              % Minus / Plus
+   \newcommand  \Asterick         {\lgx{E0C4}\relax}              % Asterick
+   \newcommand  \Divide           {\lgx{E103}\relax}              % Divide
+   \newcommand  \Times            {\lgx{E0C5}\relax}              % Times
+
+   \newcommand  \Append           {\lgx{E0CB}\relax}              % Append
+   \newcommand  \Concat           {\lgx{E0CD}\relax}              % Concatenation
+
+   \newcommand  \CircPlus         {\lgx{E12B}\relax}              % Large Circled Plus
+   \newcommand  \CircTimes        {\lgx{E12C}\relax}              % Large Circled Times
+   \newcommand  \CircStar         {\lgx{E11D}\relax}              % Circled Star
+
+   \newcommand  \Dagger           {\lgx{E05B}\relax}              % Single dagger
+   \newcommand  \Ddagger          {\lgx{E05C}\relax}              % Double horizontal dagger
+   \newcommand  \Daggerr          {\lgx{E05D}\relax}              % Double vertical dagger
+   \newcommand  \Ddaggerr         {\lgx{E05E}\relax}              % Double horizontal and vertical dagger
 
 % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 
@@ -1610,211 +1610,211 @@
 
 % Define geometric symbols, some of which are also used for mathematical operators.
 
-   \newcommand  \BlackSquare                                     {\lgx{E220}}
-   \newcommand  \BlackSquareRoundCorners                         {\lgx{E221}}
-   \newcommand  \BlackDiamond                                    {\lgx{E222}}
-   \newcommand  \BlackCircle                                     {\lgx{E223}}
-   \newcommand  \BlackRightTriangle                              {\lgx{E224}}
-   \newcommand  \BlackLeftTriangle                               {\lgx{E225}}
-   \newcommand  \BlackDownTriangle                               {\lgx{E226}}
-   \newcommand  \BlackUpTriangle                                 {\lgx{E227}}
-   \newcommand  \BlackSmallCircle                                {\lgx{E228}}
-   \newcommand  \BlackVerySmallCircle                            {\lgx{E229}}
-   \newcommand  \BlackLozenge                                    {\lgx{E22A}}
-   \newcommand  \BlackCurvedDiamond                              {\lgx{E22B}}
-   \newcommand  \BlackVerySmallSquare                            {\lgx{E22C}}
-   \newcommand  \BlackLeftArrowHead                              {\lgx{E22D}}
-   \newcommand  \BlackRightArrowHead                             {\lgx{E22E}}
-   \newcommand  \BlackRightCurvedArrowHead                       {\lgx{E22F}}
-
-   \newcommand  \WhiteSquare                                     {\lgx{E230}}
-   \newcommand  \WhiteSquareRoundCorners                         {\lgx{E231}}
-   \newcommand  \WhiteDiamond                                    {\lgx{E232}}
-   \newcommand  \WhiteCircle                                     {\lgx{E233}}
-   \newcommand  \WhiteRightTriangle                              {\lgx{E234}}
-   \newcommand  \WhiteLeftTriangle                               {\lgx{E235}}
-   \newcommand  \WhiteDownTriangle                               {\lgx{E236}}
-   \newcommand  \WhiteUpTriangle                                 {\lgx{E237}}
-   \newcommand  \WhiteSmallCircle                                {\lgx{E238}}
-   \newcommand  \WhiteVerySmallCircle                            {\lgx{E239}}
-   \newcommand  \WhiteLozenge                                    {\lgx{E23A}}
-   \newcommand  \WhiteCurvedDiamond                              {\lgx{E23B}}
-   \newcommand  \WhiteVerySmallSquare                            {\lgx{E23C}}
-   \newcommand  \WhiteLeftArrowHead                              {\lgx{E23D}}
-   \newcommand  \WhiteRightArrowHead                             {\lgx{E23E}}
-   \newcommand  \WhiteRightCurvedArrowHead                       {\lgx{E23F}}
-
-   \newcommand  \OutlineSquare                                   {\lgx{E240}}
-   \newcommand  \OutlineSquareRoundCorners                       {\lgx{E241}}
-   \newcommand  \OutlineDiamond                                  {\lgx{E242}}
-   \newcommand  \OutlineCircle                                   {\lgx{E243}}
-   \newcommand  \OutlineRightTriangle                            {\lgx{E244}}
-   \newcommand  \OutlineLeftTriangle                             {\lgx{E245}}
-   \newcommand  \OutlineDownTriangle                             {\lgx{E246}}
-   \newcommand  \OutlineUpTriangle                               {\lgx{E247}}
-   \newcommand  \OutlineSmallCircle                              {\lgx{E248}}
-   \newcommand  \OutlineVerySmallCircle                          {\lgx{E249}}
-   \newcommand  \OutlineLozenge                                  {\lgx{E24A}}
-   \newcommand  \OutlineCurvedDiamond                            {\lgx{E24B}}
-   \newcommand  \OutlineVerySmallSquare                          {\lgx{E24C}}
-   \newcommand  \OutlineLeftArrowHead                            {\lgx{E24D}}
-   \newcommand  \OutlineRightArrowHead                           {\lgx{E24E}}
-   \newcommand  \OutlineRightCurvedArrowHead                     {\lgx{E24F}}
-
-   \newcommand  \DottedSquare                                    {\lgx{E250}}
-   \newcommand  \DottedSquareRoundCorners                        {\lgx{E251}}
-   \newcommand  \DottedDiamond                                   {\lgx{E252}}
-   \newcommand  \DottedCircle                                    {\lgx{E253}}
-   \newcommand  \DottedRightTriangle                             {\lgx{E254}}
-   \newcommand  \DottedLeftTriangle                              {\lgx{E255}}
-   \newcommand  \DottedDownTriangle                              {\lgx{E256}}
-   \newcommand  \DottedUpTriangle                                {\lgx{E257}}
-   \newcommand  \DottedSmallCircle                               {\lgx{E258}}
-   \newcommand  \DottedVerySmallCircle                           {\lgx{E259}}
-   \newcommand  \DottedLozenge                                   {\lgx{E25A}}
-   \newcommand  \DottedCurvedDiamond                             {\lgx{E25B}}
-   \newcommand  \DottedVerySmallSquare                           {\lgx{E25C}}
-   \newcommand  \DottedLeftArrowHead                             {\lgx{E25D}}
-   \newcommand  \DottedRightArrowHead                            {\lgx{E25E}}
-   \newcommand  \DottedRightCurvedArrowHead                      {\lgx{E25F}}
-
-   \newcommand  \WhiteSquareContainingBlackSquare                {\lgx{E260}}
-   \newcommand  \WhiteSquareRoundCornersContainingBlackSquare    {\lgx{E261}}
-   \newcommand  \WhiteDiamondContainingBlackDiamond              {\lgx{E262}}
-   \newcommand  \WhiteCircleContainingBlackCircle                {\lgx{E263}}
-   \newcommand  \WhiteRightTriangleContainingBlackRightTriangle  {\lgx{E264}}
-   \newcommand  \WhiteLeftTriangleContainingBlackLeftTriangle    {\lgx{E265}}
-   \newcommand  \WhiteDownTriangleContainingBlackDownTriangle    {\lgx{E266}}
-   \newcommand  \WhiteUpTriangleContainingBlackUpTriangle        {\lgx{E267}}
-   \newcommand  \WhiteSmallCircleContainingBlackCircle           {\lgx{E268}}
-   \newcommand  \WhiteVerySmallCircleContainingBlackCircle       {\lgx{E269}}
-   \newcommand  \WhiteLozengeContainingBlackLozenge              {\lgx{E26A}}
-   \newcommand  \WhiteCurvedDiamondContainingBlackDiamond        {\lgx{E26B}}
-   \newcommand  \WhiteVerySmallSquareContainingBlackSquare       {\lgx{E26C}}
-   \newcommand  \WhiteReallySmallCircle                          {\lgx{E26D}}
-   \newcommand  \WhiteReallySmallSquare                          {\lgx{E26E}}
-   \newcommand  \WhiteReallySmallDiamond                         {\lgx{E26F}}
-
-   \newcommand  \HorizontallyDividedSquare                       {\lgx{E270}}
-   \newcommand  \HorizontallyDividedSquareRoundCorners           {\lgx{E271}}
-   \newcommand  \HorizontallyDividedDiamond                      {\lgx{E272}}
-   \newcommand  \HorizontallyDividedCircle                       {\lgx{E273}}
-   \newcommand  \HorizontallyDividedRightTriangle                {\lgx{E274}}
-   \newcommand  \HorizontallyDividedLeftTriangle                 {\lgx{E275}}
-   \newcommand  \HorizontallyDividedDownTriangle                 {\lgx{E276}}
-   \newcommand  \HorizontallyDividedUpTriangle                   {\lgx{E277}}
-   \newcommand  \HorizontallyDividedSmallCircle                  {\lgx{E278}}
-   \newcommand  \HorizontallyDividedVerySmallCircle              {\lgx{E279}}
-   \newcommand  \HorizontallyDividedLozenge                      {\lgx{E27A}}
-   \newcommand  \HorizontallyDividedCurvedDiamond                {\lgx{E27B}}
-   \newcommand  \HorizontallyDividedVerySmallSquare              {\lgx{E27C}}
-   \newcommand  \BlackReallySmallCircle                          {\lgx{E27D}}
-   \newcommand  \BlackReallySmallSquare                          {\lgx{E27E}}
-   \newcommand  \BlackReallySmallDiamond                         {\lgx{E27F}}
-
-   \newcommand  \VerticallyDividedSquare                         {\lgx{E280}}
-   \newcommand  \VerticallyDividedSquareRoundCorners             {\lgx{E281}}
-   \newcommand  \VerticallyDividedDiamond                        {\lgx{E282}}
-   \newcommand  \VerticallyDividedCircle                         {\lgx{E283}}
-   \newcommand  \VerticallyDividedRightTriangle                  {\lgx{E284}}
-   \newcommand  \VerticallyDividedLeftTriangle                   {\lgx{E285}}
-   \newcommand  \VerticallyDividedDownTriangle                   {\lgx{E286}}
-   \newcommand  \VerticallyDividedUpTriangle                     {\lgx{E287}}
-   \newcommand  \VerticallyDividedSmallCircle                    {\lgx{E288}}
-   \newcommand  \VerticallyDividedVerySmallCircle                {\lgx{E289}}
-   \newcommand  \VerticallyDividedLozenge                        {\lgx{E28A}}
-   \newcommand  \VerticallyDividedCurvedDiamond                  {\lgx{E28B}}
-   \newcommand  \VerticallyDividedVerySmallSquare                {\lgx{E28C}}
-
-   \newcommand  \QuarteredSquare                                 {\lgx{E290}}
-   \newcommand  \QuarteredSquareRoundCorners                     {\lgx{E291}}
-   \newcommand  \QuarteredDiamond                                {\lgx{E292}}
-   \newcommand  \QuarteredCircle                                 {\lgx{E293}}
-   \newcommand  \QuarteredRightTriangle                          {\lgx{E294}}
-   \newcommand  \QuarteredLeftTriangle                           {\lgx{E295}}
-   \newcommand  \QuarteredDownTriangle                           {\lgx{E296}}
-   \newcommand  \QuarteredUpTriangle                             {\lgx{E297}}
-   \newcommand  \QuarteredSmallCircle                            {\lgx{E298}}
-   \newcommand  \QuarteredVerySmallCircle                        {\lgx{E299}}
-   \newcommand  \QuartedLozenge                                  {\lgx{E29A}}
-   \newcommand  \QuarteredCurvedDiamond                          {\lgx{E29B}}
-   \newcommand  \QuarteredVerySmallSquare                        {\lgx{E29C}}
-
-   \newcommand  \DownSlashedSquare                               {\lgx{E2A0}}
-   \newcommand  \DownSlashedSquareRoundCorners                   {\lgx{E2A1}}
-   \newcommand  \DownSlashedDiamond                              {\lgx{E2A2}}
-   \newcommand  \DownSlashedCircle                               {\lgx{E2A3}}
-   \newcommand  \DownSlashedRightTriangle                        {\lgx{E2A4}}
-   \newcommand  \DownSlashedLeftTriangle                         {\lgx{E2A5}}
-   \newcommand  \DownSlashedDownTriangle                         {\lgx{E2A6}}
-   \newcommand  \DownSlashedUpTriangle                           {\lgx{E2A7}}
-   \newcommand  \DownSlashedSmallCircle                          {\lgx{E2A8}}
-   \newcommand  \DownSlashedVerySmallCircle                      {\lgx{E2A9}}
-   \newcommand  \DownSlashedLozenge                              {\lgx{E2AA}}
-   \newcommand  \DownSlashedCurvedDiamond                        {\lgx{E2AB}}
-   \newcommand  \DownSlashedVerySmallSquare                      {\lgx{E2AC}}
-
-   \newcommand  \UpSlashedSquare                                 {\lgx{E2B0}}
-   \newcommand  \UpSlahsedSquareRoundCorners                     {\lgx{E2B1}}
-   \newcommand  \UpSlashedDiamond                                {\lgx{E2B2}}
-   \newcommand  \UpSlashedCircle                                 {\lgx{E2B3}}
-   \newcommand  \UpSlashedRightTriangle                          {\lgx{E2B4}}
-   \newcommand  \UpSlashedLeftTriangle                           {\lgx{E2B5}}
-   \newcommand  \UpSlashedDownTriangle                           {\lgx{E2B6}}
-   \newcommand  \UpSlashedUpTriangle                             {\lgx{E2B7}}
-   \newcommand  \UpSlashedSmallCircle                            {\lgx{E2B8}}
-   \newcommand  \UpSlashedVerySmallCircle                        {\lgx{E2B9}}
-   \newcommand  \UpSlashedLozenge                                {\lgx{E2BA}}
-   \newcommand  \UpSlashedCurvedDiamond                          {\lgx{E2BB}}
-   \newcommand  \UpSlashedVerySmallSquare                        {\lgx{E2BC}}
-
-   \newcommand  \CrossedSquare                                   {\lgx{E2C0}}
-   \newcommand  \CrossedSquareRoundCorners                       {\lgx{E2C1}}
-   \newcommand  \CrossedDiamond                                  {\lgx{E2C2}}
-   \newcommand  \CrossedCircle                                   {\lgx{E2C3}}
-   \newcommand  \CrossedRightTriangle                            {\lgx{E2C4}}
-   \newcommand  \CrossedLeftTriangle                             {\lgx{E2C5}}
-   \newcommand  \CrossedDownTriangle                             {\lgx{E2C6}}
-   \newcommand  \CrossedUpTriangle                               {\lgx{E2C7}}
-   \newcommand  \CrossedSmallCircle                              {\lgx{E2C8}}
-   \newcommand  \CrossedVerySmallCircle                          {\lgx{E2C9}}
-   \newcommand  \CrossedLozenge                                  {\lgx{E2CA}}
-   \newcommand  \CrossedCurvedDiamond                            {\lgx{E2CB}}
-   \newcommand  \CrossedVerySmallSquare                          {\lgx{E2CC}}
-
-   \newcommand  \LBlackSquare                                    {\lgx{E2D0}}
-   \newcommand  \LBlackSquareRoundCorners                        {\lgx{E2D1}}
-   \newcommand  \LBlackDiamond                                   {\lgx{E2D2}}
-   \newcommand  \LBlackCircle                                    {\lgx{E2D3}}
-   \newcommand  \LBlackRightTriangle                             {\lgx{E2D4}}
-   \newcommand  \LBlackLeftTriangle                              {\lgx{E2D5}}
-   \newcommand  \LBlackDownTriangle                              {\lgx{E2D6}}
-   \newcommand  \LBlackUpTriangle                                {\lgx{E2D7}}
-   \newcommand  \LBlackSmallCircle                               {\lgx{E2D8}}
-   \newcommand  \LBlackVerySmallCircle                           {\lgx{E2D9}}
-   \newcommand  \LBlackLozenge                                   {\lgx{E2DA}}
-   \newcommand  \LBlackCurvedDiamond                             {\lgx{E2DB}}
-   \newcommand  \LBlackVerySmallSquare                           {\lgx{E2DC}}
-   \newcommand  \LBlackLeftArrowHead                             {\lgx{E2DD}}
-   \newcommand  \LBlackRightArrowHead                            {\lgx{E2DE}}
-   \newcommand  \LBlackRightCurvedArrowHead                      {\lgx{E2DF}}
-
-   \newcommand  \LWhiteSquare                                    {\lgx{E2E0}}
-   \newcommand  \LWhiteSquareRoundCorners                        {\lgx{E2E1}}
-   \newcommand  \LWhiteDiamond                                   {\lgx{E2E2}}
-   \newcommand  \LWhiteCircle                                    {\lgx{E2E3}}
-   \newcommand  \LWhiteRightTriangle                             {\lgx{E2E4}}
-   \newcommand  \LWhiteLeftTriangle                              {\lgx{E2E5}}
-   \newcommand  \LWhiteDownTriangle                              {\lgx{E2E6}}
-   \newcommand  \LWhiteUpTriangle                                {\lgx{E2E7}}
-   \newcommand  \LWhiteSmallCircle                               {\lgx{E2E8}}
-   \newcommand  \LWhiteVerySmallCircle                           {\lgx{E2E9}}
-   \newcommand  \LWhiteLozenge                                   {\lgx{E2EA}}
-   \newcommand  \LWhiteCurvedDiamond                             {\lgx{E2EB}}
-   \newcommand  \LWhiteVerySmallSquare                           {\lgx{E2EC}}
-   \newcommand  \LWhiteLeftArrowHead                             {\lgx{E2ED}}
-   \newcommand  \LWhiteRightArrowHead                            {\lgx{E2EE}}
-   \newcommand  \LWhiteRightCurvedArrowHead                      {\lgx{E2EF}}
+   \newcommand  \BlackSquare                                     {\lgx{E220}\relax}
+   \newcommand  \BlackSquareRoundCorners                         {\lgx{E221}\relax}
+   \newcommand  \BlackDiamond                                    {\lgx{E222}\relax}
+   \newcommand  \BlackCircle                                     {\lgx{E223}\relax}
+   \newcommand  \BlackRightTriangle                              {\lgx{E224}\relax}
+   \newcommand  \BlackLeftTriangle                               {\lgx{E225}\relax}
+   \newcommand  \BlackDownTriangle                               {\lgx{E226}\relax}
+   \newcommand  \BlackUpTriangle                                 {\lgx{E227}\relax}
+   \newcommand  \BlackSmallCircle                                {\lgx{E228}\relax}
+   \newcommand  \BlackVerySmallCircle                            {\lgx{E229}\relax}
+   \newcommand  \BlackLozenge                                    {\lgx{E22A}\relax}
+   \newcommand  \BlackCurvedDiamond                              {\lgx{E22B}\relax}
+   \newcommand  \BlackVerySmallSquare                            {\lgx{E22C}\relax}
+   \newcommand  \BlackLeftArrowHead                              {\lgx{E22D}\relax}
+   \newcommand  \BlackRightArrowHead                             {\lgx{E22E}\relax}
+   \newcommand  \BlackRightCurvedArrowHead                       {\lgx{E22F}\relax}
+
+   \newcommand  \WhiteSquare                                     {\lgx{E230}\relax}
+   \newcommand  \WhiteSquareRoundCorners                         {\lgx{E231}\relax}
+   \newcommand  \WhiteDiamond                                    {\lgx{E232}\relax}
+   \newcommand  \WhiteCircle                                     {\lgx{E233}\relax}
+   \newcommand  \WhiteRightTriangle                              {\lgx{E234}\relax}
+   \newcommand  \WhiteLeftTriangle                               {\lgx{E235}\relax}
+   \newcommand  \WhiteDownTriangle                               {\lgx{E236}\relax}
+   \newcommand  \WhiteUpTriangle                                 {\lgx{E237}\relax}
+   \newcommand  \WhiteSmallCircle                                {\lgx{E238}\relax}
+   \newcommand  \WhiteVerySmallCircle                            {\lgx{E239}\relax}
+   \newcommand  \WhiteLozenge                                    {\lgx{E23A}\relax}
+   \newcommand  \WhiteCurvedDiamond                              {\lgx{E23B}\relax}
+   \newcommand  \WhiteVerySmallSquare                            {\lgx{E23C}\relax}
+   \newcommand  \WhiteLeftArrowHead                              {\lgx{E23D}\relax}
+   \newcommand  \WhiteRightArrowHead                             {\lgx{E23E}\relax}
+   \newcommand  \WhiteRightCurvedArrowHead                       {\lgx{E23F}\relax}
+
+   \newcommand  \OutlineSquare                                   {\lgx{E240}\relax}
+   \newcommand  \OutlineSquareRoundCorners                       {\lgx{E241}\relax}
+   \newcommand  \OutlineDiamond                                  {\lgx{E242}\relax}
+   \newcommand  \OutlineCircle                                   {\lgx{E243}\relax}
+   \newcommand  \OutlineRightTriangle                            {\lgx{E244}\relax}
+   \newcommand  \OutlineLeftTriangle                             {\lgx{E245}\relax}
+   \newcommand  \OutlineDownTriangle                             {\lgx{E246}\relax}
+   \newcommand  \OutlineUpTriangle                               {\lgx{E247}\relax}
+   \newcommand  \OutlineSmallCircle                              {\lgx{E248}\relax}
+   \newcommand  \OutlineVerySmallCircle                          {\lgx{E249}\relax}
+   \newcommand  \OutlineLozenge                                  {\lgx{E24A}\relax}
+   \newcommand  \OutlineCurvedDiamond                            {\lgx{E24B}\relax}
+   \newcommand  \OutlineVerySmallSquare                          {\lgx{E24C}\relax}
+   \newcommand  \OutlineLeftArrowHead                            {\lgx{E24D}\relax}
+   \newcommand  \OutlineRightArrowHead                           {\lgx{E24E}\relax}
+   \newcommand  \OutlineRightCurvedArrowHead                     {\lgx{E24F}\relax}
+
+   \newcommand  \DottedSquare                                    {\lgx{E250}\relax}
+   \newcommand  \DottedSquareRoundCorners                        {\lgx{E251}\relax}
+   \newcommand  \DottedDiamond                                   {\lgx{E252}\relax}
+   \newcommand  \DottedCircle                                    {\lgx{E253}\relax}
+   \newcommand  \DottedRightTriangle                             {\lgx{E254}\relax}
+   \newcommand  \DottedLeftTriangle                              {\lgx{E255}\relax}
+   \newcommand  \DottedDownTriangle                              {\lgx{E256}\relax}
+   \newcommand  \DottedUpTriangle                                {\lgx{E257}\relax}
+   \newcommand  \DottedSmallCircle                               {\lgx{E258}\relax}
+   \newcommand  \DottedVerySmallCircle                           {\lgx{E259}\relax}
+   \newcommand  \DottedLozenge                                   {\lgx{E25A}\relax}
+   \newcommand  \DottedCurvedDiamond                             {\lgx{E25B}\relax}
+   \newcommand  \DottedVerySmallSquare                           {\lgx{E25C}\relax}
+   \newcommand  \DottedLeftArrowHead                             {\lgx{E25D}\relax}
+   \newcommand  \DottedRightArrowHead                            {\lgx{E25E}\relax}
+   \newcommand  \DottedRightCurvedArrowHead                      {\lgx{E25F}\relax}
+
+   \newcommand  \WhiteSquareContainingBlackSquare                {\lgx{E260}\relax}
+   \newcommand  \WhiteSquareRoundCornersContainingBlackSquare    {\lgx{E261}\relax}
+   \newcommand  \WhiteDiamondContainingBlackDiamond              {\lgx{E262}\relax}
+   \newcommand  \WhiteCircleContainingBlackCircle                {\lgx{E263}\relax}
+   \newcommand  \WhiteRightTriangleContainingBlackRightTriangle  {\lgx{E264}\relax}
+   \newcommand  \WhiteLeftTriangleContainingBlackLeftTriangle    {\lgx{E265}\relax}
+   \newcommand  \WhiteDownTriangleContainingBlackDownTriangle    {\lgx{E266}\relax}
+   \newcommand  \WhiteUpTriangleContainingBlackUpTriangle        {\lgx{E267}\relax}
+   \newcommand  \WhiteSmallCircleContainingBlackCircle           {\lgx{E268}\relax}
+   \newcommand  \WhiteVerySmallCircleContainingBlackCircle       {\lgx{E269}\relax}
+   \newcommand  \WhiteLozengeContainingBlackLozenge              {\lgx{E26A}\relax}
+   \newcommand  \WhiteCurvedDiamondContainingBlackDiamond        {\lgx{E26B}\relax}
+   \newcommand  \WhiteVerySmallSquareContainingBlackSquare       {\lgx{E26C}\relax}
+   \newcommand  \WhiteReallySmallCircle                          {\lgx{E26D}\relax}
+   \newcommand  \WhiteReallySmallSquare                          {\lgx{E26E}\relax}
+   \newcommand  \WhiteReallySmallDiamond                         {\lgx{E26F}\relax}
+
+   \newcommand  \HorizontallyDividedSquare                       {\lgx{E270}\relax}
+   \newcommand  \HorizontallyDividedSquareRoundCorners           {\lgx{E271}\relax}
+   \newcommand  \HorizontallyDividedDiamond                      {\lgx{E272}\relax}
+   \newcommand  \HorizontallyDividedCircle                       {\lgx{E273}\relax}
+   \newcommand  \HorizontallyDividedRightTriangle                {\lgx{E274}\relax}
+   \newcommand  \HorizontallyDividedLeftTriangle                 {\lgx{E275}\relax}
+   \newcommand  \HorizontallyDividedDownTriangle                 {\lgx{E276}\relax}
+   \newcommand  \HorizontallyDividedUpTriangle                   {\lgx{E277}\relax}
+   \newcommand  \HorizontallyDividedSmallCircle                  {\lgx{E278}\relax}
+   \newcommand  \HorizontallyDividedVerySmallCircle              {\lgx{E279}\relax}
+   \newcommand  \HorizontallyDividedLozenge                      {\lgx{E27A}\relax}
+   \newcommand  \HorizontallyDividedCurvedDiamond                {\lgx{E27B}\relax}
+   \newcommand  \HorizontallyDividedVerySmallSquare              {\lgx{E27C}\relax}
+   \newcommand  \BlackReallySmallCircle                          {\lgx{E27D}\relax}
+   \newcommand  \BlackReallySmallSquare                          {\lgx{E27E}\relax}
+   \newcommand  \BlackReallySmallDiamond                         {\lgx{E27F}\relax}
+
+   \newcommand  \VerticallyDividedSquare                         {\lgx{E280}\relax}
+   \newcommand  \VerticallyDividedSquareRoundCorners             {\lgx{E281}\relax}
+   \newcommand  \VerticallyDividedDiamond                        {\lgx{E282}\relax}
+   \newcommand  \VerticallyDividedCircle                         {\lgx{E283}\relax}
+   \newcommand  \VerticallyDividedRightTriangle                  {\lgx{E284}\relax}
+   \newcommand  \VerticallyDividedLeftTriangle                   {\lgx{E285}\relax}
+   \newcommand  \VerticallyDividedDownTriangle                   {\lgx{E286}\relax}
+   \newcommand  \VerticallyDividedUpTriangle                     {\lgx{E287}\relax}
+   \newcommand  \VerticallyDividedSmallCircle                    {\lgx{E288}\relax}
+   \newcommand  \VerticallyDividedVerySmallCircle                {\lgx{E289}\relax}
+   \newcommand  \VerticallyDividedLozenge                        {\lgx{E28A}\relax}
+   \newcommand  \VerticallyDividedCurvedDiamond                  {\lgx{E28B}\relax}
+   \newcommand  \VerticallyDividedVerySmallSquare                {\lgx{E28C}\relax}
+
+   \newcommand  \QuarteredSquare                                 {\lgx{E290}\relax}
+   \newcommand  \QuarteredSquareRoundCorners                     {\lgx{E291}\relax}
+   \newcommand  \QuarteredDiamond                                {\lgx{E292}\relax}
+   \newcommand  \QuarteredCircle                                 {\lgx{E293}\relax}
+   \newcommand  \QuarteredRightTriangle                          {\lgx{E294}\relax}
+   \newcommand  \QuarteredLeftTriangle                           {\lgx{E295}\relax}
+   \newcommand  \QuarteredDownTriangle                           {\lgx{E296}\relax}
+   \newcommand  \QuarteredUpTriangle                             {\lgx{E297}\relax}
+   \newcommand  \QuarteredSmallCircle                            {\lgx{E298}\relax}
+   \newcommand  \QuarteredVerySmallCircle                        {\lgx{E299}\relax}
+   \newcommand  \QuartedLozenge                                  {\lgx{E29A}\relax}
+   \newcommand  \QuarteredCurvedDiamond                          {\lgx{E29B}\relax}
+   \newcommand  \QuarteredVerySmallSquare                        {\lgx{E29C}\relax}
+
+   \newcommand  \DownSlashedSquare                               {\lgx{E2A0}\relax}
+   \newcommand  \DownSlashedSquareRoundCorners                   {\lgx{E2A1}\relax}
+   \newcommand  \DownSlashedDiamond                              {\lgx{E2A2}\relax}
+   \newcommand  \DownSlashedCircle                               {\lgx{E2A3}\relax}
+   \newcommand  \DownSlashedRightTriangle                        {\lgx{E2A4}\relax}
+   \newcommand  \DownSlashedLeftTriangle                         {\lgx{E2A5}\relax}
+   \newcommand  \DownSlashedDownTriangle                         {\lgx{E2A6}\relax}
+   \newcommand  \DownSlashedUpTriangle                           {\lgx{E2A7}\relax}
+   \newcommand  \DownSlashedSmallCircle                          {\lgx{E2A8}\relax}
+   \newcommand  \DownSlashedVerySmallCircle                      {\lgx{E2A9}\relax}
+   \newcommand  \DownSlashedLozenge                              {\lgx{E2AA}\relax}
+   \newcommand  \DownSlashedCurvedDiamond                        {\lgx{E2AB}\relax}
+   \newcommand  \DownSlashedVerySmallSquare                      {\lgx{E2AC}\relax}
+
+   \newcommand  \UpSlashedSquare                                 {\lgx{E2B0}\relax}
+   \newcommand  \UpSlahsedSquareRoundCorners                     {\lgx{E2B1}\relax}
+   \newcommand  \UpSlashedDiamond                                {\lgx{E2B2}\relax}
+   \newcommand  \UpSlashedCircle                                 {\lgx{E2B3}\relax}
+   \newcommand  \UpSlashedRightTriangle                          {\lgx{E2B4}\relax}
+   \newcommand  \UpSlashedLeftTriangle                           {\lgx{E2B5}\relax}
+   \newcommand  \UpSlashedDownTriangle                           {\lgx{E2B6}\relax}
+   \newcommand  \UpSlashedUpTriangle                             {\lgx{E2B7}\relax}
+   \newcommand  \UpSlashedSmallCircle                            {\lgx{E2B8}\relax}
+   \newcommand  \UpSlashedVerySmallCircle                        {\lgx{E2B9}\relax}
+   \newcommand  \UpSlashedLozenge                                {\lgx{E2BA}\relax}
+   \newcommand  \UpSlashedCurvedDiamond                          {\lgx{E2BB}\relax}
+   \newcommand  \UpSlashedVerySmallSquare                        {\lgx{E2BC}\relax}
+
+   \newcommand  \CrossedSquare                                   {\lgx{E2C0}\relax}
+   \newcommand  \CrossedSquareRoundCorners                       {\lgx{E2C1}\relax}
+   \newcommand  \CrossedDiamond                                  {\lgx{E2C2}\relax}
+   \newcommand  \CrossedCircle                                   {\lgx{E2C3}\relax}
+   \newcommand  \CrossedRightTriangle                            {\lgx{E2C4}\relax}
+   \newcommand  \CrossedLeftTriangle                             {\lgx{E2C5}\relax}
+   \newcommand  \CrossedDownTriangle                             {\lgx{E2C6}\relax}
+   \newcommand  \CrossedUpTriangle                               {\lgx{E2C7}\relax}
+   \newcommand  \CrossedSmallCircle                              {\lgx{E2C8}\relax}
+   \newcommand  \CrossedVerySmallCircle                          {\lgx{E2C9}\relax}
+   \newcommand  \CrossedLozenge                                  {\lgx{E2CA}\relax}
+   \newcommand  \CrossedCurvedDiamond                            {\lgx{E2CB}\relax}
+   \newcommand  \CrossedVerySmallSquare                          {\lgx{E2CC}\relax}
+
+   \newcommand  \LBlackSquare                                    {\lgx{E2D0}\relax}
+   \newcommand  \LBlackSquareRoundCorners                        {\lgx{E2D1}\relax}
+   \newcommand  \LBlackDiamond                                   {\lgx{E2D2}\relax}
+   \newcommand  \LBlackCircle                                    {\lgx{E2D3}\relax}
+   \newcommand  \LBlackRightTriangle                             {\lgx{E2D4}\relax}
+   \newcommand  \LBlackLeftTriangle                              {\lgx{E2D5}\relax}
+   \newcommand  \LBlackDownTriangle                              {\lgx{E2D6}\relax}
+   \newcommand  \LBlackUpTriangle                                {\lgx{E2D7}\relax}
+   \newcommand  \LBlackSmallCircle                               {\lgx{E2D8}\relax}
+   \newcommand  \LBlackVerySmallCircle                           {\lgx{E2D9}\relax}
+   \newcommand  \LBlackLozenge                                   {\lgx{E2DA}\relax}
+   \newcommand  \LBlackCurvedDiamond                             {\lgx{E2DB}\relax}
+   \newcommand  \LBlackVerySmallSquare                           {\lgx{E2DC}\relax}
+   \newcommand  \LBlackLeftArrowHead                             {\lgx{E2DD}\relax}
+   \newcommand  \LBlackRightArrowHead                            {\lgx{E2DE}\relax}
+   \newcommand  \LBlackRightCurvedArrowHead                      {\lgx{E2DF}\relax}
+
+   \newcommand  \LWhiteSquare                                    {\lgx{E2E0}\relax}
+   \newcommand  \LWhiteSquareRoundCorners                        {\lgx{E2E1}\relax}
+   \newcommand  \LWhiteDiamond                                   {\lgx{E2E2}\relax}
+   \newcommand  \LWhiteCircle                                    {\lgx{E2E3}\relax}
+   \newcommand  \LWhiteRightTriangle                             {\lgx{E2E4}\relax}
+   \newcommand  \LWhiteLeftTriangle                              {\lgx{E2E5}\relax}
+   \newcommand  \LWhiteDownTriangle                              {\lgx{E2E6}\relax}
+   \newcommand  \LWhiteUpTriangle                                {\lgx{E2E7}\relax}
+   \newcommand  \LWhiteSmallCircle                               {\lgx{E2E8}\relax}
+   \newcommand  \LWhiteVerySmallCircle                           {\lgx{E2E9}\relax}
+   \newcommand  \LWhiteLozenge                                   {\lgx{E2EA}\relax}
+   \newcommand  \LWhiteCurvedDiamond                             {\lgx{E2EB}\relax}
+   \newcommand  \LWhiteVerySmallSquare                           {\lgx{E2EC}\relax}
+   \newcommand  \LWhiteLeftArrowHead                             {\lgx{E2ED}\relax}
+   \newcommand  \LWhiteRightArrowHead                            {\lgx{E2EE}\relax}
+   \newcommand  \LWhiteRightCurvedArrowHead                      {\lgx{E2EF}\relax}
 
 % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 
-- 
cgit v1.2.3

