From 8a5a45eae4b27a6b626cb7ba6ebae0cbca86d94f Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sat, 4 Jan 2020 22:04:26 +0000 Subject: logix (4jan20) git-svn-id: svn://tug.org/texlive/trunk@53317 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logix/logix.sty | 1000 +++++++++++++++------------ 1 file changed, 540 insertions(+), 460 deletions(-) (limited to 'Master/texmf-dist/tex') 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. -- cgit v1.2.3