From adcdf254252f764d8969df03d013bf5da6333873 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Sun, 10 May 2020 03:02:26 +0000 Subject: CTAN sync 202005100302 --- fonts/logix/CHANGELOG | 11 + fonts/logix/README | 23 +- fonts/logix/doc/logix.pdf | Bin 421600 -> 421596 bytes fonts/logix/doc/logix.tex | 6 +- fonts/logix/tex/logix.sty | 1464 ++++++++++++++++++++++----------------------- 5 files changed, 747 insertions(+), 757 deletions(-) (limited to 'fonts') diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG index 1680488869..503b45c287 100644 --- a/fonts/logix/CHANGELOG +++ b/fonts/logix/CHANGELOG @@ -1,3 +1,14 @@ +2020-03-07 v1.03 + + 1. Some macros were tweaked which were not expanding correctly in some circumstances. + + 2. The "bold-style=ISO" option is now used for unicode-math. This causes \symbf to + use italic bold, \mathbf remains non-italic. See the unicode-math package + documentation for more information. + + 3. LaTeX2e version 2020-02-02 patch level 5 is now required. Some updates prior to + patch level 5 were causing errors. + 2020-01-04 v1.02 1. Version number corrected in logix.sty. diff --git a/fonts/logix/README b/fonts/logix/README index 14c20bd620..aab910c6cb 100644 --- a/fonts/logix/README +++ b/fonts/logix/README @@ -1,27 +1,6 @@ The logix package. -This is the README for the logix package, version 2020-01-04 v1.02. - -*** Important! *** ******************************************************** - -Due to changes in a number of base packages, a number of other packages -have been broken. To the best of my knowledge (as of the date above) the -only remaining package that is broken and that affects using this package -is filehook-scrlfile. If you get an error message such as: - - LaTeX Warning: Command \InputIfFileExists has changed. - - Package filehook Error: Detected 'scrlfile' package with unknown definition of \InputIfFileExists. - -Then goto - - https://tex.stackexchange.com/a/515183/48973 - -and copy the code into a file named "filehook-scrlfile.sty" and place -it in your local directory. When filehook-scrlfile has been updated, this -local file should be removed. - -*************************************************************************** +This is the README for the logix package, version 2020-03-07 v1.03. This package provides supplemental symbols for use in logic and mathematics which are largely not present in Unicode. Some symbols are in Unicode but diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf index 6f797d0f67..a70b343469 100644 Binary files a/fonts/logix/doc/logix.pdf and b/fonts/logix/doc/logix.pdf differ diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex index 793bfe9264..432e3bad07 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -9,8 +9,8 @@ \usepackage{array} \usepackage{logix} - \setmainfont{STIX Two Text} - \setmathfont{STIX Two Math} + \setmainfont{STIX Two Text}[NFSSFamily=mainfont] + \setmathfont{STIX Two Math}[NFSSFamily=mathfont] \usepackage{scrextend} \usepackage{csquotes} @@ -85,7 +85,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2020-01-04 v1.02} + \section{Introduction: logix 2020-03-07 v1.03} The logix package provides the logix Unicode font and, at this time, must be used either with \LuaLaTeX\ or \XeLaTeX. There are no available options. The logix font contains 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