texlive[55077] Master/texmf-dist: logix (10may20)
commits+karl at tug.org
commits+karl at tug.org
Sun May 10 00:06:20 CEST 2020
Revision: 55077
http://tug.org/svn/texlive?view=revision&revision=55077
Author: karl
Date: 2020-05-10 00:06:20 +0200 (Sun, 10 May 2020)
Log Message:
-----------
logix (10may20)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG
trunk/Master/texmf-dist/doc/fonts/logix/README
trunk/Master/texmf-dist/doc/fonts/logix/logix.pdf
trunk/Master/texmf-dist/doc/fonts/logix/logix.tex
trunk/Master/texmf-dist/tex/latex/logix/logix.sty
Modified: trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG 2020-05-09 22:06:00 UTC (rev 55076)
+++ trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG 2020-05-09 22:06:20 UTC (rev 55077)
@@ -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.
Modified: trunk/Master/texmf-dist/doc/fonts/logix/README
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/README 2020-05-09 22:06:00 UTC (rev 55076)
+++ trunk/Master/texmf-dist/doc/fonts/logix/README 2020-05-09 22:06:20 UTC (rev 55077)
@@ -1,28 +1,7 @@
The logix package.
-This is the README for the logix package, version 2020-01-04 v1.02.
+This is the README for the logix package, version 2020-03-07 v1.03.
-*** 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 package provides supplemental symbols for use in logic and mathematics
which are largely not present in Unicode. Some symbols are in Unicode but
are included because they are variants that may look better in some
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.tex
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/logix.tex 2020-05-09 22:06:00 UTC (rev 55076)
+++ trunk/Master/texmf-dist/doc/fonts/logix/logix.tex 2020-05-09 22:06:20 UTC (rev 55077)
@@ -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
Modified: trunk/Master/texmf-dist/tex/latex/logix/logix.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/logix/logix.sty 2020-05-09 22:06:00 UTC (rev 55076)
+++ trunk/Master/texmf-dist/tex/latex/logix/logix.sty 2020-05-09 22:06:20 UTC (rev 55077)
@@ -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 \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} % 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 \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}} % 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 \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} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % Map Composition
- \newcommand \FncComp {\lgx{E239}} % Function Composition
- \newcommand \FncCnvrs {\lgx{E2C3}} % Function Converse
+ \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}} % Short Function
- \newcommand \Func {\lgx{E9DD}} % Function
- \newcommand \LFunc {\lgx{E9DE}} % Long Function
- \newcommand \XFunc {\lgx{E9DF}} % Extra Long Function
+ \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}} % Classical Implication
- \newcommand \NotClsImpl {\lgx{E79F}} % Not Classical Implication
- \newcommand \ClsEquv {\lgx{E666}} % Classical Equivalence
- \newcommand \NotClsEquv {\lgx{E667}} % Not Classical Equivalence
+ \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % Defines
- \newcommand \Qed {\lgx{E08F}} % Q.E.D.
+ \newcommand \Defn {\lgx{E60A}\relax} % Defines
+ \newcommand \Qed {\lgx{E08F}\relax} % 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 \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}} % Logical Coherence
- \newcommand \BncCohrnc {\lgx{E078}} % Bunch Coherence
+ \newcommand \LcgCohrnc {\lgx{E068}\relax} % Logical Coherence
+ \newcommand \BncCohrnc {\lgx{E078}\relax} % 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 \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}} % 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 \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}} % 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 \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}} % Shift for superscripts
- \newcommand \ShftSubscr {\lgx{EAC4}} % Shift for subscripts
- \newcommand \ShftAccent {\lgx{EAC5}} % Shift for accents
+ \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % 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 \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}} % Bunch Inclusion
- \newcommand \In {\lgx{E602}} % Set Membership
- \newcommand \NotIn {\lgx{E603}} % Set Membership Negated
+ \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}} % Empty Bunch
- \newcommand \NullSet {\lgx{E053}} % Null Set
+ \newcommand \EmptyBunch {\lgx{E054}\relax} % Empty Bunch
+ \newcommand \NullSet {\lgx{E053}\relax} % Null Set
- \newcommand \BnchMeet {\lgx{E710}} % Bunch Meet
- \newcommand \BnchJoin {\lgx{E711}} % Bunch Join
+ \newcommand \BnchMeet {\lgx{E710}\relax} % Bunch Meet
+ \newcommand \BnchJoin {\lgx{E711}\relax} % 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 \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}} % 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 \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}} % Map Meet
- \newcommand \MapJoin {\lgx{E761}} % Map Join
+ \newcommand \MapMeet {\lgx{E760}\relax} % Map Meet
+ \newcommand \MapJoin {\lgx{E761}\relax} % 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 \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}} % Set Intersection
- \newcommand \SetJoin {\lgx{E791}} % Set Union
- \newcommand \Normal {\lgx{E2E5}} % Normal Subgroup
- \newcommand \SetSymDiff {\lgx{E2E7}} % Set Symmetric Difference
+ \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}} % Strict Subset
- \newcommand \NotStrctSbset {\lgx{E799}} % Strict Subset Negated
- \newcommand \Sbset {\lgx{E79A}} % Subset
- \newcommand \NotSbset {\lgx{E79B}} % Subset Negated
+ \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}} % 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 \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}} % 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 \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}} % 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 \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}} % Precedes
- \newcommand \Preq {\lgx{E6CA}} % Precedes or Equal
- \newcommand \Suc {\lgx{E6CE}} % Succeeds
- \newcommand \Sucq {\lgx{E6CC}} % Succeeds 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}} % 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 \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}} % 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 \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}} % Append
- \newcommand \Concat {\lgx{E0CD}} % Concatenation
+ \newcommand \Append {\lgx{E0CB}\relax} % Append
+ \newcommand \Concat {\lgx{E0CD}\relax} % Concatenation
- \newcommand \CircPlus {\lgx{E12B}} % Large Circled Plus
- \newcommand \CircTimes {\lgx{E12C}} % Large Circled Times
- \newcommand \CircStar {\lgx{E11D}} % Circled Star
+ \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}} % 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 \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}}
- \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 \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}
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
More information about the tex-live-commits
mailing list.