summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-05-09 22:06:20 +0000
committerKarl Berry <karl@freefriends.org>2020-05-09 22:06:20 +0000
commit08050a3b8d8b0bba6b4c88d79c7b4bfefe02c383 (patch)
tree96d6478e59688dcffb6a9f9ac505017d1a9e8453 /Master/texmf-dist
parent1f2742f1a981ff9d19a8b7ff13a662d8d5c3ebe4 (diff)
logix (10may20)
git-svn-id: svn://tug.org/texlive/trunk@55077 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r--Master/texmf-dist/doc/fonts/logix/CHANGELOG11
-rw-r--r--Master/texmf-dist/doc/fonts/logix/README23
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.pdfbin421600 -> 421596 bytes
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.tex6
-rw-r--r--Master/texmf-dist/tex/latex/logix/logix.sty1464
5 files changed, 747 insertions, 757 deletions
diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG
index 16804888699..503b45c287d 100644
--- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG
+++ b/Master/texmf-dist/doc/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/Master/texmf-dist/doc/fonts/logix/README b/Master/texmf-dist/doc/fonts/logix/README
index 14c20bd6208..aab910c6cbc 100644
--- a/Master/texmf-dist/doc/fonts/logix/README
+++ b/Master/texmf-dist/doc/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/Master/texmf-dist/doc/fonts/logix/logix.pdf b/Master/texmf-dist/doc/fonts/logix/logix.pdf
index 6f797d0f675..a70b3434693 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.pdf
+++ b/Master/texmf-dist/doc/fonts/logix/logix.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.tex b/Master/texmf-dist/doc/fonts/logix/logix.tex
index 793bfe92646..432e3bad074 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.tex
+++ b/Master/texmf-dist/doc/fonts/logix/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/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index bbb03f83000..10540b0b64c 100644
--- a/Master/texmf-dist/tex/latex/logix/logix.sty
+++ b/Master/texmf-dist/tex/latex/logix/logix.sty
@@ -1,6 +1,6 @@
% Copyright (c) 2001..2020 by Michael Lee Finney.
%
-% logix.sty - 2020-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}
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -