summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/logix
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-01-04 22:04:26 +0000
committerKarl Berry <karl@freefriends.org>2020-01-04 22:04:26 +0000
commit8a5a45eae4b27a6b626cb7ba6ebae0cbca86d94f (patch)
tree8fb3b6e36b6989e95546dc718c507b2ce09b3e42 /Master/texmf-dist/tex/latex/logix
parentfb02bc88cfe5671a93a196f5d6ec4e434e4f4220 (diff)
logix (4jan20)
git-svn-id: svn://tug.org/texlive/trunk@53317 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/logix')
-rw-r--r--Master/texmf-dist/tex/latex/logix/logix.sty1000
1 files changed, 540 insertions, 460 deletions
diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index 3c99c23f853..bbb03f83000 100644
--- a/Master/texmf-dist/tex/latex/logix/logix.sty
+++ b/Master/texmf-dist/tex/latex/logix/logix.sty
@@ -1,6 +1,6 @@
-% Copyright (c) 2001..2019 by Michael Lee Finney.
+% Copyright (c) 2001..2020 by Michael Lee Finney.
%
-% logix.sty - 2019-07-07 v1.01
+% logix.sty - 2020-01-04 v1.02
%
% This work may be distributed and/or modified under the conditions of the
% LaTeX Project Public License, either version 1.3 of this license or (at your
@@ -28,11 +28,10 @@
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{logix}
- [2019/07/01 v1.00 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+ [2020-01-04 v1.02 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
\ProvidesFile{logix.otf}
- [2019/07/01 v1.00 (Michael Lee Finney) OpenType Unicode font.]
- \RequirePackage{ifxetex}
- \RequirePackage{ifluatex}
+ [2020-01-04 v1.02 (Michael Lee Finney) OpenType Unicode font.]
+ \RequirePackage{iftex}
\RequirePackage{unicode-math}
\RequirePackage{arydshln}
@@ -264,455 +263,528 @@
\newcommand \lgm[1] {\ensuremath{\Udelimiter 0 \symLogix "#1}}
\newcommand \lgr[1] {\ensuremath{\Udelimiter 5 \symLogix "#1}}
- \newcommand \OpnBar {\lgl{E300}} % Open 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 \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 \MapParInMul {\lgx{EAA0}} % Continuous, Partial, Into Multi-Map
- \newcommand \MapParInSng {\lgx{EAA1}} % Continuous, Partial, Into, Singleton Map
- \newcommand \MapParInOne {\lgx{EAA2}} % Continuous, Partial, Into, One-To-One Map
- \newcommand \MapParOnMul {\lgx{EAA8}} % Continuous, Partial, Onto Multi-Map
- \newcommand \MapParOnSng {\lgx{EAA9}} % Continuous, Partial, Onto, Singleton Map
- \newcommand \MapParOnOne {\lgx{EAAA}} % Continuous, Partial, Onto, One-To-One Map
- \newcommand \MapParInGndMul {\lgx{EAB0}} % Continuous, Partial, Into, Grounded Multi-Map
- \newcommand \MapParInGndSng {\lgx{EAB1}} % Continuous, Partial, Into, Grounded, Singleton Map
- \newcommand \MapParInGndOne {\lgx{EAB2}} % Continuous, Partial, Into, Grounded, One-To-One Map
- \newcommand \MapParOnGndMul {\lgx{EAB8}} % Continuous, Partial, Onto, Grounded Multi-Map
- \newcommand \MapParOnGndSng {\lgx{EAB9}} % Continuous, Partial, Onto, Grounded, Singleton Map
- \newcommand \MapParOnGndOne {\lgx{EABA}} % Continuous, Partial, Onto, Grounded, One-To-One Map
-
- \newcommand \MapTotInMul {\lgx{EA80}} % Continuous, Total, Into Multi-Map
- \newcommand \MapTotInSng {\lgx{EA81}} % Continuous, Total, Into, Singleton Map
- \newcommand \MapTotInOne {\lgx{EA82}} % Continuous, Total, Into, One-To-One Map
- \newcommand \MapTotOnMul {\lgx{EA88}} % Continuous, Total, Onto Multi-Map
- \newcommand \MapTotOnSng {\lgx{EA89}} % Continuous, Total, Onto, Singleton Map
- \newcommand \MapTotOnOne {\lgx{EA8A}} % Continuous, Total, Onto, One-To-One Map
- \newcommand \MapTotInGndMul {\lgx{EA90}} % Continuous, Total, Into, Grounded Multi-Map
- \newcommand \MapTotInGndSng {\lgx{EA91}} % Continuous, Total, Into, Grounded, Singleton Map
- \newcommand \MapTotInGndOne {\lgx{EA92}} % Continuous, Total, Into, Grounded, One-To-One Map
- \newcommand \MapTotOnGndMul {\lgx{EA98}} % Continuous, Total, Onto, Grounded Multi-Map
- \newcommand \MapTotOnGndSng {\lgx{EA99}} % Continuous, Total, Onto, Grounded, Singleton Map
- \newcommand \MapTotOnGndOne {\lgx{EA9A}} % Continuous, Total, Onto, Grounded, One-To-One Map
-
- \newcommand \FunParInMul {\lgx{EAA4}} % Continuous, Partial, Into Multi-Function
- \newcommand \FunParInSng {\lgx{EAA5}} % Continuous, Partial, Into, Singleton Function
- \newcommand \FunParInOne {\lgx{EAA6}} % Continuous, Partial, Into, One-To-One Function
- \newcommand \FunParOnMul {\lgx{EAAC}} % Continuous, Partial, Onto Multi-Function
- \newcommand \FunParOnSng {\lgx{EAAD}} % Continuous, Partial, Onto, Singleton Function
- \newcommand \FunParOnOne {\lgx{EAAE}} % Continuous, Partial, Onto, One-To-One Function
- \newcommand \FunParInGndMul {\lgx{EAB4}} % Continuous, Partial, Into, Grounded Multi-Function
- \newcommand \FunParInGndSng {\lgx{EAB5}} % Continuous, Partial, Into, Grounded, Singleton Function
- \newcommand \FunParInGndOne {\lgx{EAB6}} % Continuous, Partial, Into, Grounded, One-To-One Function
- \newcommand \FunParOnGndMul {\lgx{EABC}} % Continuous, Partial, Onto, Grounded Multi-Function
- \newcommand \FunParOnGndSng {\lgx{EABD}} % Continuous, Partial, Onto, Grounded, Singleton Function
- \newcommand \FunParOnGndOne {\lgx{EABE}} % Continuous, Partial, Onto, Grounded, One-To-One Function
-
- \newcommand \FunTotInMul {\lgx{EA84}} % Continuous, Total, Into Multi-Function
- \newcommand \FunTotInSng {\lgx{EA85}} % Continuous, Total, Into, Singleton Function
- \newcommand \FunTotInOne {\lgx{EA86}} % Continuous, Total, Into, One-To-One Function
- \newcommand \FunTotOnMul {\lgx{EA8C}} % Continuous, Total, Onto Multi-Function
- \newcommand \FunTotOnSng {\lgx{EA8D}} % Continuous, Total, Onto, Singleton Function
- \newcommand \FunTotOnOne {\lgx{EA8E}} % Continuous, Total, Onto, One-To-One Function
- \newcommand \FunTotInGndMul {\lgx{EA94}} % Continuous, Total, Into, Grounded Multi-Function
- \newcommand \FunTotInGndSng {\lgx{EA95}} % Continuous, Total, Into, Grounded, Singleton Function
- \newcommand \FunTotInGndOne {\lgx{EA96}} % Continuous, Total, Into, Grounded, One-To-One Function
- \newcommand \FunTotOnGndMul {\lgx{EA9C}} % Continuous, Total, Onto, Grounded Multi-Function
- \newcommand \FunTotOnGndSng {\lgx{EA9D}} % Continuous, Total, Onto, Grounded, Singleton Function
- \newcommand \FunTotOnGndOne {\lgx{EA9E}} % Continuous, Total, Onto, Grounded, One-To-One Function
-
- \newcommand \MapComp {\lgx{E23C}} % Map Composition
- \newcommand \FncComp {\lgx{E239}} % Function Composition
- \newcommand \FncCnvrs {\lgx{E2C3}} % Function Converse
-
- \newcommand \SFunc {\lgx{E9DC}} % Short Function
- \newcommand \Func {\lgx{E9DD}} % Function
- \newcommand \LFunc {\lgx{E9DE}} % Long Function
- \newcommand \XFunc {\lgx{E9DF}} % Extra Long Function
-
- \newcommand \ClsImpl {\lgx{E79E}} % Classical Implication
- \newcommand \NotClsImpl {\lgx{E79F}} % Not Classical Implication
- \newcommand \ClsEquv {\lgx{E666}} % Classical Equivalence
- \newcommand \NotClsEquv {\lgx{E667}} % Not Classical Equivalence
-
- \newcommand \SWkMtImpl {\lgx{E810}} % Short Weak Material Implication
- \newcommand \NotSWkMtImpl {\lgx{E811}} % Short Not Weak Material Implication
- \newcommand \SWkMtEquv {\lgx{E812}} % Short Weak Material Equivalence
- \newcommand \NotSWkMtEquv {\lgx{E813}} % Short Not Weak Material Equivalence
- \newcommand \WkMtImpl {\lgx{E814}} % Weak Material Implication
- \newcommand \NotWkMtImpl {\lgx{E815}} % Not Weak Material Implication
- \newcommand \WkMtEquv {\lgx{E816}} % Weak Material Equivalence
- \newcommand \NotWkMtEquv {\lgx{E817}} % Not Weak Material Equivalence
- \newcommand \LWkMtImpl {\lgx{E818}} % Long Weak Material Implication
- \newcommand \NotLWkMtImpl {\lgx{E819}} % Long Not Weak Material Implication
- \newcommand \LWkMtEquv {\lgx{E81A}} % Long Weak Material Equivalence
- \newcommand \NotLWkMtEquv {\lgx{E81B}} % Long Not Weak Material Equivalence
- \newcommand \XWkMtImpl {\lgx{E81C}} % Extra Long Weak Material Implication
- \newcommand \NotXWkMtImpl {\lgx{E81D}} % Extra Long Not Weak Material Implication
- \newcommand \XWkMtEquv {\lgx{E81E}} % Extra Long Weak Material Equivalence
- \newcommand \NotXWkMtEquv {\lgx{E81F}} % Extra Long Not Weak Material Equivalence
-
- \newcommand \SMtImpl {\lgx{E820}} % Short WMaterial Implication
- \newcommand \NotSMtImpl {\lgx{E821}} % Short NNot Material Implication
- \newcommand \SMtEquv {\lgx{E822}} % Short WMaterial Equivalence
- \newcommand \NotSMtEquv {\lgx{E823}} % Short NNot Material Equivalence
- \newcommand \MtImpl {\lgx{E824}} % Material Implication
- \newcommand \NotMtImpl {\lgx{E825}} % Not Material Implication
- \newcommand \MtEquv {\lgx{E826}} % Material Equivalence
- \newcommand \NotMtEquv {\lgx{E827}} % Not Material Equivalence
- \newcommand \LMtImpl {\lgx{E828}} % Long Material Implication
- \newcommand \NotLMtImpl {\lgx{E829}} % Long Not Material Implication
- \newcommand \LMtEquv {\lgx{E82A}} % Long Material Equivalence
- \newcommand \NotLMtEquv {\lgx{E82B}} % Long Not Material Equivalence
- \newcommand \XMtImpl {\lgx{E82C}} % Extra Long Material Implication
- \newcommand \NotXMtImpl {\lgx{E82D}} % Extra Long Not Material Implication
- \newcommand \XMtEquv {\lgx{E82E}} % Extra Long Material Equivalence
- \newcommand \NotXMtEquv {\lgx{E82F}} % Extra Long Not Material Equivalence
-
- \newcommand \SInImpl {\lgx{E830}} % Short WIntuitionistic Implication
- \newcommand \NotSInImpl {\lgx{E831}} % Short NNot Intuitionistic Implication
- \newcommand \SInEquv {\lgx{E832}} % Short WIntuitionistic Equivalence
- \newcommand \NotSInEquv {\lgx{E833}} % Short NNot Intuitionistic Equivalence
- \newcommand \InImpl {\lgx{E834}} % Intuitionistic Implication
- \newcommand \NotInImpl {\lgx{E835}} % Not Intuitionistic Implication
- \newcommand \InEquv {\lgx{E836}} % Intuitionistic Equivalence
- \newcommand \NotInEquv {\lgx{E837}} % Not Intuitionistic Equivalence
- \newcommand \LInImpl {\lgx{E838}} % Long Intuitionistic Implication
- \newcommand \NotLInImpl {\lgx{E839}} % Long Not Intuitionistic Implication
- \newcommand \LInEquv {\lgx{E83A}} % Long Intuitionistic Equivalence
- \newcommand \NotLInEquv {\lgx{E83B}} % Long Not Intuitionistic Equivalence
- \newcommand \XInImpl {\lgx{E83C}} % Extra Long Intuitionistic Implication
- \newcommand \NotXInImpl {\lgx{E83D}} % Extra Long Not Intuitionistic Implication
- \newcommand \XInEquv {\lgx{E83E}} % Extra Long Intuitionistic Equivalence
- \newcommand \NotXInEquv {\lgx{E83F}} % Extra Long Not Intuitionistic Equivalence
-
- \newcommand \SWkImpl {\lgx{E840}} % Short WWeak Implication
- \newcommand \NotSWkImpl {\lgx{E841}} % Short NNot Weak Implication
- \newcommand \SWkEquv {\lgx{E842}} % Short WWeak Implication Equivalence
- \newcommand \NotSWkEquv {\lgx{E843}} % Short NNot Weak Implication Equivalence
- \newcommand \WkImpl {\lgx{E844}} % Weak Implication
- \newcommand \NotWkImpl {\lgx{E845}} % Not Weak Implication
- \newcommand \WkEquv {\lgx{E846}} % Weak Implication Equivalence
- \newcommand \NotWkEquv {\lgx{E847}} % Not Weak Implication Equivalence
- \newcommand \LWkImpl {\lgx{E848}} % Long Weak Implication
- \newcommand \NotLWkImpl {\lgx{E849}} % Long Not Weak Implication
- \newcommand \LWkEquv {\lgx{E84A}} % Long Weak Implication Equivalence
- \newcommand \NotLWkEquv {\lgx{E84B}} % Long Not Weak Implication Equivalence
- \newcommand \XWkImpl {\lgx{E84C}} % Extra Long Weak Implication
- \newcommand \NotXWkImpl {\lgx{E84D}} % Extra Long Not Weak Implication
- \newcommand \XWkEquv {\lgx{E84E}} % Extra Long Weak Implication Equivalence
- \newcommand \NotXWkEquv {\lgx{E84F}} % Extra Long Not Weak Implication Equivalence
-
- \newcommand \SImpl {\lgx{E850}} % Short WImplication
- \newcommand \NotSImpl {\lgx{E851}} % Short NNot Implication
- \newcommand \SEquv {\lgx{E852}} % Short WImplication Equivalence
- \newcommand \NotSEquv {\lgx{E853}} % Short NNot Implication Equivalence
- \newcommand \Impl {\lgx{E854}} % Implication
- \newcommand \NotImpl {\lgx{E855}} % Not Implication
- \newcommand \Equv {\lgx{E856}} % Implication Equivalence
- \newcommand \NotEquv {\lgx{E857}} % Not Implication Equivalence
- \newcommand \LImpl {\lgx{E858}} % Long Implication
- \newcommand \NotLImpl {\lgx{E859}} % Long Not Implication
- \newcommand \LEquv {\lgx{E85A}} % Long Implication Equivalence
- \newcommand \NotLEquv {\lgx{E85B}} % Long Not Implication Equivalence
- \newcommand \XImpl {\lgx{E85C}} % Extra Long Implication
- \newcommand \NotXImpl {\lgx{E85D}} % Extra Long Not Implication
- \newcommand \XEquv {\lgx{E85E}} % Extra Long Implication Equivalence
- \newcommand \NotXEquv {\lgx{E85F}} % Extra Long Not Implication Equivalence
-
- \newcommand \SWkEntail {\lgx{E860}} % Short WWeak Entailment
- \newcommand \NotSWkEntail {\lgx{E861}} % Short NNot Weak Entailment
- \newcommand \SWkEntailEquv {\lgx{E862}} % Short WWeak Entailment Equivalence
- \newcommand \NotSWkEntailEquv {\lgx{E863}} % Short NNot Weak Entailment Equivalence
- \newcommand \WkEntail {\lgx{E864}} % Weak Entailment
- \newcommand \NotWkEntail {\lgx{E865}} % Not Weak Entailment
- \newcommand \WkEntailEquv {\lgx{E866}} % Weak Entailment Equivalence
- \newcommand \NotWkEntailEquv {\lgx{E867}} % Not Weak Entailment Equivalence
- \newcommand \LWkEntail {\lgx{E868}} % Long Weak Entailment
- \newcommand \NotLWkEntail {\lgx{E869}} % Long Not Weak Entailment
- \newcommand \LWkEntailEquv {\lgx{E86A}} % Long Weak Entailment Equivalence
- \newcommand \NotLWkEntailEquv {\lgx{E86B}} % Long Not Weak Entailment Equivalence
- \newcommand \XWkEntail {\lgx{E86C}} % Extra Long Weak Entailment
- \newcommand \NotXWkEntail {\lgx{E86D}} % Extra Long Not Weak Entailment
- \newcommand \XWkEntailEquv {\lgx{E86E}} % Extra Long Weak Entailment Equivalence
- \newcommand \NotXWkEntailEquv {\lgx{E86F}} % Extra Long Not Weak Entailment Equivalence
-
- \newcommand \SEntail {\lgx{E870}} % Short WEntailment
- \newcommand \NotSEntail {\lgx{E871}} % Short NNot Entailment
- \newcommand \SEntailEquv {\lgx{E872}} % Short WEntailment Equivalence
- \newcommand \NotSEntailEquv {\lgx{E873}} % Short NNot Entailment Equivalence
- \newcommand \Entail {\lgx{E874}} % Entailment
- \newcommand \NotEntail {\lgx{E875}} % Not Entailment
- \newcommand \EntailEquv {\lgx{E876}} % Entailment Equivalence
- \newcommand \NotEntailEquv {\lgx{E877}} % Not Entailment Equivalence
- \newcommand \LEntail {\lgx{E878}} % Long Entailment
- \newcommand \NotLEntail {\lgx{E879}} % Long Not Entailment
- \newcommand \LEntailEquv {\lgx{E87A}} % Long Entailment Equivalence
- \newcommand \NotLEntailEquv {\lgx{E87B}} % Long Not Entailment Equivalence
- \newcommand \XEntail {\lgx{E87C}} % Extra Long Entailment
- \newcommand \NotXEntail {\lgx{E87D}} % Extra Long Not Entailment
- \newcommand \XEntailEquv {\lgx{E87E}} % Extra Long Entailment Equivalence
- \newcommand \NotXEntailEquv {\lgx{E87F}} % Extra Long Not Entailment Equivalence
-
- \newcommand \Seq {\lgx{E94C}} % Sequent
- \newcommand \NotSeq {\lgx{E96C}} % Sequent Denied
- \newcommand \Rule {\lgx{E940}} % Assertion (Rule)
- \newcommand \NotRule {\lgx{E960}} % Assertion (Rule) Denied
- \newcommand \Model {\lgx{E942}} % Model
- \newcommand \NotModel {\lgx{E962}} % Model Denied
- \newcommand \Turn {\lgx{E944}} % Turnstile
- \newcommand \NotTurn {\lgx{E964}} % Turnstile Denied
- \newcommand \Conseq {\lgx{E946}} % Consequence Relation
- \newcommand \NotConseq {\lgx{E966}} % Consequence Relation Denied
-
- \newcommand \Defn {\lgx{E60A}} % Defines
- \newcommand \Qed {\lgx{E08F}} % Q.E.D.
-
- \newcommand \Nd {\lgx{E6A0}} % Bitwise AND operator / Logical Conjunction
- \newcommand \Or {\lgx{E6A1}} % Bitwise OR operator / Logical Disjunction
- \newcommand \Nt {\lgx{E0C0}} % Bitwise NOT operator / Logical Negation
- \newcommand \Ng {\lgx{E64C}} % Classical Logical Negation
- \newcommand \Nand {\lgx{E6A2}} % Bitwise NAND operator
- \newcommand \Nor {\lgx{E6A3}} % Bitwise NOR operator
- \newcommand \Xor {\lgx{E6A5}} % Bitwise XOR operator
-
- \newcommand \LcgCohrnc {\lgx{E068}} % Logical Coherence
- \newcommand \BncCohrnc {\lgx{E078}} % Bunch Coherence
-
- \newcommand \True {\lgx{E012}} % True
- \newcommand \False {\lgx{E014}} % False
- \newcommand \Top {\lgx{E017}} % Lattice / type top
- \newcommand \Bot {\lgx{E016}} % Lattice / type bottom
-
- \newcommand \QuantCon {\lgx{E891}} % Quantified Conjunction
- \newcommand \QuantDis {\lgx{E890}} % Quantified Disjuntion
- \newcommand \ForAll {\lgx{E8C0}} % Universal Individual Quantifier
- \newcommand \Exists {\lgx{E8C1}} % Existential Individual Quantifier
- \newcommand \Unique {\lgx{E8C2}} % Unique Existential Individual Quantifier
- \newcommand \BnchForAll {\lgx{E8D0}} % Universal Bunch Quantifier
- \newcommand \BnchExists {\lgx{E8D1}} % Existential Bunch Quantifier
- \newcommand \BnchUnique {\lgx{E8D2}} % Unique Existential Bunch Quantifier
- \newcommand \BndMap {\lgx{E030}} % Map Abstraction
-
- \newcommand \Dt {\lgx{E098}} % Dot
- \newcommand \Comma {\lgx{E099}} % Comma
- \newcommand \Semicln {\lgx{E09A}} % Semicolon
- \newcommand \Cln {\lgx{E091}} % Colon
- \newcommand \Thus {\lgx{E092}} % Thus
- \newcommand \Since {\lgx{E093}} % Since
- \newcommand \Dts {\lgx{E096}} % Dots (ellipsis)
- \newcommand \BndDot {\lgx{E090}} % Binding Dot
- \newcommand \BndBar {\lgm{E380}} % Binding Bar
- \newcommand \LngVrtBar {\lgx{E0EC}} % Long Vertical Bar
- \newcommand \Queston {\lgx{E02C}} % Question mark
- \newcommand \Exclaim {\lgx{E02D}} % Exclamation point
- \newcommand \Percent {\lgx{E03C}} % Percent sign
- \newcommand \Ampersand {\lgx{E03D}} % Ampersand
- \newcommand \Dollar {\lgx{E05F}} % Dollar sign
- \newcommand \At {\lgx{E03E}} % At sign
- \newcommand \Circumflex {\lgx{E03F}} % ASCII Circumflex
- \newcommand \Number {\lgx{E04F}} % Number sign
- \newcommand \Underscore {\lgx{E09E}} % Underscore
- \newcommand \Tild {\lgx{007E}} % Tilde E64C
- \newcommand \SingleQuote {\lgx{E09C}} % Single quote
- \newcommand \DoubleQuote {\lgx{E09B}} % Double quote
- \newcommand \BackQuote {\lgx{E09D}} % Back quote (grave)
- \newcommand \LeftSlash {\lgx{E103}} % Left (back) slash
- \newcommand \RightSlash {\lgx{E102}} % Right (forward) slash
-
- \newcommand \ShftSuper {\lgx{EAC3}} % Shift for superscripts
- \newcommand \ShftSubscr {\lgx{EAC4}} % Shift for subscripts
- \newcommand \ShftAccent {\lgx{EAC5}} % Shift for accents
-
- \newcommand \RplcAllBndRight {\lgx{E9D4}} % Replace All Bound Variables (right)
- \newcommand \RplcAllBndLeft {\lgx{E9D5}} % Replace All Bound Variables (left)
- \newcommand \RplcAllRight {\lgx{E9DA}} % Replace All (right)
- \newcommand \RplcAllLeft {\lgx{E9DB}} % Replace All (left)
- \newcommand \RplcFreeRight {\lgx{E9F0}} % Replace Any Free Variables (right)
- \newcommand \RplcFreeLeft {\lgx{E9F1}} % Replace Any Free Variables (left)
- \newcommand \RplcEquvRight {\lgx{E9F8}} % Replace Equivalent Expressions (right)
- \newcommand \RplcEquvLeft {\lgx{E9F9}} % Replace Equivalent Expressions (left)
-
- \newcommand \LstFix {\lgx{E031}} % Least Fixed Point
- \newcommand \GrtFix {\lgx{E032}} % Greatest Fixed Point
- \newcommand \Choice {\lgx{E033}} % Choice
- \newcommand \ExLstFix {\lgx{E034}} % Extended Least Fixed Point
- \newcommand \ExGrtFix {\lgx{E035}} % Extended Greatest Fixed Point
- \newcommand \FrstOrd {\lgx{E039}} % First Ordinal (omega)
-
- \newcommand \LogNec {\lgx{E230}} % Logical Necessity (temporal always or henceforth)
- \newcommand \LogPos {\lgx{E232}} % Logical Possibility (temporal sometime or eventually)
- \newcommand \LogNext {\lgx{E233}} % Logical Next (temporal next or nexttime)
- \newcommand \LogFutr {\lgx{E234}} % Logical Future (temporal in the future)
- \newcommand \LogPast {\lgx{E235}} % Logical Past (temporal in the past)
- \newcommand \LogCont {\lgx{E236}} % Logical Contingency
- \newcommand \LogNonCont {\lgx{E237}} % Logical Non-contingency
-
- \newcommand \Nec {\lgx{E270}} % Necessity (temporal always or henceforth)
- \newcommand \Pos {\lgx{E272}} % Possibility (temporal sometime or eventually)
- \newcommand \Next {\lgx{E273}} % Next (temporal next or nexttime)
- \newcommand \Futr {\lgx{E274}} % Future (temporal in the future)
- \newcommand \Past {\lgx{E275}} % Past (temporal in the past)
- \newcommand \Cont {\lgx{E276}} % Contingency
- \newcommand \NonCont {\lgx{E277}} % Non-contingency
-
- \newcommand \FacNec {\lgx{E220}} % Factual Necessity (temporal always or henceforth)
- \newcommand \FacPos {\lgx{E222}} % Factual Possibility (temporal sometime or eventually)
- \newcommand \FacNext {\lgx{E223}} % Factual Next (temporal next or nexttime)
- \newcommand \FacFutr {\lgx{E224}} % Factual Future (temporal in the future)
- \newcommand \FacPast {\lgx{E225}} % Factual Past (temporal in the past)
- \newcommand \FacCont {\lgx{E226}} % Factual Contingency
- \newcommand \FacNonCont {\lgx{E227}} % Factual Non-contingency
-
- \newcommand \Of {\lgx{E600}} % Bunch Inclusion
- \newcommand \In {\lgx{E602}} % Set Membership
- \newcommand \NotIn {\lgx{E603}} % Set Membership Negated
-
- \newcommand \EmptyBunch {\lgx{E054}} % Empty Bunch
- \newcommand \NullSet {\lgx{E053}} % Null Set
-
- \newcommand \BnchMeet {\lgx{E710}} % Bunch Meet
- \newcommand \BnchJoin {\lgx{E711}} % Bunch Join
-
- \newcommand \StrctSbnch {\lgx{E718}} % Strict Subbunch
- \newcommand \NotStrctSbnch {\lgx{E719}} % Strict Subbunch Negated
- \newcommand \Sbnch {\lgx{E71A}} % Subbunch
- \newcommand \NotSbnch {\lgx{E71B}} % Subbunch Negated
-
- \newcommand \StrctWkSbnch {\lgx{E738}} % Strict Weak Subbunch
- \newcommand \NotStrctWkSbnch {\lgx{E739}} % Strict Weak Subbunch Negated
- \newcommand \WkSbnch {\lgx{E73A}} % Weak Subbunch
- \newcommand \NotWkSbnch {\lgx{E73B}} % Weak Subbunch Negated
-
- \newcommand \MapMeet {\lgx{E760}} % Map Meet
- \newcommand \MapJoin {\lgx{E761}} % Map Join
-
- \newcommand \StrctSbmap {\lgx{E768}} % Strict Submap
- \newcommand \NotStrctSbmap {\lgx{E769}} % Strict Submap Negated
- \newcommand \Sbmap {\lgx{E76A}} % Submap
- \newcommand \NotSbmap {\lgx{E76B}} % Submap Negated
-
- \newcommand \SetMeet {\lgx{E790}} % Set Intersection
- \newcommand \SetJoin {\lgx{E791}} % Set Union
- \newcommand \Normal {\lgx{E2E5}} % Normal Subgroup
- \newcommand \SetSymDiff {\lgx{E2E7}} % Set Symmetric Difference
-
- \newcommand \StrctSbset {\lgx{E798}} % Strict Subset
- \newcommand \NotStrctSbset {\lgx{E799}} % Strict Subset Negated
- \newcommand \Sbset {\lgx{E79A}} % Subset
- \newcommand \NotSbset {\lgx{E79B}} % Subset Negated
-
- \newcommand \QuantBnchMeet {\lgx{E895}} % Bunch Meet Quantifier
- \newcommand \QuantBnchJoin {\lgx{E894}} % Bunch Join Quantifier
- \newcommand \QuantSetMeet {\lgx{E893}} % Set Intersection Quantifier
- \newcommand \QuantSetJoin {\lgx{E892}} % Set Union Quantifier
-
- \newcommand \Ls {\lgx{E6A8}} % Less Than
- \newcommand \Lse {\lgx{E6AA}} % Less Than or Equal
- \newcommand \Eq {\lgx{E656}} % Equal
- \newcommand \Sm {\lgx{E658}} % Similar
- \newcommand \Gr {\lgx{E6AE}} % Greater Than
- \newcommand \Gre {\lgx{E6AC}} % Greater Than or Equal
-
- \newcommand \NotLs {\lgx{E6A9}} % Not Less Than
- \newcommand \NotLse {\lgx{E6AB}} % Not Less Than or Equal
- \newcommand \NotEq {\lgx{E657}} % Not Equal
- \newcommand \NotSm {\lgx{E659}} % Not Similar
- \newcommand \NotGr {\lgx{E6AF}} % Not Greater Than
- \newcommand \NotGre {\lgx{E6AD}} % Not Greater Than or Equal
-
- \newcommand \Pre {\lgx{E6C8}} % Precedes
- \newcommand \Preq {\lgx{E6CA}} % Precedes or Equal
- \newcommand \Suc {\lgx{E6CE}} % Succeeds
- \newcommand \Sucq {\lgx{E6CC}} % Succeeds or Equal
-
- \newcommand \NotPre {\lgx{E6C9}} % Not Precedes
- \newcommand \NotPreq {\lgx{E6CB}} % Not Precedes or Equal
- \newcommand \NotSuc {\lgx{E6CF}} % Not Succeeds
- \newcommand \NotSucq {\lgx{E6CD}} % Not Succeeds or Equal
-
- \newcommand \Minus {\lgx{E0C7}} % Minus
- \newcommand \Plus {\lgx{E0C6}} % Plus
- \newcommand \PlusMinus {\lgx{E0CE}} % Plus / Minus
- \newcommand \MinusPlus {\lgx{E0CF}} % Minus / Plus
- \newcommand \Asterick {\lgx{E0C4}} % Asterick
- \newcommand \Divide {\lgx{E103}} % Divide
- \newcommand \Times {\lgx{E0C5}} % Times
-
- \newcommand \Append {\lgx{E0CB}} % Append
- \newcommand \Concat {\lgx{E0CD}} % Concatenation
-
- \newcommand \CircPlus {\lgx{E12B}} % Large Circled Plus
- \newcommand \CircTimes {\lgx{E12C}} % Large Circled Times
- \newcommand \CircStar {\lgx{E11D}} % Circled Star
-
- \newcommand \Dagger {\lgx{E05B}} % Single dagger
- \newcommand \Ddagger {\lgx{E05C}} % Double horizontal dagger
- \newcommand \Daggerr {\lgx{E05D}} % Double vertical dagger
- \newcommand \Ddaggerr {\lgx{E05E}} % Double horizontal and vertical dagger
+ \newcommand \OpnBar {\lgl{E300}} % Open Vertical Bar
+ \newcommand \OpnGrp {\lgl{E301}} % Open Group Brace
+ \newcommand \OpnParn {\lgl{E302}} % Open Parenthesis
+ \newcommand \OpnBrac {\lgl{E303}} % Open Curly Brace
+ \newcommand \OpnBrknBrac {\lgl{E304}} % Open Curly Broken Brace
+ \newcommand \OpnCircBrac {\lgl{E305}} % Open Curly Circle Brace
+ \newcommand \OpnArrwBrac {\lgl{E306}} % Open Arrow Brace
+ \newcommand \OpnBrkt {\lgl{E307}} % Open Square Bracket
+ \newcommand \OpnCrlyBrkt {\lgl{E308}} % Open Square Curly Bracket
+ \newcommand \OpnBrknBrkt {\lgl{E309}} % Open Square Broken Bracket
+ \newcommand \OpnCircBrkt {\lgl{E30A}} % Open Square Circle Bracket
+ \newcommand \OpnTortoise {\lgl{E30B}} % Open Tortoise Shell
+ \newcommand \OpnAngl {\lgl{E30C}} % Open Angle Bracket
+ \newcommand \OpnDblBrac {\lgl{E30D}} % Open Double Curly Brace
+ \newcommand \OpnDblAngl {\lgl{E30E}} % Open Double Angle Bracket
+ \newcommand \OpnSqrParn {\lgl{E30F}} % Open Square Parenthesis
+ \newcommand \OpnParnBar {\lgl{E310}} % Open Parenthesis with Bar
+ \newcommand \OpnBracBar {\lgl{E311}} % Open Brace with Bar
+ \newcommand \OpnBrknBracBar {\lgl{E312}} % Open Broken Brace with Bar
+ \newcommand \OpnCircBracBar {\lgl{E313}} % Open Circle Brace with Bar
+ \newcommand \OpnBrktBar {\lgl{E314}} % Open Bracket with Bar
+ \newcommand \OpnCrlyBrktBar {\lgl{E315}} % Open Curly Bracket with Bar
+ \newcommand \OpnBrknBrktBar {\lgl{E316}} % Open Broken Bracket with Bar
+ \newcommand \OpnCircBrktBar {\lgl{E317}} % Open Circle Bracket with Bar
+ \newcommand \OpnTortoiseBar {\lgl{E318}} % Open Tortoise Shell with Bar
+ \newcommand \OpnAnglBar {\lgl{E319}} % Open Angle Bracket with Bar
+ \newcommand \OpnCurvAngl {\lgl{E31A}} % Open Curved Angle Bracket
+ \newcommand \OpnDblParn {\lgl{E31B}} % Open Double Parenthesis
+ \newcommand \OpnCeil {\lgl{E31C}} % Open Ceiling
+ \newcommand \OpnFloor {\lgl{E31D}} % Open Floor
+ \newcommand \OpnTurn {\lgl{E31E}} % Open Turnstile
+ \newcommand \OpnCntx {\lgx{E31F}} % Open Context Quote
+ \newcommand \OpnDblGrp {\lgl{E320}} % Open Double Group Brace
+ \newcommand \OpnDblBar {\lgl{E321}} % Open Double Vertical Bar
+
+ \newcommand \OpnBarS {\left\OpnBar} % Stretchy Open Vertical Bar
+ \newcommand \OpnGrpS {\left\OpnGrp} % Stretchy Open Group Brace
+ \newcommand \OpnParnS {\left\OpnParn} % Stretchy Open Parenthesis
+ \newcommand \OpnBracS {\left\OpnBrac} % Stretchy Open Curly Brace
+ \newcommand \OpnBrknBracS {\left\OpnBrknBrac} % Stretchy Open Curly Broken Brace
+ \newcommand \OpnCircBracS {\left\OpnCircBrac} % Stretchy Open Curly Circle Brace
+ \newcommand \OpnArrwBracS {\left\OpnArrwBrac} % Stretchy Open Arrow Brace
+ \newcommand \OpnBrktS {\left\OpnBrkt} % Stretchy Open Square Bracket
+ \newcommand \OpnCrlyBrktS {\left\OpnCrlyBrkt} % Stretchy Open Square Curly Bracket
+ \newcommand \OpnBrknBrktS {\left\OpnBrknBrkt} % Stretchy Open Square Broken Bracket
+ \newcommand \OpnCircBrktS {\left\OpnCircBrkt} % Stretchy Open Square Circle Bracket
+ \newcommand \OpnTortoiseS {\left\OpnTortoise} % Stretchy Open Tortoise Shell
+ \newcommand \OpnAnglS {\left\OpnAngl} % Stretchy Open Angle Bracket
+ \newcommand \OpnDblBracS {\left\OpnDblBrac} % Stretchy Open Double Curly Brace
+ \newcommand \OpnDblAnglS {\left\OpnDblAngl} % Stretchy Open Double Angle Bracket
+ \newcommand \OpnSqrParnS {\left\OpnSqrParn} % Stretchy Open Square Parenthesis
+ \newcommand \OpnParnBarS {\left\OpnParnBar} % Stretchy Open Parenthesis with Bar
+ \newcommand \OpnBracBarS {\left\OpnBracBar} % Stretchy Open Brace with Bar
+ \newcommand \OpnBrknBracBarS {\left\OpnBrknBracBar} % Stretchy Open Broken Brace with Bar
+ \newcommand \OpnCircBracBarS {\left\OpnCircBracBar} % Stretchy Open Circle Brace with Bar
+ \newcommand \OpnBrktBarS {\left\OpnBrktBar} % Stretchy Open Bracket with Bar
+ \newcommand \OpnCrlyBrktBarS {\left\OpnCrlyBrktBar} % Stretchy Open Curly Bracket with Bar
+ \newcommand \OpnBrknBrktBarS {\left\OpnBrknBrktBar} % Stretchy Open Broken Bracket with Bar
+ \newcommand \OpnCircBrktBarS {\left\OpnCircBrktBar} % Stretchy Open Circle Bracket with Bar
+ \newcommand \OpnTortoiseBarS {\left\OpnTortoiseBar} % Stretchy Open Tortoise Shell with Bar
+ \newcommand \OpnAnglBarS {\left\OpnAnglBar} % Stretchy Open Angle Bracket with Bar
+ \newcommand \OpnCurvAnglS {\left\OpnCurvAngl} % Stretchy Open Curved Angle Bracket
+ \newcommand \OpnDblParnS {\left\OpnDblParn} % Stretchy Open Double Parenthesis
+ \newcommand \OpnCeilS {\left\OpnCeil} % Stretchy Open Ceiling
+ \newcommand \OpnFloorS {\left\OpnFloor} % Stretchy Open Floor
+ \newcommand \OpnTurnS {\left\OpnTurn} % Stretchy Open Turnstile
+ \newcommand \OpnCntxS {\left\OpnCntx} % Stretchy Open Context Quote
+ \newcommand \OpnDblGrpS {\left\OpnDblGrp} % Stretchy Open Double Group Brace
+ \newcommand \OpnDblBarS {\left\OpnDblBar} % Stretchy Open Double Vertical Bar
+
+ \newcommand \ClsBar {\lgr{E340}} % Close Bar
+ \newcommand \ClsGrp {\lgr{E341}} % Close Group Brace
+ \newcommand \ClsParn {\lgr{E342}} % Close Parenthesis
+ \newcommand \ClsBrac {\lgr{E343}} % Close Curly Brace
+ \newcommand \ClsBrknBrac {\lgr{E344}} % Close Curly Broken Brace
+ \newcommand \ClsCircBrac {\lgr{E345}} % Close Curly Circle Brace
+ \newcommand \ClsArrwBrac {\lgr{E346}} % Close Arrow Brace
+ \newcommand \ClsBrkt {\lgr{E347}} % Close Square Bracket
+ \newcommand \ClsCrlyBrkt {\lgr{E348}} % Close Square Curly Bracket
+ \newcommand \ClsBrknBrkt {\lgr{E349}} % Close Square Broken Bracket
+ \newcommand \ClsCircBrkt {\lgr{E34A}} % Close Square Circle Bracket
+ \newcommand \ClsTortoise {\lgr{E34B}} % Close Tortoise Shell
+ \newcommand \ClsAngl {\lgr{E34C}} % Close Angle Bracket
+ \newcommand \ClsDblBrac {\lgr{E34D}} % Close Double Curly Brace
+ \newcommand \ClsDblAngl {\lgr{E34E}} % Close Double Angle Bracket
+ \newcommand \ClsSqrParn {\lgr{E34F}} % Close Square Parenthesis
+ \newcommand \ClsParnBar {\lgr{E350}} % Close Parenthesis with Bar
+ \newcommand \ClsBracBar {\lgr{E351}} % Close Brace with Bar
+ \newcommand \ClsBrknBracBar {\lgr{E352}} % Close Broken Brace with Bar
+ \newcommand \ClsCircBracBar {\lgr{E353}} % Close Circle Brace with Bar
+ \newcommand \ClsBrktBar {\lgr{E354}} % Close Bracket with Bar
+ \newcommand \ClsCrlyBrktBar {\lgr{E355}} % Close Curly Bracket with Bar
+ \newcommand \ClsBrknBrktBar {\lgr{E356}} % Close Broken Bracket with Bar
+ \newcommand \ClsCircBrktBar {\lgr{E357}} % Close Circle Bracket with Bar
+ \newcommand \ClsTortoiseBar {\lgr{E358}} % Close Tortoise Shell with Bar
+ \newcommand \ClsAnglBar {\lgr{E359}} % Close Angle Bracket with Bar
+ \newcommand \ClsCurvAngl {\lgr{E35A}} % Close Curved Angle Bracket
+ \newcommand \ClsDblParn {\lgl{E35B}} % Close Double Parenthesis
+ \newcommand \ClsCeil {\lgr{E35C}} % Close Ceiling
+ \newcommand \ClsFloor {\lgr{E35D}} % Close Floor
+ \newcommand \ClsTurn {\lgr{E35E}} % Close Turnstile
+ \newcommand \ClsCntx {\lgx{E35F}} % Close Context Quote
+ \newcommand \ClsDblGrp {\lgr{E360}} % Close Double Group Brace
+ \newcommand \ClsDblBar {\lgr{E361}} % Close Double Vertical Bar
+
+ \newcommand \ClsBarS {\right\ClsBar} % Stretchy Close Bar
+ \newcommand \ClsGrpS {\right\ClsGrp} % Stretchy Close Group Brace
+ \newcommand \ClsParnS {\right\ClsParn} % Stretchy Close Parenthesis
+ \newcommand \ClsBracS {\right\ClsBrac} % Stretchy Close Curly Brace
+ \newcommand \ClsBrknBracS {\right\ClsBrknBrac} % Stretchy Close Curly Broken Brace
+ \newcommand \ClsCircBracS {\right\ClsCircBrac} % Stretchy Close Curly Circle Brace
+ \newcommand \ClsArrwBracS {\right\ClsArrwBrac} % Stretchy Close Arrow Brace
+ \newcommand \ClsBrktS {\right\ClsBrkt} % Stretchy Close Square Bracket
+ \newcommand \ClsCrlyBrktS {\right\ClsCrlyBrkt} % Stretchy Close Square Curly Bracket
+ \newcommand \ClsBrknBrktS {\right\ClsBrknBrkt} % Stretchy Close Square Broken Bracket
+ \newcommand \ClsCircBrktS {\right\ClsCircBrkt} % Stretchy Close Square Circle Bracket
+ \newcommand \ClsTortoiseS {\right\ClsTortoise} % Stretchy Close Tortoise Shell
+ \newcommand \ClsAnglS {\right\ClsAngl} % Stretchy Close Angle Bracket
+ \newcommand \ClsDblBracS {\right\ClsDblBrac} % Stretchy Close Double Curly Brace
+ \newcommand \ClsDblAnglS {\right\ClsDblAngl} % Stretchy Close Double Angle Bracket
+ \newcommand \ClsSqrParnS {\right\ClsSqrParn} % Stretchy Close Square Parenthesis
+ \newcommand \ClsParnBarS {\right\ClsParnBar} % Stretchy Close Parenthesis with Bar
+ \newcommand \ClsBracBarS {\right\ClsBracBar} % Stretchy Close Brace with Bar
+ \newcommand \ClsBrknBracBarS {\right\ClsBrknBracBar} % Stretchy Close Broken Brace with Bar
+ \newcommand \ClsCircBracBarS {\right\ClsCircBracBar} % Stretchy Close Circle Brace with Bar
+ \newcommand \ClsBrktBarS {\right\ClsBrktBar} % Stretchy Close Bracket with Bar
+ \newcommand \ClsCrlyBrktBarS {\right\ClsCrlyBrktBar} % Stretchy Close Curly Bracket with Bar
+ \newcommand \ClsBrknBrktBarS {\right\ClsBrknBrktBar} % Stretchy Close Broken Bracket with Bar
+ \newcommand \ClsCircBrktBarS {\right\ClsCircBrktBar} % Stretchy Close Circle Bracket with Bar
+ \newcommand \ClsTortoiseBarS {\right\ClsTortoiseBar} % Stretchy Close Tortoise Shell with Bar
+ \newcommand \ClsAnglBarS {\right\ClsAnglBar} % Stretchy Close Angle Bracket with Bar
+ \newcommand \ClsCurvAnglS {\right\ClsCurvAngl} % Stretchy Close Curved Angle Bracket
+ \newcommand \ClsDblParnS {\right\ClsDblParn} % Stretchy Close Double Parenthesis
+ \newcommand \ClsCeilS {\right\ClsCeil} % Stretchy Close Ceiling
+ \newcommand \ClsFloorS {\right\ClsFloor} % Stretchy Close Floor
+ \newcommand \ClsTurnS {\right\ClsTurn} % Stretchy Close Turnstile
+ \newcommand \ClsCntxS {\right\ClsCntx} % Stretchy Close Context Quote
+ \newcommand \ClsDblGrpS {\right\ClsDblGrp} % Stretchy Close Double Group Brace
+ \newcommand \ClsDblBarS {\right\ClsDblBar} % Stretchy Close Vertical Double Bar
+
+ \newcommand \MapParInMul {\lgx{EAA0}} % Continuous, Partial, Into Multi-Map
+ \newcommand \MapParInSng {\lgx{EAA1}} % Continuous, Partial, Into, Singleton Map
+ \newcommand \MapParInOne {\lgx{EAA2}} % Continuous, Partial, Into, One-To-One Map
+ \newcommand \MapParOnMul {\lgx{EAA8}} % Continuous, Partial, Onto Multi-Map
+ \newcommand \MapParOnSng {\lgx{EAA9}} % Continuous, Partial, Onto, Singleton Map
+ \newcommand \MapParOnOne {\lgx{EAAA}} % Continuous, Partial, Onto, One-To-One Map
+ \newcommand \MapParInGndMul {\lgx{EAB0}} % Continuous, Partial, Into, Grounded Multi-Map
+ \newcommand \MapParInGndSng {\lgx{EAB1}} % Continuous, Partial, Into, Grounded, Singleton Map
+ \newcommand \MapParInGndOne {\lgx{EAB2}} % Continuous, Partial, Into, Grounded, One-To-One Map
+ \newcommand \MapParOnGndMul {\lgx{EAB8}} % Continuous, Partial, Onto, Grounded Multi-Map
+ \newcommand \MapParOnGndSng {\lgx{EAB9}} % Continuous, Partial, Onto, Grounded, Singleton Map
+ \newcommand \MapParOnGndOne {\lgx{EABA}} % Continuous, Partial, Onto, Grounded, One-To-One Map
+
+ \newcommand \MapTotInMul {\lgx{EA80}} % Continuous, Total, Into Multi-Map
+ \newcommand \MapTotInSng {\lgx{EA81}} % Continuous, Total, Into, Singleton Map
+ \newcommand \MapTotInOne {\lgx{EA82}} % Continuous, Total, Into, One-To-One Map
+ \newcommand \MapTotOnMul {\lgx{EA88}} % Continuous, Total, Onto Multi-Map
+ \newcommand \MapTotOnSng {\lgx{EA89}} % Continuous, Total, Onto, Singleton Map
+ \newcommand \MapTotOnOne {\lgx{EA8A}} % Continuous, Total, Onto, One-To-One Map
+ \newcommand \MapTotInGndMul {\lgx{EA90}} % Continuous, Total, Into, Grounded Multi-Map
+ \newcommand \MapTotInGndSng {\lgx{EA91}} % Continuous, Total, Into, Grounded, Singleton Map
+ \newcommand \MapTotInGndOne {\lgx{EA92}} % Continuous, Total, Into, Grounded, One-To-One Map
+ \newcommand \MapTotOnGndMul {\lgx{EA98}} % Continuous, Total, Onto, Grounded Multi-Map
+ \newcommand \MapTotOnGndSng {\lgx{EA99}} % Continuous, Total, Onto, Grounded, Singleton Map
+ \newcommand \MapTotOnGndOne {\lgx{EA9A}} % Continuous, Total, Onto, Grounded, One-To-One Map
+
+ \newcommand \FunParInMul {\lgx{EAA4}} % Continuous, Partial, Into Multi-Function
+ \newcommand \FunParInSng {\lgx{EAA5}} % Continuous, Partial, Into, Singleton Function
+ \newcommand \FunParInOne {\lgx{EAA6}} % Continuous, Partial, Into, One-To-One Function
+ \newcommand \FunParOnMul {\lgx{EAAC}} % Continuous, Partial, Onto Multi-Function
+ \newcommand \FunParOnSng {\lgx{EAAD}} % Continuous, Partial, Onto, Singleton Function
+ \newcommand \FunParOnOne {\lgx{EAAE}} % Continuous, Partial, Onto, One-To-One Function
+ \newcommand \FunParInGndMul {\lgx{EAB4}} % Continuous, Partial, Into, Grounded Multi-Function
+ \newcommand \FunParInGndSng {\lgx{EAB5}} % Continuous, Partial, Into, Grounded, Singleton Function
+ \newcommand \FunParInGndOne {\lgx{EAB6}} % Continuous, Partial, Into, Grounded, One-To-One Function
+ \newcommand \FunParOnGndMul {\lgx{EABC}} % Continuous, Partial, Onto, Grounded Multi-Function
+ \newcommand \FunParOnGndSng {\lgx{EABD}} % Continuous, Partial, Onto, Grounded, Singleton Function
+ \newcommand \FunParOnGndOne {\lgx{EABE}} % Continuous, Partial, Onto, Grounded, One-To-One Function
+
+ \newcommand \FunTotInMul {\lgx{EA84}} % Continuous, Total, Into Multi-Function
+ \newcommand \FunTotInSng {\lgx{EA85}} % Continuous, Total, Into, Singleton Function
+ \newcommand \FunTotInOne {\lgx{EA86}} % Continuous, Total, Into, One-To-One Function
+ \newcommand \FunTotOnMul {\lgx{EA8C}} % Continuous, Total, Onto Multi-Function
+ \newcommand \FunTotOnSng {\lgx{EA8D}} % Continuous, Total, Onto, Singleton Function
+ \newcommand \FunTotOnOne {\lgx{EA8E}} % Continuous, Total, Onto, One-To-One Function
+ \newcommand \FunTotInGndMul {\lgx{EA94}} % Continuous, Total, Into, Grounded Multi-Function
+ \newcommand \FunTotInGndSng {\lgx{EA95}} % Continuous, Total, Into, Grounded, Singleton Function
+ \newcommand \FunTotInGndOne {\lgx{EA96}} % Continuous, Total, Into, Grounded, One-To-One Function
+ \newcommand \FunTotOnGndMul {\lgx{EA9C}} % Continuous, Total, Onto, Grounded Multi-Function
+ \newcommand \FunTotOnGndSng {\lgx{EA9D}} % Continuous, Total, Onto, Grounded, Singleton Function
+ \newcommand \FunTotOnGndOne {\lgx{EA9E}} % Continuous, Total, Onto, Grounded, One-To-One Function
+
+ \newcommand \MapComp {\lgx{E23C}} % Map Composition
+ \newcommand \FncComp {\lgx{E239}} % Function Composition
+ \newcommand \FncCnvrs {\lgx{E2C3}} % Function Converse
+
+ \newcommand \SFunc {\lgx{E9DC}} % Short Function
+ \newcommand \Func {\lgx{E9DD}} % Function
+ \newcommand \LFunc {\lgx{E9DE}} % Long Function
+ \newcommand \XFunc {\lgx{E9DF}} % Extra Long Function
+
+ \newcommand \ClsImpl {\lgx{E79E}} % Classical Implication
+ \newcommand \NotClsImpl {\lgx{E79F}} % Not Classical Implication
+ \newcommand \ClsEquv {\lgx{E666}} % Classical Equivalence
+ \newcommand \NotClsEquv {\lgx{E667}} % Not Classical Equivalence
+
+ \newcommand \SWkMtImpl {\lgx{E810}} % Short Weak Material Implication
+ \newcommand \NotSWkMtImpl {\lgx{E811}} % Short Not Weak Material Implication
+ \newcommand \SWkMtEquv {\lgx{E812}} % Short Weak Material Equivalence
+ \newcommand \NotSWkMtEquv {\lgx{E813}} % Short Not Weak Material Equivalence
+ \newcommand \WkMtImpl {\lgx{E814}} % Weak Material Implication
+ \newcommand \NotWkMtImpl {\lgx{E815}} % Not Weak Material Implication
+ \newcommand \WkMtEquv {\lgx{E816}} % Weak Material Equivalence
+ \newcommand \NotWkMtEquv {\lgx{E817}} % Not Weak Material Equivalence
+ \newcommand \LWkMtImpl {\lgx{E818}} % Long Weak Material Implication
+ \newcommand \NotLWkMtImpl {\lgx{E819}} % Long Not Weak Material Implication
+ \newcommand \LWkMtEquv {\lgx{E81A}} % Long Weak Material Equivalence
+ \newcommand \NotLWkMtEquv {\lgx{E81B}} % Long Not Weak Material Equivalence
+ \newcommand \XWkMtImpl {\lgx{E81C}} % Extra Long Weak Material Implication
+ \newcommand \NotXWkMtImpl {\lgx{E81D}} % Extra Long Not Weak Material Implication
+ \newcommand \XWkMtEquv {\lgx{E81E}} % Extra Long Weak Material Equivalence
+ \newcommand \NotXWkMtEquv {\lgx{E81F}} % Extra Long Not Weak Material Equivalence
+
+ \newcommand \SMtImpl {\lgx{E820}} % Short WMaterial Implication
+ \newcommand \NotSMtImpl {\lgx{E821}} % Short NNot Material Implication
+ \newcommand \SMtEquv {\lgx{E822}} % Short WMaterial Equivalence
+ \newcommand \NotSMtEquv {\lgx{E823}} % Short NNot Material Equivalence
+ \newcommand \MtImpl {\lgx{E824}} % Material Implication
+ \newcommand \NotMtImpl {\lgx{E825}} % Not Material Implication
+ \newcommand \MtEquv {\lgx{E826}} % Material Equivalence
+ \newcommand \NotMtEquv {\lgx{E827}} % Not Material Equivalence
+ \newcommand \LMtImpl {\lgx{E828}} % Long Material Implication
+ \newcommand \NotLMtImpl {\lgx{E829}} % Long Not Material Implication
+ \newcommand \LMtEquv {\lgx{E82A}} % Long Material Equivalence
+ \newcommand \NotLMtEquv {\lgx{E82B}} % Long Not Material Equivalence
+ \newcommand \XMtImpl {\lgx{E82C}} % Extra Long Material Implication
+ \newcommand \NotXMtImpl {\lgx{E82D}} % Extra Long Not Material Implication
+ \newcommand \XMtEquv {\lgx{E82E}} % Extra Long Material Equivalence
+ \newcommand \NotXMtEquv {\lgx{E82F}} % Extra Long Not Material Equivalence
+
+ \newcommand \SInImpl {\lgx{E830}} % Short WIntuitionistic Implication
+ \newcommand \NotSInImpl {\lgx{E831}} % Short NNot Intuitionistic Implication
+ \newcommand \SInEquv {\lgx{E832}} % Short WIntuitionistic Equivalence
+ \newcommand \NotSInEquv {\lgx{E833}} % Short NNot Intuitionistic Equivalence
+ \newcommand \InImpl {\lgx{E834}} % Intuitionistic Implication
+ \newcommand \NotInImpl {\lgx{E835}} % Not Intuitionistic Implication
+ \newcommand \InEquv {\lgx{E836}} % Intuitionistic Equivalence
+ \newcommand \NotInEquv {\lgx{E837}} % Not Intuitionistic Equivalence
+ \newcommand \LInImpl {\lgx{E838}} % Long Intuitionistic Implication
+ \newcommand \NotLInImpl {\lgx{E839}} % Long Not Intuitionistic Implication
+ \newcommand \LInEquv {\lgx{E83A}} % Long Intuitionistic Equivalence
+ \newcommand \NotLInEquv {\lgx{E83B}} % Long Not Intuitionistic Equivalence
+ \newcommand \XInImpl {\lgx{E83C}} % Extra Long Intuitionistic Implication
+ \newcommand \NotXInImpl {\lgx{E83D}} % Extra Long Not Intuitionistic Implication
+ \newcommand \XInEquv {\lgx{E83E}} % Extra Long Intuitionistic Equivalence
+ \newcommand \NotXInEquv {\lgx{E83F}} % Extra Long Not Intuitionistic Equivalence
+
+ \newcommand \SWkImpl {\lgx{E840}} % Short WWeak Implication
+ \newcommand \NotSWkImpl {\lgx{E841}} % Short NNot Weak Implication
+ \newcommand \SWkEquv {\lgx{E842}} % Short WWeak Implication Equivalence
+ \newcommand \NotSWkEquv {\lgx{E843}} % Short NNot Weak Implication Equivalence
+ \newcommand \WkImpl {\lgx{E844}} % Weak Implication
+ \newcommand \NotWkImpl {\lgx{E845}} % Not Weak Implication
+ \newcommand \WkEquv {\lgx{E846}} % Weak Implication Equivalence
+ \newcommand \NotWkEquv {\lgx{E847}} % Not Weak Implication Equivalence
+ \newcommand \LWkImpl {\lgx{E848}} % Long Weak Implication
+ \newcommand \NotLWkImpl {\lgx{E849}} % Long Not Weak Implication
+ \newcommand \LWkEquv {\lgx{E84A}} % Long Weak Implication Equivalence
+ \newcommand \NotLWkEquv {\lgx{E84B}} % Long Not Weak Implication Equivalence
+ \newcommand \XWkImpl {\lgx{E84C}} % Extra Long Weak Implication
+ \newcommand \NotXWkImpl {\lgx{E84D}} % Extra Long Not Weak Implication
+ \newcommand \XWkEquv {\lgx{E84E}} % Extra Long Weak Implication Equivalence
+ \newcommand \NotXWkEquv {\lgx{E84F}} % Extra Long Not Weak Implication Equivalence
+
+ \newcommand \SImpl {\lgx{E850}} % Short WImplication
+ \newcommand \NotSImpl {\lgx{E851}} % Short NNot Implication
+ \newcommand \SEquv {\lgx{E852}} % Short WImplication Equivalence
+ \newcommand \NotSEquv {\lgx{E853}} % Short NNot Implication Equivalence
+ \newcommand \Impl {\lgx{E854}} % Implication
+ \newcommand \NotImpl {\lgx{E855}} % Not Implication
+ \newcommand \Equv {\lgx{E856}} % Implication Equivalence
+ \newcommand \NotEquv {\lgx{E857}} % Not Implication Equivalence
+ \newcommand \LImpl {\lgx{E858}} % Long Implication
+ \newcommand \NotLImpl {\lgx{E859}} % Long Not Implication
+ \newcommand \LEquv {\lgx{E85A}} % Long Implication Equivalence
+ \newcommand \NotLEquv {\lgx{E85B}} % Long Not Implication Equivalence
+ \newcommand \XImpl {\lgx{E85C}} % Extra Long Implication
+ \newcommand \NotXImpl {\lgx{E85D}} % Extra Long Not Implication
+ \newcommand \XEquv {\lgx{E85E}} % Extra Long Implication Equivalence
+ \newcommand \NotXEquv {\lgx{E85F}} % Extra Long Not Implication Equivalence
+
+ \newcommand \SWkEntail {\lgx{E860}} % Short WWeak Entailment
+ \newcommand \NotSWkEntail {\lgx{E861}} % Short NNot Weak Entailment
+ \newcommand \SWkEntailEquv {\lgx{E862}} % Short WWeak Entailment Equivalence
+ \newcommand \NotSWkEntailEquv {\lgx{E863}} % Short NNot Weak Entailment Equivalence
+ \newcommand \WkEntail {\lgx{E864}} % Weak Entailment
+ \newcommand \NotWkEntail {\lgx{E865}} % Not Weak Entailment
+ \newcommand \WkEntailEquv {\lgx{E866}} % Weak Entailment Equivalence
+ \newcommand \NotWkEntailEquv {\lgx{E867}} % Not Weak Entailment Equivalence
+ \newcommand \LWkEntail {\lgx{E868}} % Long Weak Entailment
+ \newcommand \NotLWkEntail {\lgx{E869}} % Long Not Weak Entailment
+ \newcommand \LWkEntailEquv {\lgx{E86A}} % Long Weak Entailment Equivalence
+ \newcommand \NotLWkEntailEquv {\lgx{E86B}} % Long Not Weak Entailment Equivalence
+ \newcommand \XWkEntail {\lgx{E86C}} % Extra Long Weak Entailment
+ \newcommand \NotXWkEntail {\lgx{E86D}} % Extra Long Not Weak Entailment
+ \newcommand \XWkEntailEquv {\lgx{E86E}} % Extra Long Weak Entailment Equivalence
+ \newcommand \NotXWkEntailEquv {\lgx{E86F}} % Extra Long Not Weak Entailment Equivalence
+
+ \newcommand \SEntail {\lgx{E870}} % Short WEntailment
+ \newcommand \NotSEntail {\lgx{E871}} % Short NNot Entailment
+ \newcommand \SEntailEquv {\lgx{E872}} % Short WEntailment Equivalence
+ \newcommand \NotSEntailEquv {\lgx{E873}} % Short NNot Entailment Equivalence
+ \newcommand \Entail {\lgx{E874}} % Entailment
+ \newcommand \NotEntail {\lgx{E875}} % Not Entailment
+ \newcommand \EntailEquv {\lgx{E876}} % Entailment Equivalence
+ \newcommand \NotEntailEquv {\lgx{E877}} % Not Entailment Equivalence
+ \newcommand \LEntail {\lgx{E878}} % Long Entailment
+ \newcommand \NotLEntail {\lgx{E879}} % Long Not Entailment
+ \newcommand \LEntailEquv {\lgx{E87A}} % Long Entailment Equivalence
+ \newcommand \NotLEntailEquv {\lgx{E87B}} % Long Not Entailment Equivalence
+ \newcommand \XEntail {\lgx{E87C}} % Extra Long Entailment
+ \newcommand \NotXEntail {\lgx{E87D}} % Extra Long Not Entailment
+ \newcommand \XEntailEquv {\lgx{E87E}} % Extra Long Entailment Equivalence
+ \newcommand \NotXEntailEquv {\lgx{E87F}} % Extra Long Not Entailment Equivalence
+
+ \newcommand \Seq {\lgx{E94C}} % Sequent
+ \newcommand \NotSeq {\lgx{E96C}} % Sequent Denied
+ \newcommand \Rule {\lgx{E940}} % Assertion (Rule)
+ \newcommand \NotRule {\lgx{E960}} % Assertion (Rule) Denied
+ \newcommand \Model {\lgx{E942}} % Model
+ \newcommand \NotModel {\lgx{E962}} % Model Denied
+ \newcommand \Turn {\lgx{E944}} % Turnstile
+ \newcommand \NotTurn {\lgx{E964}} % Turnstile Denied
+ \newcommand \Conseq {\lgx{E946}} % Consequence Relation
+ \newcommand \NotConseq {\lgx{E966}} % Consequence Relation Denied
+
+ \newcommand \Defn {\lgx{E60A}} % Defines
+ \newcommand \Qed {\lgx{E08F}} % Q.E.D.
+
+ \newcommand \Nd {\lgx{E6A0}} % Bitwise AND operator / Logical Conjunction
+ \newcommand \Or {\lgx{E6A1}} % Bitwise OR operator / Logical Disjunction
+ \newcommand \Nt {\lgx{E0C0}} % Bitwise NOT operator / Logical Negation
+ \newcommand \Ng {\lgx{E64C}} % Classical Logical Negation
+ \newcommand \Nand {\lgx{E6A2}} % Bitwise NAND operator
+ \newcommand \Nor {\lgx{E6A3}} % Bitwise NOR operator
+ \newcommand \Xor {\lgx{E6A5}} % Bitwise XOR operator
+
+ \newcommand \LcgCohrnc {\lgx{E068}} % Logical Coherence
+ \newcommand \BncCohrnc {\lgx{E078}} % Bunch Coherence
+
+ \newcommand \True {\lgx{E012}} % True
+ \newcommand \False {\lgx{E014}} % False
+ \newcommand \Top {\lgx{E017}} % Lattice / type top
+ \newcommand \Bot {\lgx{E016}} % Lattice / type bottom
+
+ \newcommand \QuantCon {\lgx{E891}} % Quantified Conjunction
+ \newcommand \QuantDis {\lgx{E890}} % Quantified Disjuntion
+ \newcommand \ForAll {\lgx{E8C0}} % Universal Individual Quantifier
+ \newcommand \Exists {\lgx{E8C1}} % Existential Individual Quantifier
+ \newcommand \Unique {\lgx{E8C2}} % Unique Existential Individual Quantifier
+ \newcommand \BnchForAll {\lgx{E8D0}} % Universal Bunch Quantifier
+ \newcommand \BnchExists {\lgx{E8D1}} % Existential Bunch Quantifier
+ \newcommand \BnchUnique {\lgx{E8D2}} % Unique Existential Bunch Quantifier
+ \newcommand \BndMap {\lgx{E030}} % Map Abstraction
+
+ \newcommand \Dt {\lgx{E098}} % Dot
+ \newcommand \Comma {\lgx{E099}} % Comma
+ \newcommand \Semicln {\lgx{E09A}} % Semicolon
+ \newcommand \Cln {\lgx{E091}} % Colon
+ \newcommand \Thus {\lgx{E092}} % Thus
+ \newcommand \Since {\lgx{E093}} % Since
+ \newcommand \Dts {\lgx{E096}} % Dots (ellipsis)
+ \newcommand \BndDot {\lgx{E090}} % Binding Dot
+ \newcommand \BndBar {\lgm{E380}} % Binding Bar
+ \newcommand \BndBarS {\middle\BndBar} % Stretchy Binding Bar
+ \newcommand \LngVrtBar {\lgx{E0EC}} % Long Vertical Bar
+ \newcommand \Queston {\lgx{E02C}} % Question mark
+ \newcommand \Exclaim {\lgx{E02D}} % Exclamation point
+ \newcommand \Percent {\lgx{E03C}} % Percent sign
+ \newcommand \Ampersand {\lgx{E03D}} % Ampersand
+ \newcommand \Dollar {\lgx{E05F}} % Dollar sign
+ \newcommand \At {\lgx{E03E}} % At sign
+ \newcommand \Circumflex {\lgx{E03F}} % ASCII Circumflex
+ \newcommand \Number {\lgx{E04F}} % Number sign
+ \newcommand \Underscore {\lgx{E09E}} % Underscore
+ \newcommand \Tild {\lgx{007E}} % Tilde E64C
+ \newcommand \SingleQuote {\lgx{E09C}} % Single quote
+ \newcommand \DoubleQuote {\lgx{E09B}} % Double quote
+ \newcommand \BackQuote {\lgx{E09D}} % Back quote (grave)
+ \newcommand \LeftSlash {\lgx{E103}} % Left (back) slash
+ \newcommand \RightSlash {\lgx{E102}} % Right (forward) slash
+
+ \newcommand \ShftSuper {\lgx{EAC3}} % Shift for superscripts
+ \newcommand \ShftSubscr {\lgx{EAC4}} % Shift for subscripts
+ \newcommand \ShftAccent {\lgx{EAC5}} % Shift for accents
+
+ \newcommand \RplcAllBndRight {\lgx{E9D4}} % Replace All Bound Variables (right)
+ \newcommand \RplcAllBndLeft {\lgx{E9D5}} % Replace All Bound Variables (left)
+ \newcommand \RplcAllRight {\lgx{E9DA}} % Replace All (right)
+ \newcommand \RplcAllLeft {\lgx{E9DB}} % Replace All (left)
+ \newcommand \RplcFreeRight {\lgx{E9F0}} % Replace Any Free Variables (right)
+ \newcommand \RplcFreeLeft {\lgx{E9F1}} % Replace Any Free Variables (left)
+ \newcommand \RplcEquvRight {\lgx{E9F8}} % Replace Equivalent Expressions (right)
+ \newcommand \RplcEquvLeft {\lgx{E9F9}} % Replace Equivalent Expressions (left)
+
+ \newcommand \LstFix {\lgx{E031}} % Least Fixed Point
+ \newcommand \GrtFix {\lgx{E032}} % Greatest Fixed Point
+ \newcommand \Choice {\lgx{E033}} % Choice
+ \newcommand \ExLstFix {\lgx{E034}} % Extended Least Fixed Point
+ \newcommand \ExGrtFix {\lgx{E035}} % Extended Greatest Fixed Point
+ \newcommand \FrstOrd {\lgx{E039}} % First Ordinal (omega)
+
+ \newcommand \LogNec {\lgx{E230}} % Logical Necessity (temporal always or henceforth)
+ \newcommand \LogPos {\lgx{E232}} % Logical Possibility (temporal sometime or eventually)
+ \newcommand \LogNext {\lgx{E233}} % Logical Next (temporal next or nexttime)
+ \newcommand \LogFutr {\lgx{E234}} % Logical Future (temporal in the future)
+ \newcommand \LogPast {\lgx{E235}} % Logical Past (temporal in the past)
+ \newcommand \LogCont {\lgx{E236}} % Logical Contingency
+ \newcommand \LogNonCont {\lgx{E237}} % Logical Non-contingency
+
+ \newcommand \Nec {\lgx{E270}} % Necessity (temporal always or henceforth)
+ \newcommand \Pos {\lgx{E272}} % Possibility (temporal sometime or eventually)
+ \newcommand \Next {\lgx{E273}} % Next (temporal next or nexttime)
+ \newcommand \Futr {\lgx{E274}} % Future (temporal in the future)
+ \newcommand \Past {\lgx{E275}} % Past (temporal in the past)
+ \newcommand \Cont {\lgx{E276}} % Contingency
+ \newcommand \NonCont {\lgx{E277}} % Non-contingency
+
+ \newcommand \FacNec {\lgx{E220}} % Factual Necessity (temporal always or henceforth)
+ \newcommand \FacPos {\lgx{E222}} % Factual Possibility (temporal sometime or eventually)
+ \newcommand \FacNext {\lgx{E223}} % Factual Next (temporal next or nexttime)
+ \newcommand \FacFutr {\lgx{E224}} % Factual Future (temporal in the future)
+ \newcommand \FacPast {\lgx{E225}} % Factual Past (temporal in the past)
+ \newcommand \FacCont {\lgx{E226}} % Factual Contingency
+ \newcommand \FacNonCont {\lgx{E227}} % Factual Non-contingency
+
+ \newcommand \Of {\lgx{E600}} % Bunch Inclusion
+ \newcommand \In {\lgx{E602}} % Set Membership
+ \newcommand \NotIn {\lgx{E603}} % Set Membership Negated
+
+ \newcommand \EmptyBunch {\lgx{E054}} % Empty Bunch
+ \newcommand \NullSet {\lgx{E053}} % Null Set
+
+ \newcommand \BnchMeet {\lgx{E710}} % Bunch Meet
+ \newcommand \BnchJoin {\lgx{E711}} % Bunch Join
+
+ \newcommand \StrctSbnch {\lgx{E718}} % Strict Subbunch
+ \newcommand \NotStrctSbnch {\lgx{E719}} % Strict Subbunch Negated
+ \newcommand \Sbnch {\lgx{E71A}} % Subbunch
+ \newcommand \NotSbnch {\lgx{E71B}} % Subbunch Negated
+
+ \newcommand \StrctWkSbnch {\lgx{E738}} % Strict Weak Subbunch
+ \newcommand \NotStrctWkSbnch {\lgx{E739}} % Strict Weak Subbunch Negated
+ \newcommand \WkSbnch {\lgx{E73A}} % Weak Subbunch
+ \newcommand \NotWkSbnch {\lgx{E73B}} % Weak Subbunch Negated
+
+ \newcommand \MapMeet {\lgx{E760}} % Map Meet
+ \newcommand \MapJoin {\lgx{E761}} % Map Join
+
+ \newcommand \StrctSbmap {\lgx{E768}} % Strict Submap
+ \newcommand \NotStrctSbmap {\lgx{E769}} % Strict Submap Negated
+ \newcommand \Sbmap {\lgx{E76A}} % Submap
+ \newcommand \NotSbmap {\lgx{E76B}} % Submap Negated
+
+ \newcommand \SetMeet {\lgx{E790}} % Set Intersection
+ \newcommand \SetJoin {\lgx{E791}} % Set Union
+ \newcommand \Normal {\lgx{E2E5}} % Normal Subgroup
+ \newcommand \SetSymDiff {\lgx{E2E7}} % Set Symmetric Difference
+
+ \newcommand \StrctSbset {\lgx{E798}} % Strict Subset
+ \newcommand \NotStrctSbset {\lgx{E799}} % Strict Subset Negated
+ \newcommand \Sbset {\lgx{E79A}} % Subset
+ \newcommand \NotSbset {\lgx{E79B}} % Subset Negated
+
+ \newcommand \QuantBnchMeet {\lgx{E895}} % Bunch Meet Quantifier
+ \newcommand \QuantBnchJoin {\lgx{E894}} % Bunch Join Quantifier
+ \newcommand \QuantSetMeet {\lgx{E893}} % Set Intersection Quantifier
+ \newcommand \QuantSetJoin {\lgx{E892}} % Set Union Quantifier
+
+ \newcommand \Ls {\lgx{E6A8}} % Less Than
+ \newcommand \Lse {\lgx{E6AA}} % Less Than or Equal
+ \newcommand \Eq {\lgx{E656}} % Equal
+ \newcommand \Sm {\lgx{E658}} % Similar
+ \newcommand \Gr {\lgx{E6AE}} % Greater Than
+ \newcommand \Gre {\lgx{E6AC}} % Greater Than or Equal
+
+ \newcommand \NotLs {\lgx{E6A9}} % Not Less Than
+ \newcommand \NotLse {\lgx{E6AB}} % Not Less Than or Equal
+ \newcommand \NotEq {\lgx{E657}} % Not Equal
+ \newcommand \NotSm {\lgx{E659}} % Not Similar
+ \newcommand \NotGr {\lgx{E6AF}} % Not Greater Than
+ \newcommand \NotGre {\lgx{E6AD}} % Not Greater Than or Equal
+
+ \newcommand \Pre {\lgx{E6C8}} % Precedes
+ \newcommand \Preq {\lgx{E6CA}} % Precedes or Equal
+ \newcommand \Suc {\lgx{E6CE}} % Succeeds
+ \newcommand \Sucq {\lgx{E6CC}} % Succeeds or Equal
+
+ \newcommand \NotPre {\lgx{E6C9}} % Not Precedes
+ \newcommand \NotPreq {\lgx{E6CB}} % Not Precedes or Equal
+ \newcommand \NotSuc {\lgx{E6CF}} % Not Succeeds
+ \newcommand \NotSucq {\lgx{E6CD}} % Not Succeeds or Equal
+
+ \newcommand \Minus {\lgx{E0C7}} % Minus
+ \newcommand \Plus {\lgx{E0C6}} % Plus
+ \newcommand \PlusMinus {\lgx{E0CE}} % Plus / Minus
+ \newcommand \MinusPlus {\lgx{E0CF}} % Minus / Plus
+ \newcommand \Asterick {\lgx{E0C4}} % Asterick
+ \newcommand \Divide {\lgx{E103}} % Divide
+ \newcommand \Times {\lgx{E0C5}} % Times
+
+ \newcommand \Append {\lgx{E0CB}} % Append
+ \newcommand \Concat {\lgx{E0CD}} % Concatenation
+
+ \newcommand \CircPlus {\lgx{E12B}} % Large Circled Plus
+ \newcommand \CircTimes {\lgx{E12C}} % Large Circled Times
+ \newcommand \CircStar {\lgx{E11D}} % Circled Star
+
+ \newcommand \Dagger {\lgx{E05B}} % Single dagger
+ \newcommand \Ddagger {\lgx{E05C}} % Double horizontal dagger
+ \newcommand \Daggerr {\lgx{E05D}} % Double vertical dagger
+ \newcommand \Ddaggerr {\lgx{E05E}} % Double horizontal and vertical dagger
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
@@ -898,6 +970,8 @@
\defineDelimiter{ClsDblParn} {F010}
\defineDelimiter{OpnDblGrp} {F020}
\defineDelimiter{ClsDblGrp} {F080}
+ \defineDelimiter{OpnDblBar} {F090}
+ \defineDelimiter{ClsDblBar} {F0A0}
\newcommand \OpnGrpBtm {\lgx{EBEC}} % OpnGrp bottom
\newcommand \OpnGrpExt {\lgx{EBED}} % OpnGrp extender
@@ -1146,6 +1220,12 @@
\newcommand \ClsDblGrpExt {\lgx{F08D}} % ClsDblGrp extender
\newcommand \ClsDblGrpTop {\lgx{F08E}} % ClsDblGrp top
+ \newcommand \OpnDblBarBtm {\lgx{F09C}} % OpnDblBar bottom
+ \newcommand \OpnDblBarExt {\lgx{F09D}} % OpnDblBar extender
+
+ \newcommand \ClsDblBarBtm {\lgx{F0AC}} % ClsDblBar bottom
+ \newcommand \ClsDblBarExt {\lgx{F0aD}} % ClsDblBar extender
+
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
%
@@ -1191,11 +1271,11 @@
\newcommand \lgq[1] {\protect\raisebox{0.0000em}[0.0120em][0.2380em]{\ensuremath{\Umathchar "0 \symLogix "#1}}}
\newcommand \lgv[1] {\protect\raisebox{0.4330em}[0.7620em][0.2380em]{\ensuremath{\Umathchar "0 \symLogix "#1}}}
- \newcommand \Kntlgk[1] {\protect\raisebox{0.0000em}[0.7620em][0.2380em]{#1}}
- \newcommand \Kntlge[1] {\protect\raisebox{0.0000em}[0.5120em][0.2380em]{#1}}
- \newcommand \Kntlgf[1] {\protect\raisebox{0.0000em}[0.2620em][0.2380em]{#1}}
- \newcommand \Kntlgq[1] {\protect\raisebox{0.0000em}[0.0120em][0.2380em]{#1}}
- \newcommand \Kntlgv[1] {\protect\raisebox{0.4330em}[0.7620em][0.2380em]{#1}}
+ \newcommand \Kntlgk[1] {\protect\raisebox{0.0000em}[0.7620em][0.2380em]{#1}}
+ \newcommand \Kntlge[1] {\protect\raisebox{0.0000em}[0.5120em][0.2380em]{#1}}
+ \newcommand \Kntlgf[1] {\protect\raisebox{0.0000em}[0.2620em][0.2380em]{#1}}
+ \newcommand \Kntlgq[1] {\protect\raisebox{0.0000em}[0.0120em][0.2380em]{#1}}
+ \newcommand \Kntlgv[1] {\protect\raisebox{0.4330em}[0.7620em][0.2380em]{#1}}
\newcommand \KntNN {\lgk{E210}} % Full height, full width space.
\newcommand \KntNE {\lgk{E211}} % Full height, three quarter width space.