diff options
Diffstat (limited to 'fonts/logix/tex/logix.sty')
-rw-r--r-- | fonts/logix/tex/logix.sty | 1176 |
1 files changed, 632 insertions, 544 deletions
diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty index 1e90582e8c..b7b9070981 100644 --- a/fonts/logix/tex/logix.sty +++ b/fonts/logix/tex/logix.sty @@ -1,6 +1,6 @@ % Copyright (c) 2001..2022 by Michael Lee Finney. % -% logix.sty - 2022-05-25 v1.12 +% logix.sty - 2022-06-22 v1.13 % % 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,9 +28,9 @@ \NeedsTeXFormat{LaTeX2e}[2020/02/02] \ProvidesPackage{logix} - [2022-05-25 v1.12 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] + [2022-06-22 v1.13 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] \ProvidesFile{logix.otf} - [2022-05-25 v1.12 (Michael Lee Finney) OpenType Unicode font.] + [2022-06-22 v1.13 (Michael Lee Finney) OpenType Unicode font.] \RequirePackage{iftex} \RequirePackage[bold-style=ISO]{unicode-math} \RequirePackage{mathtools} @@ -364,6 +364,8 @@ \newcommand \OpnDblGrp {\lgl{E320}\relax} % Open Double Group Brace \newcommand \OpnDblBar {\lgl{E321}\relax} % Open Double Vertical Bar \newcommand \OpnTrpBar {\lgl{E322}\relax} % Open Triple Vertical Bar + \newcommand \OpnDblCeil {\lgl{E323}\relax} % Open Double Ceiling + \newcommand \OpnDblFloor {\lgl{E324}\relax} % Open Double Floor \newcommand \OpnBarS {\left\OpnBar\relax} % Stretchy Open Vertical Bar \newcommand \OpnGrpS {\left\OpnGrp\relax} % Stretchy Open Group Brace @@ -400,8 +402,10 @@ \newcommand \OpnDblGrpS {\left\OpnDblGrp\relax} % Stretchy Open Double Group Brace \newcommand \OpnDblBarS {\left\OpnDblBar\relax} % Stretchy Open Double Vertical Bar \newcommand \OpnTrpBarS {\left\OpnTrpBar\relax} % Stretchy Open Triple Vertical Bar + \newcommand \OpnDblCeilS {\left\OpnDblCeil\relax} % Stretchy Open Double Ceiling + \newcommand \OpnDblFloorS {\left\OpnDblFloor\relax} % Stretchy Open Double Floor - \newcommand \ClsBar {\lgr{E340}\relax} % Close Bar + \newcommand \ClsBar {\lgr{E340}\relax} % Close Vertical Bar \newcommand \ClsGrp {\lgr{E341}\relax} % Close Group Brace \newcommand \ClsParn {\lgr{E342}\relax} % Close Parenthesis \newcommand \ClsBrac {\lgr{E343}\relax} % Close Curly Brace @@ -436,8 +440,10 @@ \newcommand \ClsDblGrp {\lgr{E360}\relax} % Close Double Group Brace \newcommand \ClsDblBar {\lgr{E361}\relax} % Close Double Vertical Bar \newcommand \ClsTrpBar {\lgr{E362}\relax} % Close Triple Vertical Bar + \newcommand \ClsDblCeil {\lgr{E363}\relax} % Close Double Ceiling + \newcommand \ClsDblFloor {\lgr{E364}\relax} % Close Double Floor - \newcommand \ClsBarS {\right\ClsBar\relax} % Stretchy Close Bar + \newcommand \ClsBarS {\right\ClsBar\relax} % Stretchy Close Vertical Bar \newcommand \ClsGrpS {\right\ClsGrp\relax} % Stretchy Close Group Brace \newcommand \ClsParnS {\right\ClsParn\relax} % Stretchy Close Parenthesis \newcommand \ClsBracS {\right\ClsBrac\relax} % Stretchy Close Curly Brace @@ -472,6 +478,8 @@ \newcommand \ClsDblGrpS {\right\ClsDblGrp\relax} % Stretchy Close Double Group Brace \newcommand \ClsDblBarS {\right\ClsDblBar\relax} % Stretchy Close Vertical Double Bar \newcommand \ClsTrpBarS {\right\ClsTrpBar\relax} % Stretchy Close Vertical Triple Bar + \newcommand \ClsDblCeilS {\right\ClsDblCeil\relax} % Stretchy Close Double Ceiling + \newcommand \ClsDblFloorS {\right\ClsDblFloor\relax} % Stretchy Close Double Floor \newcommand \MapParInMul {\lgx{EAA0}\relax} % Continuous, Partial, Into Multi-Map \newcommand \MapParInSng {\lgx{EAA1}\relax} % Continuous, Partial, Into, Singleton Map @@ -531,14 +539,21 @@ \newcommand \XMapTo {\lgx{E9D9}\relax} % Extra Long Maps To \newcommand \VMapTo {\lgx{E9B8}\relax} % Very Long Maps To - \newcommand \SFunc {\lgx{E9DC}\relax} % Short Function - \newcommand \Func {\lgx{E9DD}\relax} % Function - \newcommand \LFunc {\lgx{E9DE}\relax} % Long Function - \newcommand \XFunc {\lgx{E9DF}\relax} % Extra Long Function - \newcommand \VFunc {\lgx{E9B9}\relax} % Very Long Function + \newcommand \SFunc {\lgx{E9DC}\relax} % Short Total Function + \newcommand \Func {\lgx{E9DD}\relax} % Total Function + \newcommand \LFunc {\lgx{E9DE}\relax} % Long Total Function + \newcommand \XFunc {\lgx{E9DF}\relax} % Extra Long Total Function + \newcommand \VFunc {\lgx{E9B9}\relax} % Very Long Total Function + + \newcommand \SParFunc {\lgx{EA25}\relax} % Short Partial Function + \newcommand \ParFunc {\lgx{EA26}\relax} % Partial Function + \newcommand \LParFunc {\lgx{EA27}\relax} % Long Partial Function + \newcommand \XParFunc {\lgx{EA28}\relax} % Extra Long Partial Function + \newcommand \VParFunc {\lgx{EA29}\relax} % Very Long Partial Function \newcommand \MapComp {\lgx{E23C}\relax} % Map Composition - \newcommand \FncComp {\lgx{E239}\relax} % Function Composition + \newcommand \FncComp {\lgx{E239}\relax} % Function / Backward Composition + \newcommand \ForComp {\lgx{E229}\relax} % Forward Composition \newcommand \FncCnvrs {\lgx{E2C3}\relax} % Function Converse \newcommand \ClsImpl {\lgx{E79E}\relax} % Classical Implication @@ -547,175 +562,195 @@ \newcommand \NotClsEquv {\lgx{E667}\relax} % Not Classical Equivalence \newcommand \SWkMtImpl {\lgx{E810}\relax} % Short Weak Material Implication - \newcommand \NotSWkMtImpl {\lgx{E811}\relax} % Short Not Weak Material Implication - \newcommand \SWkMtEquv {\lgx{E812}\relax} % Short Weak Material Equivalence - \newcommand \NotSWkMtEquv {\lgx{E813}\relax} % Short Not Weak Material Equivalence \newcommand \WkMtImpl {\lgx{E814}\relax} % Weak Material Implication - \newcommand \NotWkMtImpl {\lgx{E815}\relax} % Not Weak Material Implication - \newcommand \WkMtEquv {\lgx{E816}\relax} % Weak Material Equivalence - \newcommand \NotWkMtEquv {\lgx{E817}\relax} % Not Weak Material Equivalence \newcommand \LWkMtImpl {\lgx{E818}\relax} % Long Weak Material Implication - \newcommand \NotLWkMtImpl {\lgx{E819}\relax} % Long Not Weak Material Implication - \newcommand \LWkMtEquv {\lgx{E81A}\relax} % Long Weak Material Equivalence - \newcommand \NotLWkMtEquv {\lgx{E81B}\relax} % Long Not Weak Material Equivalence \newcommand \XWkMtImpl {\lgx{E81C}\relax} % Extra Long Weak Material Implication - \newcommand \NotXWkMtImpl {\lgx{E81D}\relax} % Extra Long Not Weak Material Implication - \newcommand \XWkMtEquv {\lgx{E81E}\relax} % Extra Long Weak Material Equivalence - \newcommand \NotXWkMtEquv {\lgx{E81F}\relax} % Extra Long Not Weak Material Equivalence \newcommand \VWkMtImpl {\lgx{E8B8}\relax} % Very Long Weak Material Implication - \newcommand \NotVWkMtImpl {\lgx{E8B9}\relax} % Very Long Not Weak Material Implication - \newcommand \VWkMtEquv {\lgx{E8BA}\relax} % Very Long Weak Material Equivalence - \newcommand \NotVWkMtEquv {\lgx{E8BB}\relax} % Very Long Not Weak Material Equivalence \newcommand \SMtImpl {\lgx{E820}\relax} % Short Material Implication - \newcommand \NotSMtImpl {\lgx{E821}\relax} % Short Not Material Implication - \newcommand \SMtEquv {\lgx{E822}\relax} % Short Material Equivalence - \newcommand \NotSMtEquv {\lgx{E823}\relax} % Short Not Material Equivalence \newcommand \MtImpl {\lgx{E824}\relax} % Material Implication - \newcommand \NotMtImpl {\lgx{E825}\relax} % Not Material Implication - \newcommand \MtEquv {\lgx{E826}\relax} % Material Equivalence - \newcommand \NotMtEquv {\lgx{E827}\relax} % Not Material Equivalence \newcommand \LMtImpl {\lgx{E828}\relax} % Long Material Implication - \newcommand \NotLMtImpl {\lgx{E829}\relax} % Long Not Material Implication - \newcommand \LMtEquv {\lgx{E82A}\relax} % Long Material Equivalence - \newcommand \NotLMtEquv {\lgx{E82B}\relax} % Long Not Material Equivalence \newcommand \XMtImpl {\lgx{E82C}\relax} % Extra Long Material Implication - \newcommand \NotXMtImpl {\lgx{E82D}\relax} % Extra Long Not Material Implication - \newcommand \XMtEquv {\lgx{E82E}\relax} % Extra Long Material Equivalence - \newcommand \NotXMtEquv {\lgx{E82F}\relax} % Extra Long Not Material Equivalence \newcommand \VMtImpl {\lgx{E8BC}\relax} % Very Long Material Implication - \newcommand \NotVMtImpl {\lgx{E8BD}\relax} % Very Long Not Material Implication - \newcommand \VMtEquv {\lgx{E8BE}\relax} % Very Long Material Equivalence - \newcommand \NotVMtEquv {\lgx{E8BF}\relax} % Very Long Not Material Equivalence \newcommand \SInImpl {\lgx{E830}\relax} % Short Intuitionistic Implication - \newcommand \NotSInImpl {\lgx{E831}\relax} % Short Not Intuitionistic Implication - \newcommand \SInEquv {\lgx{E832}\relax} % Short Intuitionistic Equivalence - \newcommand \NotSInEquv {\lgx{E833}\relax} % Short Not Intuitionistic Equivalence \newcommand \InImpl {\lgx{E834}\relax} % Intuitionistic Implication - \newcommand \NotInImpl {\lgx{E835}\relax} % Not Intuitionistic Implication - \newcommand \InEquv {\lgx{E836}\relax} % Intuitionistic Equivalence - \newcommand \NotInEquv {\lgx{E837}\relax} % Not Intuitionistic Equivalence \newcommand \LInImpl {\lgx{E838}\relax} % Long Intuitionistic Implication - \newcommand \NotLInImpl {\lgx{E839}\relax} % Long Not Intuitionistic Implication - \newcommand \LInEquv {\lgx{E83A}\relax} % Long Intuitionistic Equivalence - \newcommand \NotLInEquv {\lgx{E83B}\relax} % Long Not Intuitionistic Equivalence \newcommand \XInImpl {\lgx{E83C}\relax} % Extra Long Intuitionistic Implication - \newcommand \NotXInImpl {\lgx{E83D}\relax} % Extra Long Not Intuitionistic Implication - \newcommand \XInEquv {\lgx{E83E}\relax} % Extra Long Intuitionistic Equivalence - \newcommand \NotXInEquv {\lgx{E83F}\relax} % Extra Long Not Intuitionistic Equivalence \newcommand \VInImpl {\lgx{E8C8}\relax} % Very Long Intuitionistic Implication - \newcommand \NotVInImpl {\lgx{E8C9}\relax} % Very Long Not Intuitionistic Implication - \newcommand \VInEquv {\lgx{E8CA}\relax} % Very Long Intuitionistic Equivalence - \newcommand \NotVInEquv {\lgx{E8CB}\relax} % Very Long Not Intuitionistic Equivalence \newcommand \SWkImpl {\lgx{E840}\relax} % Short Weak Implication - \newcommand \NotSWkImpl {\lgx{E841}\relax} % Short Not Weak Implication - \newcommand \SWkEquv {\lgx{E842}\relax} % Short Weak Implication Equivalence - \newcommand \NotSWkEquv {\lgx{E843}\relax} % Short Not Weak Implication Equivalence \newcommand \WkImpl {\lgx{E844}\relax} % Weak Implication - \newcommand \NotWkImpl {\lgx{E845}\relax} % Not Weak Implication - \newcommand \WkEquv {\lgx{E846}\relax} % Weak Implication Equivalence - \newcommand \NotWkEquv {\lgx{E847}\relax} % Not Weak Implication Equivalence \newcommand \LWkImpl {\lgx{E848}\relax} % Long Weak Implication - \newcommand \NotLWkImpl {\lgx{E849}\relax} % Long Not Weak Implication - \newcommand \LWkEquv {\lgx{E84A}\relax} % Long Weak Implication Equivalence - \newcommand \NotLWkEquv {\lgx{E84B}\relax} % Long Not Weak Implication Equivalence \newcommand \XWkImpl {\lgx{E84C}\relax} % Extra Long Weak Implication - \newcommand \NotXWkImpl {\lgx{E84D}\relax} % Extra Long Not Weak Implication - \newcommand \XWkEquv {\lgx{E84E}\relax} % Extra Long Weak Implication Equivalence - \newcommand \NotXWkEquv {\lgx{E84F}\relax} % Extra Long Not Weak Implication Equivalence \newcommand \VWkImpl {\lgx{E8CC}\relax} % Very Long Weak Implication - \newcommand \NotVWkImpl {\lgx{E8CD}\relax} % Very Long Not Weak Implication - \newcommand \VWkEquv {\lgx{E8CE}\relax} % Very Long Weak Implication Equivalence - \newcommand \NotVWkEquv {\lgx{E8CF}\relax} % Very Long Not Weak Implication Equivalence \newcommand \SImpl {\lgx{E850}\relax} % Short Implication - \newcommand \NotSImpl {\lgx{E851}\relax} % Short Not Implication - \newcommand \SEquv {\lgx{E852}\relax} % Short Implication Equivalence - \newcommand \NotSEquv {\lgx{E853}\relax} % Short Not Implication Equivalence \newcommand \Impl {\lgx{E854}\relax} % Implication - \newcommand \NotImpl {\lgx{E855}\relax} % Not Implication - \newcommand \Equv {\lgx{E856}\relax} % Implication Equivalence - \newcommand \NotEquv {\lgx{E857}\relax} % Not Implication Equivalence \newcommand \LImpl {\lgx{E858}\relax} % Long Implication - \newcommand \NotLImpl {\lgx{E859}\relax} % Long Not Implication - \newcommand \LEquv {\lgx{E85A}\relax} % Long Implication Equivalence - \newcommand \NotLEquv {\lgx{E85B}\relax} % Long Not Implication Equivalence \newcommand \XImpl {\lgx{E85C}\relax} % Extra Long Implication - \newcommand \NotXImpl {\lgx{E85D}\relax} % Extra Long Not Implication - \newcommand \XEquv {\lgx{E85E}\relax} % Extra Long Implication Equivalence - \newcommand \NotXEquv {\lgx{E85F}\relax} % Extra Long Not Implication Equivalence \newcommand \VImpl {\lgx{E8D8}\relax} % Very Long Implication + + \newcommand \NotSWkMtImpl {\lgx{E811}\relax} % Short Not Weak Material Implication + \newcommand \NotWkMtImpl {\lgx{E815}\relax} % Not Weak Material Implication + \newcommand \NotLWkMtImpl {\lgx{E819}\relax} % Long Not Weak Material Implication + \newcommand \NotXWkMtImpl {\lgx{E81D}\relax} % Extra Long Not Weak Material Implication + \newcommand \NotVWkMtImpl {\lgx{E8B9}\relax} % Very Long Not Weak Material Implication + + \newcommand \NotSMtImpl {\lgx{E821}\relax} % Short Not Material Implication + \newcommand \NotMtImpl {\lgx{E825}\relax} % Not Material Implication + \newcommand \NotLMtImpl {\lgx{E829}\relax} % Long Not Material Implication + \newcommand \NotXMtImpl {\lgx{E82D}\relax} % Extra Long Not Material Implication + \newcommand \NotVMtImpl {\lgx{E8BD}\relax} % Very Long Not Material Implication + + \newcommand \NotSInImpl {\lgx{E831}\relax} % Short Not Intuitionistic Implication + \newcommand \NotInImpl {\lgx{E835}\relax} % Not Intuitionistic Implication + \newcommand \NotLInImpl {\lgx{E839}\relax} % Long Not Intuitionistic Implication + \newcommand \NotXInImpl {\lgx{E83D}\relax} % Extra Long Not Intuitionistic Implication + \newcommand \NotVInImpl {\lgx{E8C9}\relax} % Very Long Not Intuitionistic Implication + + \newcommand \NotSWkImpl {\lgx{E841}\relax} % Short Not Weak Implication + \newcommand \NotWkImpl {\lgx{E845}\relax} % Not Weak Implication + \newcommand \NotLWkImpl {\lgx{E849}\relax} % Long Not Weak Implication + \newcommand \NotXWkImpl {\lgx{E84D}\relax} % Extra Long Not Weak Implication + \newcommand \NotVWkImpl {\lgx{E8CD}\relax} % Very Long Not Weak Implication + + \newcommand \NotSImpl {\lgx{E851}\relax} % Short Not Implication + \newcommand \NotImpl {\lgx{E855}\relax} % Not Implication + \newcommand \NotLImpl {\lgx{E859}\relax} % Long Not Implication + \newcommand \NotXImpl {\lgx{E85D}\relax} % Extra Long Not Implication \newcommand \NotVImpl {\lgx{E8D9}\relax} % Very Long Not Implication - \newcommand \VEquv {\lgx{E8DA}\relax} % Very Long Implication Equivalence - \newcommand \NotVEquv {\lgx{E8DB}\relax} % Very Long Not Implication Equivalence \newcommand \SWkEntail {\lgx{E860}\relax} % Short Weak Entailment - \newcommand \NotSWkEntail {\lgx{E861}\relax} % Short Not Weak Entailment - \newcommand \SWkEntailEquv {\lgx{E862}\relax} % Short Weak Entailment Equivalence - \newcommand \NotSWkEntailEquv {\lgx{E863}\relax} % Short Not Weak Entailment Equivalence \newcommand \WkEntail {\lgx{E864}\relax} % Weak Entailment - \newcommand \NotWkEntail {\lgx{E865}\relax} % Not Weak Entailment - \newcommand \WkEntailEquv {\lgx{E866}\relax} % Weak Entailment Equivalence - \newcommand \NotWkEntailEquv {\lgx{E867}\relax} % Not Weak Entailment Equivalence \newcommand \LWkEntail {\lgx{E868}\relax} % Long Weak Entailment - \newcommand \NotLWkEntail {\lgx{E869}\relax} % Long Not Weak Entailment - \newcommand \LWkEntailEquv {\lgx{E86A}\relax} % Long Weak Entailment Equivalence - \newcommand \NotLWkEntailEquv {\lgx{E86B}\relax} % Long Not Weak Entailment Equivalence \newcommand \XWkEntail {\lgx{E86C}\relax} % Extra Long Weak Entailment - \newcommand \NotXWkEntail {\lgx{E86D}\relax} % Extra Long Not Weak Entailment - \newcommand \XWkEntailEquv {\lgx{E86E}\relax} % Extra Long Weak Entailment Equivalence - \newcommand \NotXWkEntailEquv {\lgx{E86F}\relax} % Extra Long Not Weak Entailment Equivalence \newcommand \VWkEntail {\lgx{E8DC}\relax} % Very Long Weak Entailment - \newcommand \NotVWkEntail {\lgx{E8DD}\relax} % Very Long Not Weak Entailment - \newcommand \VWkEntailEquv {\lgx{E8DE}\relax} % Very Long Weak Entailment Equivalence - \newcommand \NotVWkEntailEquv {\lgx{E8DF}\relax} % Very Long Not Weak Entailment Equivalence \newcommand \SEntail {\lgx{E870}\relax} % Short Entailment - \newcommand \NotSEntail {\lgx{E871}\relax} % Short Not Entailment - \newcommand \SEntailEquv {\lgx{E872}\relax} % Short Entailment Equivalence - \newcommand \NotSEntailEquv {\lgx{E873}\relax} % Short Not Entailment Equivalence \newcommand \Entail {\lgx{E874}\relax} % Entailment - \newcommand \NotEntail {\lgx{E875}\relax} % Not Entailment - \newcommand \EntailEquv {\lgx{E876}\relax} % Entailment Equivalence - \newcommand \NotEntailEquv {\lgx{E877}\relax} % Not Entailment Equivalence \newcommand \LEntail {\lgx{E878}\relax} % Long Entailment - \newcommand \NotLEntail {\lgx{E879}\relax} % Long Not Entailment - \newcommand \LEntailEquv {\lgx{E87A}\relax} % Long Entailment Equivalence - \newcommand \NotLEntailEquv {\lgx{E87B}\relax} % Long Not Entailment Equivalence \newcommand \XEntail {\lgx{E87C}\relax} % Extra Long Entailment - \newcommand \NotXEntail {\lgx{E87D}\relax} % Extra Long Not Entailment - \newcommand \XEntailEquv {\lgx{E87E}\relax} % Extra Long Entailment Equivalence - \newcommand \NotXEntailEquv {\lgx{E87F}\relax} % Extra Long Not Entailment Equivalence \newcommand \VEntail {\lgx{E8E0}\relax} % Very Long Entailment + + \newcommand \SWkMtEquv {\lgx{E812}\relax} % Short Weak Material Equivalence + \newcommand \WkMtEquv {\lgx{E816}\relax} % Weak Material Equivalence + \newcommand \LWkMtEquv {\lgx{E81A}\relax} % Long Weak Material Equivalence + \newcommand \XWkMtEquv {\lgx{E81E}\relax} % Extra Long Weak Material Equivalence + \newcommand \VWkMtEquv {\lgx{E8BA}\relax} % Very Long Weak Material Equivalence + + \newcommand \SMtEquv {\lgx{E822}\relax} % Short Material Equivalence + \newcommand \MtEquv {\lgx{E826}\relax} % Material Equivalence + \newcommand \LMtEquv {\lgx{E82A}\relax} % Long Material Equivalence + \newcommand \XMtEquv {\lgx{E82E}\relax} % Extra Long Material Equivalence + \newcommand \VMtEquv {\lgx{E8BE}\relax} % Very Long Material Equivalence + + \newcommand \SInEquv {\lgx{E832}\relax} % Short Intuitionistic Equivalence + \newcommand \InEquv {\lgx{E836}\relax} % Intuitionistic Equivalence + \newcommand \LInEquv {\lgx{E83A}\relax} % Long Intuitionistic Equivalence + \newcommand \XInEquv {\lgx{E83E}\relax} % Extra Long Intuitionistic Equivalence + \newcommand \VInEquv {\lgx{E8CA}\relax} % Very Long Intuitionistic Equivalence + + \newcommand \SWkEquv {\lgx{E842}\relax} % Short Weak Implication Equivalence + \newcommand \WkEquv {\lgx{E846}\relax} % Weak Implication Equivalence + \newcommand \LWkEquv {\lgx{E84A}\relax} % Long Weak Implication Equivalence + \newcommand \XWkEquv {\lgx{E84E}\relax} % Extra Long Weak Implication Equivalence + \newcommand \VWkEquv {\lgx{E8CE}\relax} % Very Long Weak Implication Equivalence + + \newcommand \NotSWkEntail {\lgx{E861}\relax} % Short Not Weak Entailment + \newcommand \NotWkEntail {\lgx{E865}\relax} % Not Weak Entailment + \newcommand \NotLWkEntail {\lgx{E869}\relax} % Long Not Weak Entailment + \newcommand \NotXWkEntail {\lgx{E86D}\relax} % Extra Long Not Weak Entailment + \newcommand \NotVWkEntail {\lgx{E8DD}\relax} % Very Long Not Weak Entailment + + \newcommand \NotSEntail {\lgx{E871}\relax} % Short Not Entailment + \newcommand \NotEntail {\lgx{E875}\relax} % Not Entailment + \newcommand \NotLEntail {\lgx{E879}\relax} % Long Not Entailment + \newcommand \NotXEntail {\lgx{E87D}\relax} % Extra Long Not Entailment \newcommand \NotVEntail {\lgx{E8E1}\relax} % Very Long Not Entailment + + \newcommand \NotSWkMtEquv {\lgx{E813}\relax} % Short Not Weak Material Equivalence + \newcommand \NotWkMtEquv {\lgx{E817}\relax} % Not Weak Material Equivalence + \newcommand \NotLWkMtEquv {\lgx{E81B}\relax} % Long Not Weak Material Equivalence + \newcommand \NotXWkMtEquv {\lgx{E81F}\relax} % Extra Long Not Weak Material Equivalence + \newcommand \NotVWkMtEquv {\lgx{E8BB}\relax} % Very Long Not Weak Material Equivalence + + \newcommand \NotSMtEquv {\lgx{E823}\relax} % Short Not Material Equivalence + \newcommand \NotMtEquv {\lgx{E827}\relax} % Not Material Equivalence + \newcommand \NotLMtEquv {\lgx{E82B}\relax} % Long Not Material Equivalence + \newcommand \NotXMtEquv {\lgx{E82F}\relax} % Extra Long Not Material Equivalence + \newcommand \NotVMtEquv {\lgx{E8BF}\relax} % Very Long Not Material Equivalence + + \newcommand \NotSInEquv {\lgx{E833}\relax} % Short Not Intuitionistic Equivalence + \newcommand \NotInEquv {\lgx{E837}\relax} % Not Intuitionistic Equivalence + \newcommand \NotLInEquv {\lgx{E83B}\relax} % Long Not Intuitionistic Equivalence + \newcommand \NotXInEquv {\lgx{E83F}\relax} % Extra Long Not Intuitionistic Equivalence + \newcommand \NotVInEquv {\lgx{E8CB}\relax} % Very Long Not Intuitionistic Equivalence + + \newcommand \NotSWkEquv {\lgx{E843}\relax} % Short Not Weak Implication Equivalence + \newcommand \NotWkEquv {\lgx{E847}\relax} % Not Weak Implication Equivalence + \newcommand \NotLWkEquv {\lgx{E84B}\relax} % Long Not Weak Implication Equivalence + \newcommand \NotXWkEquv {\lgx{E84F}\relax} % Extra Long Not Weak Implication Equivalence + \newcommand \NotVWkEquv {\lgx{E8CF}\relax} % Very Long Not Weak Implication Equivalence + + \newcommand \SEquv {\lgx{E852}\relax} % Short Implication Equivalence + \newcommand \Equv {\lgx{E856}\relax} % Implication Equivalence + \newcommand \LEquv {\lgx{E85A}\relax} % Long Implication Equivalence + \newcommand \XEquv {\lgx{E85E}\relax} % Extra Long Implication Equivalence + \newcommand \VEquv {\lgx{E8DA}\relax} % Very Long Implication Equivalence + + \newcommand \SWkEntailEquv {\lgx{E862}\relax} % Short Weak Entailment Equivalence + \newcommand \WkEntailEquv {\lgx{E866}\relax} % Weak Entailment Equivalence + \newcommand \LWkEntailEquv {\lgx{E86A}\relax} % Long Weak Entailment Equivalence + \newcommand \XWkEntailEquv {\lgx{E86E}\relax} % Extra Long Weak Entailment Equivalence + \newcommand \VWkEntailEquv {\lgx{E8DE}\relax} % Very Long Weak Entailment Equivalence + + \newcommand \SEntailEquv {\lgx{E872}\relax} % Short Entailment Equivalence + \newcommand \EntailEquv {\lgx{E876}\relax} % Entailment Equivalence + \newcommand \LEntailEquv {\lgx{E87A}\relax} % Long Entailment Equivalence + \newcommand \XEntailEquv {\lgx{E87E}\relax} % Extra Long Entailment Equivalence \newcommand \VEntailEquv {\lgx{E8E2}\relax} % Very Long Entailment Equivalence + + \newcommand \NotSEquv {\lgx{E853}\relax} % Short Not Implication Equivalence + \newcommand \NotEquv {\lgx{E857}\relax} % Not Implication Equivalence + \newcommand \NotLEquv {\lgx{E85B}\relax} % Long Not Implication Equivalence + \newcommand \NotXEquv {\lgx{E85F}\relax} % Extra Long Not Implication Equivalence + \newcommand \NotVEquv {\lgx{E8DB}\relax} % Very Long Not Implication Equivalence + + \newcommand \NotSWkEntailEquv {\lgx{E863}\relax} % Short Not Weak Entailment Equivalence + \newcommand \NotWkEntailEquv {\lgx{E867}\relax} % Not Weak Entailment Equivalence + \newcommand \NotLWkEntailEquv {\lgx{E86B}\relax} % Long Not Weak Entailment Equivalence + \newcommand \NotXWkEntailEquv {\lgx{E86F}\relax} % Extra Long Not Weak Entailment Equivalence + \newcommand \NotVWkEntailEquv {\lgx{E8DF}\relax} % Very Long Not Weak Entailment Equivalence + + \newcommand \NotSEntailEquv {\lgx{E873}\relax} % Short Not Entailment Equivalence + \newcommand \NotEntailEquv {\lgx{E877}\relax} % Not Entailment Equivalence + \newcommand \NotLEntailEquv {\lgx{E87B}\relax} % Long Not Entailment Equivalence + \newcommand \NotXEntailEquv {\lgx{E87F}\relax} % Extra Long Not Entailment Equivalence \newcommand \NotVEntailEquv {\lgx{E8E3}\relax} % Very Long Not Entailment Equivalence \newcommand \Seq {\lgx{E94C}\relax} % Sequent - \newcommand \NotSeq {\lgx{E96C}\relax} % Sequent Denied \newcommand \Rule {\lgx{E940}\relax} % Assertion (Rule) - \newcommand \NotRule {\lgx{E960}\relax} % Assertion (Rule) Denied - \newcommand \Model {\lgx{E942}\relax} % Model - \newcommand \NotModel {\lgx{E962}\relax} % Model Denied \newcommand \TrpTurn {\lgx{E94E}\relax} % Triple Turnstile - \newcommand \NotTrpTurn {\lgx{E96E}\relax} % Triple Turnstile Denied - + \newcommand \Model {\lgx{E942}\relax} % Model \newcommand \Turn {\lgx{E944}\relax} % Turnstile - \newcommand \NotTurn {\lgx{E964}\relax} % Turnstile Denied \newcommand \Conseq {\lgx{E946}\relax} % Consequence Relation - \newcommand \NotConseq {\lgx{E966}\relax} % Consequence Relation Denied \newcommand \DTrpTurn {\lgx{E980}\relax} % Double Bar Triple Turnstile - \newcommand \NotDTrpTurn {\lgx{E982}\relax} % Double Bar Triple Turnstile Denied - \newcommand \TurnWavy {\lgx{E908}\relax} % Wavy Turnstile - \newcommand \NotTurnWavy {\lgx{E928}\relax} % Wavy Turnstile Denied \newcommand \TurnDWavy {\lgx{E90A}\relax} % Double Wavy Turnstile - \newcommand \NotTurnDWavy {\lgx{E92A}\relax} % Double Wavy Turnstile Denied \newcommand \DTurnWavy {\lgx{E90C}\relax} % Wavy Double Bar Turnstile - \newcommand \NotDTurnWavy {\lgx{E92C}\relax} % Wavy Double Bar Turnstile Denied \newcommand \DTurnDWavy {\lgx{E90E}\relax} % Double Wavy Double Bar Turnstile + + \newcommand \NotSeq {\lgx{E96C}\relax} % Sequent Denied + \newcommand \NotRule {\lgx{E960}\relax} % Assertion (Rule) Denied + \newcommand \NotTrpTurn {\lgx{E96E}\relax} % Triple Turnstile Denied + \newcommand \NotModel {\lgx{E962}\relax} % Model Denied + \newcommand \NotTurn {\lgx{E964}\relax} % Turnstile Denied + \newcommand \NotConseq {\lgx{E966}\relax} % Consequence Relation Denied + \newcommand \NotDTrpTurn {\lgx{E982}\relax} % Double Bar Triple Turnstile Denied + \newcommand \NotTurnWavy {\lgx{E928}\relax} % Wavy Turnstile Denied + \newcommand \NotTurnDWavy {\lgx{E92A}\relax} % Double Wavy Turnstile Denied + \newcommand \NotDTurnWavy {\lgx{E92C}\relax} % Wavy Double Bar Turnstile Denied \newcommand \NotDTurnDWavy {\lgx{E92E}\relax} % Double Wavy Double Bar Turnstile Denied \newcommand \DashArrowRight {\lgx{EA16}\relax} % Right Dash Arrow @@ -736,51 +771,38 @@ \newcommand \ForkArrowRight {\lgx{E9F2}\relax} % Right Fork Arrow \newcommand \ForkArrowLeft {\lgx{E9F3}\relax} % Left Fork Arrow - \newcommand \LoopArrowRight {\lgx{EA2E}\relax} % Right Loop Arrow - \newcommand \LoopArrowLeft {\lgx{EA2F}\relax} % Left Loop Arrow - \newcommand \ZigArrowRight {\lgx{E99C}\relax} % Right Zig Zag Arrow \newcommand \ZigArrowLeft {\lgx{E99D}\relax} % Left Zig Zag Arrow \newcommand \WavyArrowRight {\lgx{E99E}\relax} % Right Wavy Arrow \newcommand \WavyArrowLeft {\lgx{E99F}\relax} % Left Wavy Arrow + \newcommand \LoopArrowRight {\lgx{EA2E}\relax} % Right Loop Arrow + \newcommand \LoopArrowLeft {\lgx{EA2F}\relax} % Left Loop Arrow + \newcommand \FishArrowRight {\lgx{EA1E}\relax} % Right Fish Arrow \newcommand \FishArrowLeft {\lgx{EA1F}\relax} % Left Fish Arrow - \newcommand \Defn {\lgx{E60A}\relax} % Defines - \newcommand \Qed {\lgx{E08F}\relax} % Q.E.D. - \newcommand \Nd {\lgx{E6A0}\relax} % Bitwise AND operator / Logical Conjunction \newcommand \Or {\lgx{E6A1}\relax} % Bitwise OR operator / Logical Disjunction \newcommand \Nt {\lgx{E0C0}\relax} % Bitwise NOT operator / Logical Negation + \newcommand \Nand {\lgx{E6A2}\relax} % Bitwise NAND operator + \newcommand \Nor {\lgx{E6A3}\relax} % Bitwise NOR operator + \newcommand \Xor {\lgx{E6A5}\relax} % Bitwise XOR operator \newcommand \InvNt {\lgx{E0C1}\relax} % Inverted Negation \newcommand \Ngt {\lgx{E64C}\relax} % Classical Logical Negation \newcommand \Lnand {\lgx{E9F6}\relax} % Logical NAND \newcommand \Lnor {\lgx{E9F7}\relax} % Logical NOR \newcommand \Shfr {\lgx{E07F}\relax} % Sheffer's Stroke (Logical NAND) - \newcommand \Nand {\lgx{E6A2}\relax} % Bitwise NAND operator - \newcommand \Nor {\lgx{E6A3}\relax} % Bitwise NOR operator - \newcommand \Xor {\lgx{E6A5}\relax} % Bitwise XOR operator - \newcommand \AAnd {\lgx{E00E}\relax} % Additive AND - \newcommand \Mnd {\lgx{E293}\relax} % Multiplicitive AND - \newcommand \Aor {\lgx{E2C3}\relax} % Additive OR - \newcommand \Mor {\lgx{E00F}\relax} % Multiplicitive OR - \newcommand \OfCrse {\lgx{E01E}\relax} % Of Course - \newcommand \WhyNot {\lgx{E01F}\relax} % Why Not - \newcommand \Perp {\lgx{E0F7}\relax} % Perp - \newcommand \SimPerp {\lgx{E0F8}\relax} % Sim Perp - - \newcommand \QuantAAnd {\lgx{E0F9}\relax} % Quantified Additive And - \newcommand \QuantMor {\lgx{E0FA}\relax} % Quantified Multiplicative Or - - \newcommand \MulMap {\lgx{E079}\relax} % Multimap - \newcommand \NotMulMap {\lgx{E07A}\relax} % Not Multimap - \newcommand \MulMapInv {\lgx{E07B}\relax} % Inverted Multimap - \newcommand \NotMulMapInv {\lgx{E07C}\relax} % Not Inverted Multimap - \newcommand \MulMapDual {\lgx{E07D}\relax} % Dual Multimap - \newcommand \NotMulMapDual {\lgx{E07E}\relax} % Not Dual Multimap + \newcommand \CircNd {\lgx{E650}\relax} % Circled Bitwise AND operator / Logical Conjunction + \newcommand \CircOr {\lgx{E651}\relax} % Circled Bitwise OR operator / Logical Disjunction + \newcommand \CircNt {\lgx{E652}\relax} % Circled Bitwise NOT operator / Logical Negation + \newcommand \CircNand {\lgx{E653}\relax} % Circled Bitwise NAND operator + \newcommand \CircNor {\lgx{E654}\relax} % Circled Bitwise NOR operator + \newcommand \CircXor {\lgx{E655}\relax} % Circled Bitwise XOR operator + \newcommand \CircInvNt {\lgx{E660}\relax} % Circled Inverted Negation + \newcommand \CircNgt {\lgx{E661}\relax} % Circled Classical Logical Negation \newcommand \Dnd {\lgx{E6A6}\relax} % Dotted AND operator / Logical Conjunction \newcommand \Dor {\lgx{E6A7}\relax} % Dotted OR operator / Logical Disjunction @@ -790,48 +812,44 @@ \newcommand \DPlus {\lgx{E0E6}\relax} % Dotted Plus \newcommand \DMinus {\lgx{E0E7}\relax} % Dotted Minus - \newcommand \SCoh {\lgx{E0F1}\relax} % Frown - \newcommand \SInCoh {\lgx{E0F2}\relax} % Smile - \newcommand \Coh {\lgx{E0F3}\relax} % Smile (bottom) and Frowm (top) - \newcommand \InCoh {\lgx{E0F4}\relax} % Frown (bottom) and Smile (top) - \newcommand \SbNd {\lgx{E680}\relax} % Slanted Bar And \newcommand \SbOr {\lgx{E681}\relax} % Slanted Bar Or \newcommand \SbNand {\lgx{E682}\relax} % Slanted Bar Nand \newcommand \SbNor {\lgx{E683}\relax} % Slanted Bar Nor \newcommand \SbXor {\lgx{E685}\relax} % Slanted Bar Xor + \newcommand \Defn {\lgx{E60A}\relax} % Defines + \newcommand \End {\lgx{E08E}\relax} % End Law + \newcommand \Qed {\lgx{E08F}\relax} % Q.E.D. + \newcommand \LcgBistab {\lgx{E068}\relax} % Logical Bistability \newcommand \BncBistab {\lgx{E078}\relax} % Bunch Bistability - \newcommand \TFNone {\lgx{E010}\relax} % Neither true nor false - \newcommand \NTrue {\lgx{E011}\relax} % Not true - \newcommand \True {\lgx{E012}\relax} % True - \newcommand \TFBoth {\lgx{E013}\relax} % Both true and false - \newcommand \False {\lgx{E014}\relax} % False - \newcommand \NFalse {\lgx{E015}\relax} % Nat false - \newcommand \Bot {\lgx{E016}\relax} % Lattice / type bottom - \newcommand \Top {\lgx{E017}\relax} % Lattice / type top - \newcommand \QuantCon {\lgx{E891}\relax} % Quantified Conjunction \newcommand \QuantDis {\lgx{E890}\relax} % Quantified Disjuntion - \newcommand \ForAll {\lgx{E8C0}\relax} % Universal Individual Quantifier \newcommand \Exists {\lgx{E8C1}\relax} % Existential Individual Quantifier \newcommand \Unique {\lgx{E8C2}\relax} % Unique Existential Individual Quantifier \newcommand \NtExists {\lgx{E8C3}\relax} % Existential Individual Quantifier Negation \newcommand \HdnExists {\lgx{E8C4}\relax} % Hidden Variable Existential Individual Quantifier \newcommand \HdnForAll {\lgx{E8C5}\relax} % Hidden Variable Universal Individual Quantifier - \newcommand \BnchForAll {\lgx{E8D0}\relax} % Universal Bunch Quantifier \newcommand \BnchExists {\lgx{E8D1}\relax} % Existential Bunch Quantifier \newcommand \BnchUnique {\lgx{E8D2}\relax} % Unique Existential Bunch Quantifier \newcommand \BnchNtExists {\lgx{E8D3}\relax} % Existential Bunch Quantifier Negation \newcommand \BnchHdnExists {\lgx{E8D4}\relax} % Hidden Variable Existential Bunch Quantifier \newcommand \BnchHdnForAll {\lgx{E8D5}\relax} % Hidden Variable Universal Bunch Quantifier - \newcommand \BndMap {\lgx{E030}\relax} % Map Abstraction + \newcommand \True {\lgx{E012}\relax} % True + \newcommand \False {\lgx{E014}\relax} % False + \newcommand \NTrue {\lgx{E011}\relax} % Not true + \newcommand \NFalse {\lgx{E015}\relax} % Not false + \newcommand \Top {\lgx{E017}\relax} % Lattice / type top + \newcommand \TFNone {\lgx{E010}\relax} % Neither true nor false + \newcommand \TFBoth {\lgx{E013}\relax} % Both true and false + \newcommand \Bot {\lgx{E016}\relax} % Lattice / type bottom + \newcommand \NoSpace {\lgx{E05A}\relax} % Zero width space \newcommand \Dt {\lgx{E098}\relax} % Dot \newcommand \Coma {\lgx{E099}\relax} % Comma @@ -856,17 +874,23 @@ \newcommand \Numbr {\lgx{E04F}\relax} % Number sign \newcommand \Underscore {\lgx{E0AF}\relax} % Underscore \newcommand \Tild {\lgx{E06E}\relax} % Tilde + \newcommand \LeftSlash {\lgx{E103}\relax} % Left (Back) slash + \newcommand \RightSlash {\lgx{E102}\relax} % Right (Forward) slash \newcommand \Cpyrght {\lgx{E06F}\relax} % Copyright + + \newcommand \Dagger {\lgx{E05B}\relax} % Single dagger + \newcommand \Ddagger {\lgx{E05C}\relax} % Double horizontal dagger + \newcommand \Daggerr {\lgx{E05D}\relax} % Double vertical dagger + \newcommand \Ddaggerr {\lgx{E05E}\relax} % Double horizontal and vertical dagger + \newcommand \SingleQuote {\lgx{E08B}\relax} % Single quote \newcommand \DoubleQuote {\lgx{E09B}\relax} % Double quote \newcommand \TripleQuote {\lgx{E0AB}\relax} % Triple quote \newcommand \BackQuote {\lgx{E09F}\relax} % Back quote (grave) - \newcommand \LeftSlash {\lgx{E103}\relax} % Left (back) slash - \newcommand \RightSlash {\lgx{E102}\relax} % Right (forward) slash - \newcommand \ShftAccent {\lgx{EAC5}\relax} % Shift for accents \newcommand \ShftSuper {\lgx{EAC3}\relax} % Shift for superscripts \newcommand \ShftSubscr {\lgx{EAC4}\relax} % Shift for subscripts + \newcommand \ShftAccent {\lgx{EAC5}\relax} % Shift for accents \newcommand \RplcAllBnd {\lgx{EA20}\relax} % Replace All Bound Variables (left / right) \newcommand \RplcAllBndRight {\lgx{E9D4}\relax} % Replace All Bound Variables (right) @@ -880,14 +904,14 @@ \newcommand \RplcFreeRight {\lgx{E9F0}\relax} % Replace Any Free Variables (right) \newcommand \RplcFreeLeft {\lgx{E9F1}\relax} % Replace Any Free Variables (left) - \newcommand \RplcEquv {\lgx{EA24}\relax} % Replace Equivalent Expressions (left / right) - \newcommand \RplcEquvRight {\lgx{E9F8}\relax} % Replace Equivalent Expressions (right) - \newcommand \RplcEquvLeft {\lgx{E9F9}\relax} % Replace Equivalent Expressions (left) - \newcommand \RplcAny {\lgx{EA23}\relax} % Replace Any (left / right) \newcommand \RplcAnyRight {\lgx{E9FA}\relax} % Replace Any (right) \newcommand \RplcAnyLeft {\lgx{E9FB}\relax} % Replace Any (left) + \newcommand \RplcEquv {\lgx{EA24}\relax} % Replace Equivalent Expressions (left / right) + \newcommand \RplcEquvRight {\lgx{E9F8}\relax} % Replace Equivalent Expressions (right) + \newcommand \RplcEquvLeft {\lgx{E9F9}\relax} % Replace Equivalent Expressions (left) + \newcommand \LstFix {\lgx{E031}\relax} % Least Fixed Point \newcommand \GrtFix {\lgx{E032}\relax} % Greatest Fixed Point \newcommand \Choice {\lgx{E033}\relax} % Choice @@ -897,6 +921,15 @@ \newcommand \FrstOrd {\lgx{E039}\relax} % First Ordinal (omega) \newcommand \Infin {\lgx{E03A}\relax} % Infinity + \newcommand \Of {\lgx{E600}\relax} % Bunch Inclusion + \newcommand \In {\lgx{E602}\relax} % Set Membership + \newcommand \NotIn {\lgx{E603}\relax} % Set Membership Negated + \newcommand \Owns {\lgx{E606}\relax} % Set Owns Element + \newcommand \NotOwns {\lgx{E605}\relax} % Set Owns Element Negated + + \newcommand \VoidBunch {\lgx{E054}\relax} % Void / Absent Bunch + \newcommand \NullSet {\lgx{E053}\relax} % Empty / Null Set + \newcommand \Nec {\lgx{E220}\relax} % Necessity \newcommand \Pos {\lgx{E222}\relax} % Possibility \newcommand \Next {\lgx{E223}\relax} % Next @@ -945,16 +978,6 @@ \newcommand \TmpCont {\lgx{E276}\relax} % Temporal Contingency \newcommand \TmpNonCont {\lgx{E277}\relax} % Temporal Non-contingency - \newcommand \Of {\lgx{E600}\relax} % Bunch Inclusion - \newcommand \In {\lgx{E602}\relax} % Set Membership - \newcommand \NotIn {\lgx{E603}\relax} % Set Membership Negated - \newcommand \Owns {\lgx{E606}\relax} % Set Owns Element - \newcommand \NotOwns {\lgx{E605}\relax} % Set Owns Element Negated - \newcommand \Cover {\lgx{E94D}\relax} % Cover - - \newcommand \VoidBunch {\lgx{E054}\relax} % Absent / Void Bunch - \newcommand \NullSet {\lgx{E053}\relax} % Empty / Null Set - \newcommand \BnchMeet {\lgx{E710}\relax} % Bunch Meet \newcommand \BnchJoin {\lgx{E711}\relax} % Bunch Join @@ -971,8 +994,8 @@ \newcommand \MapMeet {\lgx{E760}\relax} % Map Meet \newcommand \MapJoin {\lgx{E761}\relax} % Map Join - \newcommand \VeeMeet {\lgx{EAF6}\relax} % V Meet - \newcommand \VeeJoin {\lgx{EAF7}\relax} % V Join + \newcommand \VeeMeet {\lgx{EAF6}\relax} % Vee Meet + \newcommand \VeeJoin {\lgx{EAF7}\relax} % Vee Join \newcommand \StrctSbmap {\lgx{E768}\relax} % Strict Submap \newcommand \NotStrctSbmap {\lgx{E769}\relax} % Strict Submap Negated @@ -988,6 +1011,7 @@ \newcommand \NotStrctSbset {\lgx{E799}\relax} % Strict Subset Negated \newcommand \Sbset {\lgx{E79A}\relax} % Subset \newcommand \NotSbset {\lgx{E79B}\relax} % Subset Negated + \newcommand \Cover {\lgx{E94D}\relax} % Cover \newcommand \StrctFntSbset {\lgx{E678}\relax} % Strict Finite Subset \newcommand \NotStrctFntSbset {\lgx{E679}\relax} % Strict Finite Subset Negated @@ -999,19 +1023,58 @@ \newcommand \QuantSetMeet {\lgx{E893}\relax} % Set Intersection Quantifier \newcommand \QuantSetJoin {\lgx{E892}\relax} % Set Union Quantifier + \newcommand \MulMap {\lgx{E079}\relax} % Multimap + \newcommand \NotMulMap {\lgx{E07A}\relax} % Not Multimap + \newcommand \MulMapInv {\lgx{E07B}\relax} % Inverted Multimap + \newcommand \NotMulMapInv {\lgx{E07C}\relax} % Not Inverted Multimap + \newcommand \MulMapDual {\lgx{E07D}\relax} % Dual Multimap + \newcommand \NotMulMapDual {\lgx{E07E}\relax} % Not Dual Multimap + \newcommand \Ls {\lgx{E6A8}\relax} % Less Than \newcommand \Lse {\lgx{E6AA}\relax} % Less Than or Equal \newcommand \Eq {\lgx{E656}\relax} % Equal \newcommand \Sm {\lgx{E658}\relax} % Similar - \newcommand \Gr {\lgx{E6AE}\relax} % Greater Than \newcommand \Gre {\lgx{E6AC}\relax} % Greater Than or Equal + \newcommand \Gr {\lgx{E6AE}\relax} % Greater Than \newcommand \NotLs {\lgx{E6A9}\relax} % Not Less Than \newcommand \NotLse {\lgx{E6AB}\relax} % Not Less Than or Equal \newcommand \NotEq {\lgx{E657}\relax} % Not Equal \newcommand \NotSm {\lgx{E659}\relax} % Not Similar - \newcommand \NotGr {\lgx{E6AF}\relax} % Not Greater Than \newcommand \NotGre {\lgx{E6AD}\relax} % Not Greater Than or Equal + \newcommand \NotGr {\lgx{E6AF}\relax} % Not Greater Than + + \newcommand \CircLs {\lgx{E6C0}\relax} % Circled Less Than + \newcommand \CircLse {\lgx{E6C1}\relax} % Circled Less Than or Equal + \newcommand \CircEq {\lgx{E6C2}\relax} % Circled Equal + \newcommand \CircSm {\lgx{E6C3}\relax} % Circled Similar + \newcommand \CircGre {\lgx{E6C4}\relax} % Circled Greater Than or Equal + \newcommand \CircGr {\lgx{E6C5}\relax} % Circled Greater Than + + \newcommand \SmCircPlus {\lgx{E11B}\relax} % Small Circled Plus + \newcommand \SmCircTimes {\lgx{E11C}\relax} % Small Circled Times + \newcommand \SmCircStar {\lgx{E11D}\relax} % Small Circled Star + + \newcommand \LgCircPlus {\lgx{E12B}\relax} % Large Circled Plus + \newcommand \LgCircTimes {\lgx{E12C}\relax} % Large Circled Times + \newcommand \LgCircStar {\lgx{E12D}\relax} % Large Circled Star + + \newcommand \SCoh {\lgx{E0F1}\relax} % Frown + \newcommand \SInCoh {\lgx{E0F2}\relax} % Smile + \newcommand \Coh {\lgx{E0F3}\relax} % Smile (bottom) and Frowm (top) + \newcommand \InCoh {\lgx{E0F4}\relax} % Frown (bottom) and Smile (top) + + \newcommand \AAnd {\lgx{E00E}\relax} % Additive AND + \newcommand \Mnd {\lgx{E293}\relax} % Multiplicitive AND + \newcommand \Aor {\lgx{E2C3}\relax} % Additive OR + \newcommand \Mor {\lgx{E00F}\relax} % Multiplicitive OR + \newcommand \OfCrse {\lgx{E01E}\relax} % Of Course + \newcommand \WhyNot {\lgx{E01F}\relax} % Why Not + \newcommand \Perp {\lgx{E0F7}\relax} % Perp + \newcommand \SimPerp {\lgx{E0F8}\relax} % Sim Perp + + \newcommand \QuantAAnd {\lgx{E0F9}\relax} % Quantified Additive And + \newcommand \QuantMor {\lgx{E0FA}\relax} % Quantified Multiplicative Or \newcommand \SbLs {\lgx{E688}\relax} % Slanted Bar Less Than \newcommand \SbLse {\lgx{E68A}\relax} % Slanted Bar Less Than or Equal @@ -1039,19 +1102,22 @@ \newcommand \MinusPlus {\lgx{E0CF}\relax} % Minus / Plus \newcommand \Asterick {\lgx{E0C4}\relax} % Asterick \newcommand \Divide {\lgx{E102}\relax} % Divide + \newcommand \Divd {\lgx{E0FB}\relax} % Divide \newcommand \Times {\lgx{E0C5}\relax} % Times + \newcommand \CircMinus {\lgx{E670}\relax} % Circled Minus + \newcommand \CircPls {\lgx{E671}\relax} % Circled Plus + \newcommand \CircPlusMinus {\lgx{E672}\relax} % Circled Plus / Minus + \newcommand \CircMinusPlus {\lgx{E673}\relax} % Circled Minus / Plus + \newcommand \CircAsterick {\lgx{E674}\relax} % Circled Asterick + \newcommand \CircDivide {\lgx{E675}\relax} % Circled Divide + \newcommand \CircDivd {\lgx{E676}\relax} % Circled Divide + \newcommand \CircTimes {\lgx{E677}\relax} % Circled Times + \newcommand \Append {\lgx{E0CB}\relax} % Append \newcommand \Concat {\lgx{E0CD}\relax} % Concatenation - - \newcommand \CircPlus {\lgx{E12B}\relax} % Large Circled Plus - \newcommand \CircTimes {\lgx{E12C}\relax} % Large Circled Times - \newcommand \CircStar {\lgx{E11D}\relax} % Circled Star - - \newcommand \Dagger {\lgx{E05B}\relax} % Single dagger - \newcommand \Ddagger {\lgx{E05C}\relax} % Double horizontal dagger - \newcommand \Daggerr {\lgx{E05D}\relax} % Double vertical dagger - \newcommand \Ddaggerr {\lgx{E05E}\relax} % Double horizontal and vertical dagger + \newcommand \Catenate {\lgx{E0C9}\relax} % Concatenation + \newcommand \Alt {\lgx{E08D}\relax} % Alternate % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1293,6 +1359,11 @@ \defineDelimiter{ClsDblBar} {F0A0} \defineDelimiter{OpnTrpBar} {F100} \defineDelimiter{ClsTrpBar} {F110} + \defineDelimiter{OpnDblCeil} {F180} + \defineDelimiter{ClsDblCeil} {F1A0} + \defineDelimiter{OpnDblFloor} {F190} + \defineDelimiter{ClsDblFloor} {F200} + \newcommand \OpnGrpBtm {\lgx{EBEC}} % OpnGrp bottom \newcommand \OpnGrpExt {\lgx{EBED}} % OpnGrp extender @@ -1553,6 +1624,18 @@ \newcommand \ClsTrpBarBtm {\lgx{F11C}} % ClsTrpBar bottom \newcommand \ClsTrpBarExt {\lgx{F11D}} % ClsTrpBar extender + \newcommand \OpnDblCeilExt {\lgx{F18C}} % OpnDblCeil extender + \newcommand \OpnDblCeilTop {\lgx{F18D}} % OpnDblCeil top + + \newcommand \ClsDblCeilExt {\lgx{F1AC}} % ClsDblCeil extender + \newcommand \ClsDblCeilTop {\lgx{F1AD}} % ClsDblCeil top + + \newcommand \OpnDblFloorBtm {\lgx{F19C}} % OpnDblFloor bottom + \newcommand \OpnDblFloorExt {\lgx{F19D}} % OpnDblFloor extender + + \newcommand \ClsDblFloorBtm {\lgx{F20C}} % ClsDblFloor bottom + \newcommand \ClsDblFloorExt {\lgx{F20D}} % ClsDblFloor extender + % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - % @@ -1858,6 +1941,11 @@ \newcommand \KntTDNBDRA {\lgk{E20E}} % Top dashed line, bottom dashed right arrow \newcommand \KntLDDARDN {\lgk{E20F}} % Left dashed down arrow, right dashed line + \newcommand \KntNNSpace {\lgk{E210}} % Full Width Space + \newcommand \KntNESpace {\lgk{E211}} % Three Quarter Width Space + \newcommand \KntNFSpace {\lgk{E212}} % Half Width Space + \newcommand \KntNQSpace {\lgk{E213}} % Quarter Width Space + \newcommand \KntTSNF {\lgf{E214}} % Top solid line, half height \newcommand \KntRSNF {\lgk{E215}} % Right solid line, half width \newcommand \KntBSNF {\lgf{E216}} % Bottom solid line, half height @@ -1940,351 +2028,351 @@ % Define geometric symbols, some of which are also used for mathematical operators. - \newcommand \BlackSquare {\lgx{E220}\relax} - \newcommand \BlackSquareRoundCorners {\lgx{E221}\relax} - \newcommand \BlackDiamond {\lgx{E222}\relax} - \newcommand \BlackCircle {\lgx{E223}\relax} - \newcommand \BlackRightTriangle {\lgx{E224}\relax} - \newcommand \BlackLeftTriangle {\lgx{E225}\relax} - \newcommand \BlackDownTriangle {\lgx{E226}\relax} - \newcommand \BlackUpTriangle {\lgx{E227}\relax} - \newcommand \BlackSmallCircle {\lgx{E228}\relax} - \newcommand \BlackVerySmallCircle {\lgx{E229}\relax} - \newcommand \BlackLozenge {\lgx{E22A}\relax} - \newcommand \BlackCurvedDiamond {\lgx{E22B}\relax} - \newcommand \BlackVerySmallSquare {\lgx{E22C}\relax} - \newcommand \BlackLeftArrowHead {\lgx{E22D}\relax} - \newcommand \BlackRightArrowHead {\lgx{E22E}\relax} - \newcommand \BlackRightCurvedArrowHead {\lgx{E22F}\relax} - - \newcommand \WhiteSquare {\lgx{E230}\relax} - \newcommand \WhiteSquareRoundCorners {\lgx{E231}\relax} - \newcommand \WhiteDiamond {\lgx{E232}\relax} - \newcommand \WhiteCircle {\lgx{E233}\relax} - \newcommand \WhiteRightTriangle {\lgx{E234}\relax} - \newcommand \WhiteLeftTriangle {\lgx{E235}\relax} - \newcommand \WhiteDownTriangle {\lgx{E236}\relax} - \newcommand \WhiteUpTriangle {\lgx{E237}\relax} - \newcommand \WhiteSmallCircle {\lgx{E238}\relax} - \newcommand \WhiteVerySmallCircle {\lgx{E239}\relax} - \newcommand \WhiteLozenge {\lgx{E23A}\relax} - \newcommand \WhiteCurvedDiamond {\lgx{E23B}\relax} - \newcommand \WhiteVerySmallSquare {\lgx{E23C}\relax} - \newcommand \WhiteLeftArrowHead {\lgx{E23D}\relax} - \newcommand \WhiteRightArrowHead {\lgx{E23E}\relax} - \newcommand \WhiteRightCurvedArrowHead {\lgx{E23F}\relax} - - \newcommand \OutlineSquare {\lgx{E240}\relax} - \newcommand \OutlineSquareRoundCorners {\lgx{E241}\relax} - \newcommand \OutlineDiamond {\lgx{E242}\relax} - \newcommand \OutlineCircle {\lgx{E243}\relax} - \newcommand \OutlineRightTriangle {\lgx{E244}\relax} - \newcommand \OutlineLeftTriangle {\lgx{E245}\relax} - \newcommand \OutlineDownTriangle {\lgx{E246}\relax} - \newcommand \OutlineUpTriangle {\lgx{E247}\relax} - \newcommand \OutlineSmallCircle {\lgx{E248}\relax} - \newcommand \OutlineVerySmallCircle {\lgx{E249}\relax} - \newcommand \OutlineLozenge {\lgx{E24A}\relax} - \newcommand \OutlineCurvedDiamond {\lgx{E24B}\relax} - \newcommand \OutlineVerySmallSquare {\lgx{E24C}\relax} - \newcommand \OutlineLeftArrowHead {\lgx{E24D}\relax} - \newcommand \OutlineRightArrowHead {\lgx{E24E}\relax} - \newcommand \OutlineRightCurvedArrowHead {\lgx{E24F}\relax} - - \newcommand \DottedSquare {\lgx{E250}\relax} - \newcommand \DottedSquareRoundCorners {\lgx{E251}\relax} - \newcommand \DottedDiamond {\lgx{E252}\relax} - \newcommand \DottedCircl {\lgx{E253}\relax} - \newcommand \DottedRightTriangle {\lgx{E254}\relax} - \newcommand \DottedLeftTriangle {\lgx{E255}\relax} - \newcommand \DottedDownTriangle {\lgx{E256}\relax} - \newcommand \DottedUpTriangle {\lgx{E257}\relax} - \newcommand \DottedSmallCircle {\lgx{E258}\relax} - \newcommand \DottedVerySmallCircle {\lgx{E259}\relax} - \newcommand \DottedLozenge {\lgx{E25A}\relax} - \newcommand \DottedCurvedDiamond {\lgx{E25B}\relax} - \newcommand \DottedVerySmallSquare {\lgx{E25C}\relax} - \newcommand \DottedLeftArrowHead {\lgx{E25D}\relax} - \newcommand \DottedRightArrowHead {\lgx{E25E}\relax} - \newcommand \DottedRightCurvedArrowHead {\lgx{E25F}\relax} - - \newcommand \WhiteSquareContainingBlackSquare {\lgx{E260}\relax} - \newcommand \WhiteSquareRoundCornersContainingBlackSquare {\lgx{E261}\relax} - \newcommand \WhiteDiamondContainingBlackDiamond {\lgx{E262}\relax} - \newcommand \WhiteCircleContainingBlackCircle {\lgx{E263}\relax} - \newcommand \WhiteRightTriangleContainingBlackRightTriangle {\lgx{E264}\relax} - \newcommand \WhiteLeftTriangleContainingBlackLeftTriangle {\lgx{E265}\relax} - \newcommand \WhiteDownTriangleContainingBlackDownTriangle {\lgx{E266}\relax} - \newcommand \WhiteUpTriangleContainingBlackUpTriangle {\lgx{E267}\relax} - \newcommand \WhiteSmallCircleContainingBlackCircle {\lgx{E268}\relax} - \newcommand \WhiteVerySmallCircleContainingBlackCircle {\lgx{E269}\relax} - \newcommand \WhiteLozengeContainingBlackLozenge {\lgx{E26A}\relax} - \newcommand \WhiteCurvedDiamondContainingBlackDiamond {\lgx{E26B}\relax} - \newcommand \WhiteVerySmallSquareContainingBlackSquare {\lgx{E26C}\relax} - \newcommand \WhiteReallySmallCircle {\lgx{E26D}\relax} - \newcommand \WhiteReallySmallSquare {\lgx{E26E}\relax} - \newcommand \WhiteReallySmallDiamond {\lgx{E26F}\relax} - - \newcommand \HorizontallyDividedSquare {\lgx{E270}\relax} - \newcommand \HorizontallyDividedSquareRoundCorners {\lgx{E271}\relax} - \newcommand \HorizontallyDividedDiamond {\lgx{E272}\relax} - \newcommand \HorizontallyDividedCircle {\lgx{E273}\relax} - \newcommand \HorizontallyDividedRightTriangle {\lgx{E274}\relax} - \newcommand \HorizontallyDividedLeftTriangle {\lgx{E275}\relax} - \newcommand \HorizontallyDividedDownTriangle {\lgx{E276}\relax} - \newcommand \HorizontallyDividedUpTriangle {\lgx{E277}\relax} - \newcommand \HorizontallyDividedSmallCircle {\lgx{E278}\relax} - \newcommand \HorizontallyDividedVerySmallCircle {\lgx{E279}\relax} - \newcommand \HorizontallyDividedLozenge {\lgx{E27A}\relax} - \newcommand \HorizontallyDividedCurvedDiamond {\lgx{E27B}\relax} - \newcommand \HorizontallyDividedVerySmallSquare {\lgx{E27C}\relax} - \newcommand \BlackReallySmallCircle {\lgx{E27D}\relax} - \newcommand \BlackReallySmallSquare {\lgx{E27E}\relax} - \newcommand \BlackReallySmallDiamond {\lgx{E27F}\relax} - - \newcommand \VerticallyDividedSquare {\lgx{E280}\relax} - \newcommand \VerticallyDividedSquareRoundCorners {\lgx{E281}\relax} - \newcommand \VerticallyDividedDiamond {\lgx{E282}\relax} - \newcommand \VerticallyDividedCircle {\lgx{E283}\relax} - \newcommand \VerticallyDividedRightTriangle {\lgx{E284}\relax} - \newcommand \VerticallyDividedLeftTriangle {\lgx{E285}\relax} - \newcommand \VerticallyDividedDownTriangle {\lgx{E286}\relax} - \newcommand \VerticallyDividedUpTriangle {\lgx{E287}\relax} - \newcommand \VerticallyDividedSmallCircle {\lgx{E288}\relax} - \newcommand \VerticallyDividedVerySmallCircle {\lgx{E289}\relax} - \newcommand \VerticallyDividedLozenge {\lgx{E28A}\relax} - \newcommand \VerticallyDividedCurvedDiamond {\lgx{E28B}\relax} - \newcommand \VerticallyDividedVerySmallSquare {\lgx{E28C}\relax} - - \newcommand \QuarteredSquare {\lgx{E290}\relax} - \newcommand \QuarteredSquareRoundCorners {\lgx{E291}\relax} - \newcommand \QuarteredDiamond {\lgx{E292}\relax} - \newcommand \QuarteredCircle {\lgx{E293}\relax} - \newcommand \QuarteredRightTriangle {\lgx{E294}\relax} - \newcommand \QuarteredLeftTriangle {\lgx{E295}\relax} - \newcommand \QuarteredDownTriangle {\lgx{E296}\relax} - \newcommand \QuarteredUpTriangle {\lgx{E297}\relax} - \newcommand \QuarteredSmallCircle {\lgx{E298}\relax} - \newcommand \QuarteredVerySmallCircle {\lgx{E299}\relax} - \newcommand \QuartedLozenge {\lgx{E29A}\relax} - \newcommand \QuarteredCurvedDiamond {\lgx{E29B}\relax} - \newcommand \QuarteredVerySmallSquare {\lgx{E29C}\relax} - - \newcommand \DownSlashedSquare {\lgx{E2A0}\relax} - \newcommand \DownSlashedSquareRoundCorners {\lgx{E2A1}\relax} - \newcommand \DownSlashedDiamond {\lgx{E2A2}\relax} - \newcommand \DownSlashedCircle {\lgx{E2A3}\relax} - \newcommand \DownSlashedRightTriangle {\lgx{E2A4}\relax} - \newcommand \DownSlashedLeftTriangle {\lgx{E2A5}\relax} - \newcommand \DownSlashedDownTriangle {\lgx{E2A6}\relax} - \newcommand \DownSlashedUpTriangle {\lgx{E2A7}\relax} - \newcommand \DownSlashedSmallCircle {\lgx{E2A8}\relax} - \newcommand \DownSlashedVerySmallCircle {\lgx{E2A9}\relax} - \newcommand \DownSlashedLozenge {\lgx{E2AA}\relax} - \newcommand \DownSlashedCurvedDiamond {\lgx{E2AB}\relax} - \newcommand \DownSlashedVerySmallSquare {\lgx{E2AC}\relax} - - \newcommand \UpSlashedSquare {\lgx{E2B0}\relax} - \newcommand \UpSlahsedSquareRoundCorners {\lgx{E2B1}\relax} - \newcommand \UpSlashedDiamond {\lgx{E2B2}\relax} - \newcommand \UpSlashedCircle {\lgx{E2B3}\relax} - \newcommand \UpSlashedRightTriangle {\lgx{E2B4}\relax} - \newcommand \UpSlashedLeftTriangle {\lgx{E2B5}\relax} - \newcommand \UpSlashedDownTriangle {\lgx{E2B6}\relax} - \newcommand \UpSlashedUpTriangle {\lgx{E2B7}\relax} - \newcommand \UpSlashedSmallCircle {\lgx{E2B8}\relax} - \newcommand \UpSlashedVerySmallCircle {\lgx{E2B9}\relax} - \newcommand \UpSlashedLozenge {\lgx{E2BA}\relax} - \newcommand \UpSlashedCurvedDiamond {\lgx{E2BB}\relax} - \newcommand \UpSlashedVerySmallSquare {\lgx{E2BC}\relax} - - \newcommand \CrossedSquare {\lgx{E2C0}\relax} - \newcommand \CrossedSquareRoundCorners {\lgx{E2C1}\relax} - \newcommand \CrossedDiamond {\lgx{E2C2}\relax} - \newcommand \CrossedCircle {\lgx{E2C3}\relax} - \newcommand \CrossedRightTriangle {\lgx{E2C4}\relax} - \newcommand \CrossedLeftTriangle {\lgx{E2C5}\relax} - \newcommand \CrossedDownTriangle {\lgx{E2C6}\relax} - \newcommand \CrossedUpTriangle {\lgx{E2C7}\relax} - \newcommand \CrossedSmallCircle {\lgx{E2C8}\relax} - \newcommand \CrossedVerySmallCircle {\lgx{E2C9}\relax} - \newcommand \CrossedLozenge {\lgx{E2CA}\relax} - \newcommand \CrossedCurvedDiamond {\lgx{E2CB}\relax} - \newcommand \CrossedVerySmallSquare {\lgx{E2CC}\relax} - - \newcommand \LBlackSquare {\lgx{E2D0}\relax} - \newcommand \LBlackSquareRoundCorners {\lgx{E2D1}\relax} - \newcommand \LBlackDiamond {\lgx{E2D2}\relax} - \newcommand \LBlackCircle {\lgx{E2D3}\relax} - \newcommand \LBlackRightTriangle {\lgx{E2D4}\relax} - \newcommand \LBlackLeftTriangle {\lgx{E2D5}\relax} - \newcommand \LBlackDownTriangle {\lgx{E2D6}\relax} - \newcommand \LBlackUpTriangle {\lgx{E2D7}\relax} - \newcommand \LBlackSmallCircle {\lgx{E2D8}\relax} - \newcommand \LBlackVerySmallCircle {\lgx{E2D9}\relax} - \newcommand \LBlackLozenge {\lgx{E2DA}\relax} - \newcommand \LBlackCurvedDiamond {\lgx{E2DB}\relax} - \newcommand \LBlackVerySmallSquare {\lgx{E2DC}\relax} - \newcommand \LBlackLeftArrowHead {\lgx{E2DD}\relax} - \newcommand \LBlackRightArrowHead {\lgx{E2DE}\relax} - \newcommand \LBlackRightCurvedArrowHead {\lgx{E2DF}\relax} - - \newcommand \LWhiteSquare {\lgx{E2E0}\relax} - \newcommand \LWhiteSquareRoundCorners {\lgx{E2E1}\relax} - \newcommand \LWhiteDiamond {\lgx{E2E2}\relax} - \newcommand \LWhiteCircle {\lgx{E2E3}\relax} - \newcommand \LWhiteRightTriangle {\lgx{E2E4}\relax} - \newcommand \LWhiteLeftTriangle {\lgx{E2E5}\relax} - \newcommand \LWhiteDownTriangle {\lgx{E2E6}\relax} - \newcommand \LWhiteUpTriangle {\lgx{E2E7}\relax} - \newcommand \LWhiteSmallCircle {\lgx{E2E8}\relax} - \newcommand \LWhiteVerySmallCircle {\lgx{E2E9}\relax} - \newcommand \LWhiteLozenge {\lgx{E2EA}\relax} - \newcommand \LWhiteCurvedDiamond {\lgx{E2EB}\relax} - \newcommand \LWhiteVerySmallSquare {\lgx{E2EC}\relax} - \newcommand \LWhiteLeftArrowHead {\lgx{E2ED}\relax} - \newcommand \LWhiteRightArrowHead {\lgx{E2EE}\relax} - \newcommand \LWhiteRightCurvedArrowHead {\lgx{E2EF}\relax} - - \newcommand \WhiteCircleA {\lgx{E3C0}\relax} - \newcommand \WhiteCircleB {\lgx{E3D0}\relax} - \newcommand \WhiteCircleC {\lgx{E3E0}\relax} - \newcommand \WhiteCircleD {\lgx{E3F0}\relax} - \newcommand \WhiteCircleE {\lgx{E400}\relax} - \newcommand \WhiteCircleF {\lgx{E410}\relax} - \newcommand \WhiteCircleG {\lgx{E420}\relax} - \newcommand \WhiteCircleH {\lgx{E430}\relax} - \newcommand \WhiteCircleI {\lgx{E440}\relax} - - \newcommand \BlackCircleA {\lgx{E3C8}\relax} - \newcommand \BlackCircleB {\lgx{E3D8}\relax} - \newcommand \BlackCircleC {\lgx{E3E8}\relax} - \newcommand \BlackCircleD {\lgx{E3F8}\relax} - \newcommand \BlackCircleE {\lgx{E408}\relax} - \newcommand \BlackCircleF {\lgx{E418}\relax} - \newcommand \BlackCircleG {\lgx{E428}\relax} - \newcommand \BlackCircleH {\lgx{E438}\relax} - \newcommand \BlackCircleI {\lgx{E448}\relax} - - \newcommand \WhiteSquareA {\lgx{E3C1}\relax} - \newcommand \WhiteSquareB {\lgx{E3D1}\relax} - \newcommand \WhiteSquareC {\lgx{E3E1}\relax} - \newcommand \WhiteSquareD {\lgx{E3F1}\relax} - \newcommand \WhiteSquareE {\lgx{E401}\relax} - \newcommand \WhiteSquareF {\lgx{E411}\relax} - \newcommand \WhiteSquareG {\lgx{E421}\relax} - \newcommand \WhiteSquareH {\lgx{E431}\relax} - \newcommand \WhiteSquareI {\lgx{E441}\relax} - - \newcommand \BlackSquareA {\lgx{E3C9}\relax} - \newcommand \BlackSquareB {\lgx{E3D9}\relax} - \newcommand \BlackSquareC {\lgx{E3E9}\relax} - \newcommand \BlackSquareD {\lgx{E3F9}\relax} - \newcommand \BlackSquareE {\lgx{E409}\relax} - \newcommand \BlackSquareF {\lgx{E419}\relax} - \newcommand \BlackSquareG {\lgx{E429}\relax} - \newcommand \BlackSquareH {\lgx{E439}\relax} - \newcommand \BlackSquareI {\lgx{E449}\relax} - - \newcommand \WhiteDiamondA {\lgx{E3C2}\relax} - \newcommand \WhiteDiamondB {\lgx{E3D2}\relax} - \newcommand \WhiteDiamondC {\lgx{E3E2}\relax} - \newcommand \WhiteDiamondD {\lgx{E3F2}\relax} - \newcommand \WhiteDiamondE {\lgx{E402}\relax} - \newcommand \WhiteDiamondF {\lgx{E412}\relax} - \newcommand \WhiteDiamondG {\lgx{E422}\relax} - \newcommand \WhiteDiamondH {\lgx{E432}\relax} - \newcommand \WhiteDiamondI {\lgx{E442}\relax} - - \newcommand \BlackDiamondA {\lgx{E3CA}\relax} - \newcommand \BlackDiamondB {\lgx{E3DA}\relax} - \newcommand \BlackDiamondC {\lgx{E3EA}\relax} - \newcommand \BlackDiamondD {\lgx{E3FA}\relax} - \newcommand \BlackDiamondE {\lgx{E40A}\relax} - \newcommand \BlackDiamondF {\lgx{E41A}\relax} - \newcommand \BlackDiamondG {\lgx{E42A}\relax} - \newcommand \BlackDiamondH {\lgx{E43A}\relax} - \newcommand \BlackDiamondI {\lgx{E44A}\relax} - - \newcommand \WhiteRightTriangleA {\lgx{E3C3}\relax} - \newcommand \WhiteRightTriangleB {\lgx{E3D3}\relax} - \newcommand \WhiteRightTriangleC {\lgx{E3E3}\relax} - \newcommand \WhiteRightTriangleD {\lgx{E3F3}\relax} - \newcommand \WhiteRightTriangleE {\lgx{E403}\relax} - \newcommand \WhiteRightTriangleF {\lgx{E413}\relax} - \newcommand \WhiteRightTriangleG {\lgx{E423}\relax} - \newcommand \WhiteRightTriangleH {\lgx{E433}\relax} - \newcommand \WhiteRightTriangleI {\lgx{E443}\relax} - - \newcommand \BlackRightTriangleA {\lgx{E3CB}\relax} - \newcommand \BlackRightTriangleB {\lgx{E3DB}\relax} - \newcommand \BlackRightTriangleC {\lgx{E3EB}\relax} - \newcommand \BlackRightTriangleD {\lgx{E3FB}\relax} - \newcommand \BlackRightTriangleE {\lgx{E40B}\relax} - \newcommand \BlackRightTriangleF {\lgx{E41B}\relax} - \newcommand \BlackRightTriangleG {\lgx{E42B}\relax} - \newcommand \BlackRightTriangleH {\lgx{E43B}\relax} - \newcommand \BlackRightTriangleI {\lgx{E44B}\relax} - - \newcommand \WhiteLeftTriangleA {\lgx{E3C4}\relax} - \newcommand \WhiteLeftTriangleB {\lgx{E3D4}\relax} - \newcommand \WhiteLeftTriangleC {\lgx{E3E4}\relax} - \newcommand \WhiteLeftTriangleD {\lgx{E3F4}\relax} - \newcommand \WhiteLeftTriangleE {\lgx{E404}\relax} - \newcommand \WhiteLeftTriangleF {\lgx{E414}\relax} - \newcommand \WhiteLeftTriangleG {\lgx{E424}\relax} - \newcommand \WhiteLeftTriangleH {\lgx{E434}\relax} - \newcommand \WhiteLeftTriangleI {\lgx{E444}\relax} - - \newcommand \BlackLeftTriangleA {\lgx{E3CC}\relax} - \newcommand \BlackLeftTriangleB {\lgx{E3DC}\relax} - \newcommand \BlackLeftTriangleC {\lgx{E3EC}\relax} - \newcommand \BlackLeftTriangleD {\lgx{E3FC}\relax} - \newcommand \BlackLeftTriangleE {\lgx{E40C}\relax} - \newcommand \BlackLeftTriangleF {\lgx{E41C}\relax} - \newcommand \BlackLeftTriangleG {\lgx{E42C}\relax} - \newcommand \BlackLeftTriangleH {\lgx{E43C}\relax} - \newcommand \BlackLeftTriangleI {\lgx{E44C}\relax} - - \newcommand \WhiteUpTriangleA {\lgx{E3C5}\relax} - \newcommand \WhiteUpTriangleB {\lgx{E3D5}\relax} - \newcommand \WhiteUpTriangleC {\lgx{E3E5}\relax} - \newcommand \WhiteUpTriangleD {\lgx{E3F5}\relax} - \newcommand \WhiteUpTriangleE {\lgx{E405}\relax} - \newcommand \WhiteUpTriangleF {\lgx{E415}\relax} - \newcommand \WhiteUpTriangleG {\lgx{E425}\relax} - \newcommand \WhiteUpTriangleH {\lgx{E435}\relax} - \newcommand \WhiteUpTriangleI {\lgx{E445}\relax} - - \newcommand \BlackUpTriangleA {\lgx{E3CD}\relax} - \newcommand \BlackUpTriangleB {\lgx{E3DD}\relax} - \newcommand \BlackUpTriangleC {\lgx{E3ED}\relax} - \newcommand \BlackUpTriangleD {\lgx{E3FD}\relax} - \newcommand \BlackUpTriangleE {\lgx{E40D}\relax} - \newcommand \BlackUpTriangleF {\lgx{E41D}\relax} - \newcommand \BlackUpTriangleG {\lgx{E42D}\relax} - \newcommand \BlackUpTriangleH {\lgx{E43D}\relax} - \newcommand \BlackUpTriangleI {\lgx{E44D}\relax} - - \newcommand \WhiteDownTriangleA {\lgx{E3C6}\relax} - \newcommand \WhiteDownTriangleB {\lgx{E3D6}\relax} - \newcommand \WhiteDownTriangleC {\lgx{E3E6}\relax} - \newcommand \WhiteDownTriangleD {\lgx{E3F6}\relax} - \newcommand \WhiteDownTriangleE {\lgx{E406}\relax} - \newcommand \WhiteDownTriangleF {\lgx{E416}\relax} - \newcommand \WhiteDownTriangleG {\lgx{E426}\relax} - \newcommand \WhiteDownTriangleH {\lgx{E436}\relax} - \newcommand \WhiteDownTriangleI {\lgx{E446}\relax} - - \newcommand \BlackDownTriangleA {\lgx{E3CE}\relax} - \newcommand \BlackDownTriangleB {\lgx{E3DE}\relax} - \newcommand \BlackDownTriangleC {\lgx{E3EE}\relax} - \newcommand \BlackDownTriangleD {\lgx{E3FE}\relax} - \newcommand \BlackDownTriangleE {\lgx{E40E}\relax} - \newcommand \BlackDownTriangleF {\lgx{E41E}\relax} - \newcommand \BlackDownTriangleG {\lgx{E42E}\relax} - \newcommand \BlackDownTriangleH {\lgx{E43E}\relax} - \newcommand \BlackDownTriangleI {\lgx{E44E}\relax} + \newcommand \BlackSquare {\lgx{E220}\relax} % Black Square + \newcommand \BlackSquareRoundCorners {\lgx{E221}\relax} % Black Square Round Corners + \newcommand \BlackDiamond {\lgx{E222}\relax} % Black Diamond + \newcommand \BlackCircle {\lgx{E223}\relax} % Black Circle + \newcommand \BlackRightTriangle {\lgx{E224}\relax} % Black Right Triangle + \newcommand \BlackLeftTriangle {\lgx{E225}\relax} % Black Left Triangle + \newcommand \BlackDownTriangle {\lgx{E226}\relax} % Black Down Triangle + \newcommand \BlackUpTriangle {\lgx{E227}\relax} % Black Up Triangle + \newcommand \BlackSmallCircle {\lgx{E228}\relax} % Black Small Circle + \newcommand \BlackVerySmallCircle {\lgx{E229}\relax} % Black Very Small Circle + \newcommand \BlackLozenge {\lgx{E22A}\relax} % Black Lozenge + \newcommand \BlackCurvedDiamond {\lgx{E22B}\relax} % Black Curved Diamond + \newcommand \BlackVerySmallSquare {\lgx{E22C}\relax} % Black Very Small Square + \newcommand \BlackLeftArrowHead {\lgx{E22D}\relax} % Black Left Arrow Head + \newcommand \BlackRightArrowHead {\lgx{E22E}\relax} % Black Right Arrow Head + \newcommand \BlackRightCurvedArrowHead {\lgx{E22F}\relax} % Black Right Curved Arrow Head + + \newcommand \WhiteSquare {\lgx{E230}\relax} % White Square + \newcommand \WhiteSquareRoundCorners {\lgx{E231}\relax} % White Square Round Corners + \newcommand \WhiteDiamond {\lgx{E232}\relax} % White Diamond + \newcommand \WhiteCircle {\lgx{E233}\relax} % White Circle + \newcommand \WhiteRightTriangle {\lgx{E234}\relax} % White Right Triangle + \newcommand \WhiteLeftTriangle {\lgx{E235}\relax} % White Left Triangle + \newcommand \WhiteDownTriangle {\lgx{E236}\relax} % White Down Triangle + \newcommand \WhiteUpTriangle {\lgx{E237}\relax} % White Up Triangle + \newcommand \WhiteSmallCircle {\lgx{E238}\relax} % White Small Circle + \newcommand \WhiteVerySmallCircle {\lgx{E239}\relax} % White Very Small Circle + \newcommand \WhiteLozenge {\lgx{E23A}\relax} % White Lozenge + \newcommand \WhiteCurvedDiamond {\lgx{E23B}\relax} % White Curved Diamond + \newcommand \WhiteVerySmallSquare {\lgx{E23C}\relax} % White Very Small Square + \newcommand \WhiteLeftArrowHead {\lgx{E23D}\relax} % White Left Arrow Head + \newcommand \WhiteRightArrowHead {\lgx{E23E}\relax} % White Right Arrow Head + \newcommand \WhiteRightCurvedArrowHead {\lgx{E23F}\relax} % White Right Curved Arrow Head + + \newcommand \OutlineSquare {\lgx{E240}\relax} % Outline Square + \newcommand \OutlineSquareRoundCorners {\lgx{E241}\relax} % Outline Square Round Corners + \newcommand \OutlineDiamond {\lgx{E242}\relax} % Outline Diamond + \newcommand \OutlineCircle {\lgx{E243}\relax} % Outline Circle + \newcommand \OutlineRightTriangle {\lgx{E244}\relax} % Outline Right Triangle + \newcommand \OutlineLeftTriangle {\lgx{E245}\relax} % Outline Left Triangle + \newcommand \OutlineDownTriangle {\lgx{E246}\relax} % Outline Down Triangle + \newcommand \OutlineUpTriangle {\lgx{E247}\relax} % Outline Up Triangle + \newcommand \OutlineSmallCircle {\lgx{E248}\relax} % Outline Small Circle + \newcommand \OutlineVerySmallCircle {\lgx{E249}\relax} % Outline Very Small Circle + \newcommand \OutlineLozenge {\lgx{E24A}\relax} % Outline Lozenge + \newcommand \OutlineCurvedDiamond {\lgx{E24B}\relax} % Outline Curved Diamond + \newcommand \OutlineVerySmallSquare {\lgx{E24C}\relax} % Outline Very Small Square + \newcommand \OutlineLeftArrowHead {\lgx{E24D}\relax} % Outline Left Arrow Head + \newcommand \OutlineRightArrowHead {\lgx{E24E}\relax} % Outline Right Arrow Head + \newcommand \OutlineRightCurvedArrowHead {\lgx{E24F}\relax} % Outline Right Curved Arrow Head + + \newcommand \DottedSquare {\lgx{E250}\relax} % Dotted Square + \newcommand \DottedSquareRoundCorners {\lgx{E251}\relax} % Dotted Square Round Corners + \newcommand \DottedDiamond {\lgx{E252}\relax} % Dotted Diamond + \newcommand \DottedCircl {\lgx{E253}\relax} % Dotted Circl + \newcommand \DottedRightTriangle {\lgx{E254}\relax} % Dotted Right Triangle + \newcommand \DottedLeftTriangle {\lgx{E255}\relax} % Dotted Left Triangle + \newcommand \DottedDownTriangle {\lgx{E256}\relax} % Dotted Down Triangle + \newcommand \DottedUpTriangle {\lgx{E257}\relax} % Dotted Up Triangle + \newcommand \DottedSmallCircle {\lgx{E258}\relax} % Dotted Small Circle + \newcommand \DottedVerySmallCircle {\lgx{E259}\relax} % Dotted Very Small Circle + \newcommand \DottedLozenge {\lgx{E25A}\relax} % Dotted Lozenge + \newcommand \DottedCurvedDiamond {\lgx{E25B}\relax} % Dotted Curved Diamond + \newcommand \DottedVerySmallSquare {\lgx{E25C}\relax} % Dotted Very Small Square + \newcommand \DottedLeftArrowHead {\lgx{E25D}\relax} % Dotted Left Arrow Head + \newcommand \DottedRightArrowHead {\lgx{E25E}\relax} % Dotted Right Arrow Head + \newcommand \DottedRightCurvedArrowHead {\lgx{E25F}\relax} % Dotted Right Curved Arrow Head + + \newcommand \WhiteSquareContainingBlackSquare {\lgx{E260}\relax} % White Square Containing Black Square + \newcommand \WhiteSquareRoundCornersContainingBlackSquare {\lgx{E261}\relax} % White Square Round Corners Containing Black Square + \newcommand \WhiteDiamondContainingBlackDiamond {\lgx{E262}\relax} % White Diamond Containing Black Diamond + \newcommand \WhiteCircleContainingBlackCircle {\lgx{E263}\relax} % White Circle Containing Black Circle + \newcommand \WhiteRightTriangleContainingBlackRightTriangle {\lgx{E264}\relax} % White Right Triangle Containing Black Right Triangle + \newcommand \WhiteLeftTriangleContainingBlackLeftTriangle {\lgx{E265}\relax} % White Left Triangle Containing Black Left Triangle + \newcommand \WhiteDownTriangleContainingBlackDownTriangle {\lgx{E266}\relax} % White Down Triangle Containing Black Down Triangle + \newcommand \WhiteUpTriangleContainingBlackUpTriangle {\lgx{E267}\relax} % White Up Triangle Containing Black Up Triangle + \newcommand \WhiteSmallCircleContainingBlackCircle {\lgx{E268}\relax} % White Small Circle Containing Black Circle + \newcommand \WhiteVerySmallCircleContainingBlackCircle {\lgx{E269}\relax} % White Very Small Circle Containing Black Circle + \newcommand \WhiteLozengeContainingBlackLozenge {\lgx{E26A}\relax} % White Lozenge Containing Black Lozenge + \newcommand \WhiteCurvedDiamondContainingBlackDiamond {\lgx{E26B}\relax} % White Curved Diamond Containing Black Diamond + \newcommand \WhiteVerySmallSquareContainingBlackSquare {\lgx{E26C}\relax} % White Very Small Square Containing Black Square + \newcommand \WhiteReallySmallCircle {\lgx{E26D}\relax} % White Really Small Circle + \newcommand \WhiteReallySmallSquare {\lgx{E26E}\relax} % White Really Small Square + \newcommand \WhiteReallySmallDiamond {\lgx{E26F}\relax} % White Really Small Diamond + + \newcommand \HorizontallyDividedSquare {\lgx{E270}\relax} % Horizontally Divided Square + \newcommand \HorizontallyDividedSquareRoundCorners {\lgx{E271}\relax} % Horizontally Divided Square Round Corners + \newcommand \HorizontallyDividedDiamond {\lgx{E272}\relax} % Horizontally Divided Diamond + \newcommand \HorizontallyDividedCircle {\lgx{E273}\relax} % Horizontally Divided Circle + \newcommand \HorizontallyDividedRightTriangle {\lgx{E274}\relax} % Horizontally Divided Right Triangle + \newcommand \HorizontallyDividedLeftTriangle {\lgx{E275}\relax} % Horizontally Divided Left Triangle + \newcommand \HorizontallyDividedDownTriangle {\lgx{E276}\relax} % Horizontally Divided Down Triangle + \newcommand \HorizontallyDividedUpTriangle {\lgx{E277}\relax} % Horizontally Divided Up Triangle + \newcommand \HorizontallyDividedSmallCircle {\lgx{E278}\relax} % Horizontally Divided Small Circle + \newcommand \HorizontallyDividedVerySmallCircle {\lgx{E279}\relax} % Horizontally Divided Very Small Circle + \newcommand \HorizontallyDividedLozenge {\lgx{E27A}\relax} % Horizontally Divided Lozenge + \newcommand \HorizontallyDividedCurvedDiamond {\lgx{E27B}\relax} % Horizontally Divided Curved Diamond + \newcommand \HorizontallyDividedVerySmallSquare {\lgx{E27C}\relax} % Horizontally Divided Very Small Square + \newcommand \BlackReallySmallCircle {\lgx{E27D}\relax} % Black Really Small Circle + \newcommand \BlackReallySmallSquare {\lgx{E27E}\relax} % Black Really Small Square + \newcommand \BlackReallySmallDiamond {\lgx{E27F}\relax} % Black Really Small Diamond + + \newcommand \VerticallyDividedSquare {\lgx{E280}\relax} % Vertically Divided Square + \newcommand \VerticallyDividedSquareRoundCorners {\lgx{E281}\relax} % Vertically Divided Square Round Corners + \newcommand \VerticallyDividedDiamond {\lgx{E282}\relax} % Vertically Divided Diamond + \newcommand \VerticallyDividedCircle {\lgx{E283}\relax} % Vertically Divided Circle + \newcommand \VerticallyDividedRightTriangle {\lgx{E284}\relax} % Vertically Divided Right Triangle + \newcommand \VerticallyDividedLeftTriangle {\lgx{E285}\relax} % Vertically Divided Left Triangle + \newcommand \VerticallyDividedDownTriangle {\lgx{E286}\relax} % Vertically Divided Down Triangle + \newcommand \VerticallyDividedUpTriangle {\lgx{E287}\relax} % Vertically Divided Up Triangle + \newcommand \VerticallyDividedSmallCircle {\lgx{E288}\relax} % Vertically Divided Small Circle + \newcommand \VerticallyDividedVerySmallCircle {\lgx{E289}\relax} % Vertically Divided Very Small Circle + \newcommand \VerticallyDividedLozenge {\lgx{E28A}\relax} % Vertically Divided Lozenge + \newcommand \VerticallyDividedCurvedDiamond {\lgx{E28B}\relax} % Vertically Divided Curved Diamond + \newcommand \VerticallyDividedVerySmallSquare {\lgx{E28C}\relax} % Vertically Divided Very Small Square + + \newcommand \QuarteredSquare {\lgx{E290}\relax} % Quartered Square + \newcommand \QuarteredSquareRoundCorners {\lgx{E291}\relax} % Quartered Square Round Corners + \newcommand \QuarteredDiamond {\lgx{E292}\relax} % Quartered Diamond + \newcommand \QuarteredCircle {\lgx{E293}\relax} % Quartered Circle + \newcommand \QuarteredRightTriangle {\lgx{E294}\relax} % Quartered Right Triangle + \newcommand \QuarteredLeftTriangle {\lgx{E295}\relax} % Quartered Left Triangle + \newcommand \QuarteredDownTriangle {\lgx{E296}\relax} % Quartered Down Triangle + \newcommand \QuarteredUpTriangle {\lgx{E297}\relax} % Quartered Up Triangle + \newcommand \QuarteredSmallCircle {\lgx{E298}\relax} % Quartered Small Circle + \newcommand \QuarteredVerySmallCircle {\lgx{E299}\relax} % Quartered Very Small Circle + \newcommand \QuartedLozenge {\lgx{E29A}\relax} % Quartered Lozenge + \newcommand \QuarteredCurvedDiamond {\lgx{E29B}\relax} % Quartered Curved Diamond + \newcommand \QuarteredVerySmallSquare {\lgx{E29C}\relax} % Quartered Very Small Square + + \newcommand \DownSlashedSquare {\lgx{E2A0}\relax} % Down Slashed Square + \newcommand \DownSlashedSquareRoundCorners {\lgx{E2A1}\relax} % Down Slashed Square Round Corners + \newcommand \DownSlashedDiamond {\lgx{E2A2}\relax} % Down Slashed Diamond + \newcommand \DownSlashedCircle {\lgx{E2A3}\relax} % Down Slashed Circle + \newcommand \DownSlashedRightTriangle {\lgx{E2A4}\relax} % Down Slashed Right Triangle + \newcommand \DownSlashedLeftTriangle {\lgx{E2A5}\relax} % Down Slashed Left Triangle + \newcommand \DownSlashedDownTriangle {\lgx{E2A6}\relax} % Down Slashed Down Triangle + \newcommand \DownSlashedUpTriangle {\lgx{E2A7}\relax} % Down Slashed Up Triangle + \newcommand \DownSlashedSmallCircle {\lgx{E2A8}\relax} % Down Slashed Small Circle + \newcommand \DownSlashedVerySmallCircle {\lgx{E2A9}\relax} % Down Slashed Very Small Circle + \newcommand \DownSlashedLozenge {\lgx{E2AA}\relax} % Down Slashed Lozenge + \newcommand \DownSlashedCurvedDiamond {\lgx{E2AB}\relax} % Down Slashed Curved Diamond + \newcommand \DownSlashedVerySmallSquare {\lgx{E2AC}\relax} % Down Slashed Very Small Square + + \newcommand \UpSlashedSquare {\lgx{E2B0}\relax} % Up Slashed Square + \newcommand \UpSlahsedSquareRoundCorners {\lgx{E2B1}\relax} % Up SlahsedSquare Round Corners + \newcommand \UpSlashedDiamond {\lgx{E2B2}\relax} % Up Slashed Diamond + \newcommand \UpSlashedCircle {\lgx{E2B3}\relax} % Up Slashed Circle + \newcommand \UpSlashedRightTriangle {\lgx{E2B4}\relax} % Up Slashed Right Triangle + \newcommand \UpSlashedLeftTriangle {\lgx{E2B5}\relax} % Up Slashed Left Triangle + \newcommand \UpSlashedDownTriangle {\lgx{E2B6}\relax} % Up Slashed Down Triangle + \newcommand \UpSlashedUpTriangle {\lgx{E2B7}\relax} % Up Slashed Up Triangle + \newcommand \UpSlashedSmallCircle {\lgx{E2B8}\relax} % Up Slashed Small Circle + \newcommand \UpSlashedVerySmallCircle {\lgx{E2B9}\relax} % Up Slashed Very Small Circle + \newcommand \UpSlashedLozenge {\lgx{E2BA}\relax} % Up Slashed Lozenge + \newcommand \UpSlashedCurvedDiamond {\lgx{E2BB}\relax} % Up Slashed Curved Diamond + \newcommand \UpSlashedVerySmallSquare {\lgx{E2BC}\relax} % Up Slashed Very Small Square + + \newcommand \CrossedSquare {\lgx{E2C0}\relax} % Crossed Square + \newcommand \CrossedSquareRoundCorners {\lgx{E2C1}\relax} % Crossed Square Round Corners + \newcommand \CrossedDiamond {\lgx{E2C2}\relax} % Crossed Diamond + \newcommand \CrossedCircle {\lgx{E2C3}\relax} % Crossed Circle + \newcommand \CrossedRightTriangle {\lgx{E2C4}\relax} % Crossed Right Triangle + \newcommand \CrossedLeftTriangle {\lgx{E2C5}\relax} % Crossed Left Triangle + \newcommand \CrossedDownTriangle {\lgx{E2C6}\relax} % Crossed Down Triangle + \newcommand \CrossedUpTriangle {\lgx{E2C7}\relax} % Crossed Up Triangle + \newcommand \CrossedSmallCircle {\lgx{E2C8}\relax} % Crossed Small Circle + \newcommand \CrossedVerySmallCircle {\lgx{E2C9}\relax} % Crossed Very Small Circle + \newcommand \CrossedLozenge {\lgx{E2CA}\relax} % Crossed Lozenge + \newcommand \CrossedCurvedDiamond {\lgx{E2CB}\relax} % Crossed Curved Diamond + \newcommand \CrossedVerySmallSquare {\lgx{E2CC}\relax} % Crossed Very Small Square + + \newcommand \LBlackSquare {\lgx{E2D0}\relax} % LBlack Square + \newcommand \LBlackSquareRoundCorners {\lgx{E2D1}\relax} % LBlack Square Round Corners + \newcommand \LBlackDiamond {\lgx{E2D2}\relax} % LBlack Diamond + \newcommand \LBlackCircle {\lgx{E2D3}\relax} % LBlack Circle + \newcommand \LBlackRightTriangle {\lgx{E2D4}\relax} % LBlack Right Triangle + \newcommand \LBlackLeftTriangle {\lgx{E2D5}\relax} % LBlack Left Triangle + \newcommand \LBlackDownTriangle {\lgx{E2D6}\relax} % LBlack Down Triangle + \newcommand \LBlackUpTriangle {\lgx{E2D7}\relax} % LBlack Up Triangle + \newcommand \LBlackSmallCircle {\lgx{E2D8}\relax} % LBlack Small Circle + \newcommand \LBlackVerySmallCircle {\lgx{E2D9}\relax} % LBlack Very Small Circle + \newcommand \LBlackLozenge {\lgx{E2DA}\relax} % LBlack Lozenge + \newcommand \LBlackCurvedDiamond {\lgx{E2DB}\relax} % LBlack Curved Diamond + \newcommand \LBlackVerySmallSquare {\lgx{E2DC}\relax} % LBlack Very Small Square + \newcommand \LBlackLeftArrowHead {\lgx{E2DD}\relax} % LBlack Left Arrow Head + \newcommand \LBlackRightArrowHead {\lgx{E2DE}\relax} % LBlack Right Arrow Head + \newcommand \LBlackRightCurvedArrowHead {\lgx{E2DF}\relax} % LBlack Right Curved Arrow Head + + \newcommand \LWhiteSquare {\lgx{E2E0}\relax} % LWhite Square + \newcommand \LWhiteSquareRoundCorners {\lgx{E2E1}\relax} % LWhite Square Round Corners + \newcommand \LWhiteDiamond {\lgx{E2E2}\relax} % LWhite Diamond + \newcommand \LWhiteCircle {\lgx{E2E3}\relax} % LWhite Circle + \newcommand \LWhiteRightTriangle {\lgx{E2E4}\relax} % LWhite Right Triangle + \newcommand \LWhiteLeftTriangle {\lgx{E2E5}\relax} % LWhite Left Triangle + \newcommand \LWhiteDownTriangle {\lgx{E2E6}\relax} % LWhite Down Triangle + \newcommand \LWhiteUpTriangle {\lgx{E2E7}\relax} % LWhite Up Triangle + \newcommand \LWhiteSmallCircle {\lgx{E2E8}\relax} % LWhite Small Circle + \newcommand \LWhiteVerySmallCircle {\lgx{E2E9}\relax} % LWhite Very Small Circle + \newcommand \LWhiteLozenge {\lgx{E2EA}\relax} % LWhite Lozenge + \newcommand \LWhiteCurvedDiamond {\lgx{E2EB}\relax} % LWhite Curved Diamond + \newcommand \LWhiteVerySmallSquare {\lgx{E2EC}\relax} % LWhite Very Small Square + \newcommand \LWhiteLeftArrowHead {\lgx{E2ED}\relax} % LWhite Left Arrow Head + \newcommand \LWhiteRightArrowHead {\lgx{E2EE}\relax} % LWhite Right Arrow Head + \newcommand \LWhiteRightCurvedArrowHead {\lgx{E2EF}\relax} % LWhite Right Curved Arrow Head + + \newcommand \WhiteCircleA {\lgx{E3C0}\relax} % White Circle Size 0.20 em + \newcommand \WhiteCircleB {\lgx{E3D0}\relax} % White Circle Size 0.30 em + \newcommand \WhiteCircleC {\lgx{E3E0}\relax} % White Circle Size 0.40 em + \newcommand \WhiteCircleD {\lgx{E3F0}\relax} % White Circle Size 0.50 em + \newcommand \WhiteCircleE {\lgx{E400}\relax} % White Circle Size 0.60 em + \newcommand \WhiteCircleF {\lgx{E410}\relax} % White Circle Size 0.70 em + \newcommand \WhiteCircleG {\lgx{E420}\relax} % White Circle Size 0.80 em + \newcommand \WhiteCircleH {\lgx{E430}\relax} % White Circle Size 0.90 em + \newcommand \WhiteCircleI {\lgx{E440}\relax} % White Circle Size 1.00 em + + \newcommand \BlackCircleA {\lgx{E3C8}\relax} % Black Circle Size 0.20 em + \newcommand \BlackCircleB {\lgx{E3D8}\relax} % Black Circle Size 0.30 em + \newcommand \BlackCircleC {\lgx{E3E8}\relax} % Black Circle Size 0.40 em + \newcommand \BlackCircleD {\lgx{E3F8}\relax} % Black Circle Size 0.50 em + \newcommand \BlackCircleE {\lgx{E408}\relax} % Black Circle Size 0.60 em + \newcommand \BlackCircleF {\lgx{E418}\relax} % Black Circle Size 0.70 em + \newcommand \BlackCircleG {\lgx{E428}\relax} % Black Circle Size 0.80 em + \newcommand \BlackCircleH {\lgx{E438}\relax} % Black Circle Size 0.90 em + \newcommand \BlackCircleI {\lgx{E448}\relax} % Black Circle Size 1.00 em + + \newcommand \WhiteSquareA {\lgx{E3C1}\relax} % White Square Size 0.20 em + \newcommand \WhiteSquareB {\lgx{E3D1}\relax} % White Square Size 0.30 em + \newcommand \WhiteSquareC {\lgx{E3E1}\relax} % White Square Size 0.40 em + \newcommand \WhiteSquareD {\lgx{E3F1}\relax} % White Square Size 0.50 em + \newcommand \WhiteSquareE {\lgx{E401}\relax} % White Square Size 0.60 em + \newcommand \WhiteSquareF {\lgx{E411}\relax} % White Square Size 0.70 em + \newcommand \WhiteSquareG {\lgx{E421}\relax} % White Square Size 0.80 em + \newcommand \WhiteSquareH {\lgx{E431}\relax} % White Square Size 0.90 em + \newcommand \WhiteSquareI {\lgx{E441}\relax} % White Square Size 1.00 em + + \newcommand \BlackSquareA {\lgx{E3C9}\relax} % Black Square Size 0.20 em + \newcommand \BlackSquareB {\lgx{E3D9}\relax} % Black Square Size 0.30 em + \newcommand \BlackSquareC {\lgx{E3E9}\relax} % Black Square Size 0.40 em + \newcommand \BlackSquareD {\lgx{E3F9}\relax} % Black Square Size 0.50 em + \newcommand \BlackSquareE {\lgx{E409}\relax} % Black Square Size 0.60 em + \newcommand \BlackSquareF {\lgx{E419}\relax} % Black Square Size 0.70 em + \newcommand \BlackSquareG {\lgx{E429}\relax} % Black Square Size 0.80 em + \newcommand \BlackSquareH {\lgx{E439}\relax} % Black Square Size 0.90 em + \newcommand \BlackSquareI {\lgx{E449}\relax} % Black Square Size 1.00 em + + \newcommand \WhiteDiamondA {\lgx{E3C2}\relax} % White Diamond Size 0.20 em + \newcommand \WhiteDiamondB {\lgx{E3D2}\relax} % White Diamond Size 0.30 em + \newcommand \WhiteDiamondC {\lgx{E3E2}\relax} % White Diamond Size 0.40 em + \newcommand \WhiteDiamondD {\lgx{E3F2}\relax} % White Diamond Size 0.50 em + \newcommand \WhiteDiamondE {\lgx{E402}\relax} % White Diamond Size 0.60 em + \newcommand \WhiteDiamondF {\lgx{E412}\relax} % White Diamond Size 0.70 em + \newcommand \WhiteDiamondG {\lgx{E422}\relax} % White Diamond Size 0.80 em + \newcommand \WhiteDiamondH {\lgx{E432}\relax} % White Diamond Size 0.90 em + \newcommand \WhiteDiamondI {\lgx{E442}\relax} % White Diamond Size 1.00 em + + \newcommand \BlackDiamondA {\lgx{E3CA}\relax} % Black Diamond Size 0.20 em + \newcommand \BlackDiamondB {\lgx{E3DA}\relax} % Black Diamond Size 0.30 em + \newcommand \BlackDiamondC {\lgx{E3EA}\relax} % Black Diamond Size 0.40 em + \newcommand \BlackDiamondD {\lgx{E3FA}\relax} % Black Diamond Size 0.50 em + \newcommand \BlackDiamondE {\lgx{E40A}\relax} % Black Diamond Size 0.60 em + \newcommand \BlackDiamondF {\lgx{E41A}\relax} % Black Diamond Size 0.70 em + \newcommand \BlackDiamondG {\lgx{E42A}\relax} % Black Diamond Size 0.80 em + \newcommand \BlackDiamondH {\lgx{E43A}\relax} % Black Diamond Size 0.90 em + \newcommand \BlackDiamondI {\lgx{E44A}\relax} % Black Diamond Size 1.00 em + + \newcommand \WhiteRightTriangleA {\lgx{E3C3}\relax} % White Right Triangle Size 0.20 em + \newcommand \WhiteRightTriangleB {\lgx{E3D3}\relax} % White Right Triangle Size 0.30 em + \newcommand \WhiteRightTriangleC {\lgx{E3E3}\relax} % White Right Triangle Size 0.40 em + \newcommand \WhiteRightTriangleD {\lgx{E3F3}\relax} % White Right Triangle Size 0.50 em + \newcommand \WhiteRightTriangleE {\lgx{E403}\relax} % White Right Triangle Size 0.60 em + \newcommand \WhiteRightTriangleF {\lgx{E413}\relax} % White Right Triangle Size 0.70 em + \newcommand \WhiteRightTriangleG {\lgx{E423}\relax} % White Right Triangle Size 0.80 em + \newcommand \WhiteRightTriangleH {\lgx{E433}\relax} % White Right Triangle Size 0.90 em + \newcommand \WhiteRightTriangleI {\lgx{E443}\relax} % White Right Triangle Size 1.00 em + + \newcommand \BlackRightTriangleA {\lgx{E3CB}\relax} % Black Right Triangle Size 0.20 em + \newcommand \BlackRightTriangleB {\lgx{E3DB}\relax} % Black Right Triangle Size 0.30 em + \newcommand \BlackRightTriangleC {\lgx{E3EB}\relax} % Black Right Triangle Size 0.40 em + \newcommand \BlackRightTriangleD {\lgx{E3FB}\relax} % Black Right Triangle Size 0.50 em + \newcommand \BlackRightTriangleE {\lgx{E40B}\relax} % Black Right Triangle Size 0.60 em + \newcommand \BlackRightTriangleF {\lgx{E41B}\relax} % Black Right Triangle Size 0.70 em + \newcommand \BlackRightTriangleG {\lgx{E42B}\relax} % Black Right Triangle Size 0.80 em + \newcommand \BlackRightTriangleH {\lgx{E43B}\relax} % Black Right Triangle Size 0.90 em + \newcommand \BlackRightTriangleI {\lgx{E44B}\relax} % Black Right Triangle Size 1.00 em + + \newcommand \WhiteLeftTriangleA {\lgx{E3C4}\relax} % White Left Triangle Size 0.20 em + \newcommand \WhiteLeftTriangleB {\lgx{E3D4}\relax} % White Left Triangle Size 0.30 em + \newcommand \WhiteLeftTriangleC {\lgx{E3E4}\relax} % White Left Triangle Size 0.40 em + \newcommand \WhiteLeftTriangleD {\lgx{E3F4}\relax} % White Left Triangle Size 0.50 em + \newcommand \WhiteLeftTriangleE {\lgx{E404}\relax} % White Left Triangle Size 0.60 em + \newcommand \WhiteLeftTriangleF {\lgx{E414}\relax} % White Left Triangle Size 0.70 em + \newcommand \WhiteLeftTriangleG {\lgx{E424}\relax} % White Left Triangle Size 0.80 em + \newcommand \WhiteLeftTriangleH {\lgx{E434}\relax} % White Left Triangle Size 0.90 em + \newcommand \WhiteLeftTriangleI {\lgx{E444}\relax} % White Left Triangle Size 1.00 em + + \newcommand \BlackLeftTriangleA {\lgx{E3CC}\relax} % Black Left Triangle Size 0.20 em + \newcommand \BlackLeftTriangleB {\lgx{E3DC}\relax} % Black Left Triangle Size 0.30 em + \newcommand \BlackLeftTriangleC {\lgx{E3EC}\relax} % Black Left Triangle Size 0.40 em + \newcommand \BlackLeftTriangleD {\lgx{E3FC}\relax} % Black Left Triangle Size 0.50 em + \newcommand \BlackLeftTriangleE {\lgx{E40C}\relax} % Black Left Triangle Size 0.60 em + \newcommand \BlackLeftTriangleF {\lgx{E41C}\relax} % Black Left Triangle Size 0.70 em + \newcommand \BlackLeftTriangleG {\lgx{E42C}\relax} % Black Left Triangle Size 0.80 em + \newcommand \BlackLeftTriangleH {\lgx{E43C}\relax} % Black Left Triangle Size 0.90 em + \newcommand \BlackLeftTriangleI {\lgx{E44C}\relax} % Black Left Triangle Size 1.00 em + + \newcommand \WhiteUpTriangleA {\lgx{E3C5}\relax} % White Up Triangle Size 0.20 em + \newcommand \WhiteUpTriangleB {\lgx{E3D5}\relax} % White Up Triangle Size 0.30 em + \newcommand \WhiteUpTriangleC {\lgx{E3E5}\relax} % White Up Triangle Size 0.40 em + \newcommand \WhiteUpTriangleD {\lgx{E3F5}\relax} % White Up Triangle Size 0.50 em + \newcommand \WhiteUpTriangleE {\lgx{E405}\relax} % White Up Triangle Size 0.60 em + \newcommand \WhiteUpTriangleF {\lgx{E415}\relax} % White Up Triangle Size 0.70 em + \newcommand \WhiteUpTriangleG {\lgx{E425}\relax} % White Up Triangle Size 0.80 em + \newcommand \WhiteUpTriangleH {\lgx{E435}\relax} % White Up Triangle Size 0.90 em + \newcommand \WhiteUpTriangleI {\lgx{E445}\relax} % White Up Triangle Size 1.00 em + + \newcommand \BlackUpTriangleA {\lgx{E3CD}\relax} % Black Up Triangle Size 0.20 em + \newcommand \BlackUpTriangleB {\lgx{E3DD}\relax} % Black Up Triangle Size 0.30 em + \newcommand \BlackUpTriangleC {\lgx{E3ED}\relax} % Black Up Triangle Size 0.40 em + \newcommand \BlackUpTriangleD {\lgx{E3FD}\relax} % Black Up Triangle Size 0.50 em + \newcommand \BlackUpTriangleE {\lgx{E40D}\relax} % Black Up Triangle Size 0.60 em + \newcommand \BlackUpTriangleF {\lgx{E41D}\relax} % Black Up Triangle Size 0.70 em + \newcommand \BlackUpTriangleG {\lgx{E42D}\relax} % Black Up Triangle Size 0.80 em + \newcommand \BlackUpTriangleH {\lgx{E43D}\relax} % Black Up Triangle Size 0.90 em + \newcommand \BlackUpTriangleI {\lgx{E44D}\relax} % Black Up Triangle Size 1.00 em + + \newcommand \WhiteDownTriangleA {\lgx{E3C6}\relax} % White Down Triangle Size 0.20 em + \newcommand \WhiteDownTriangleB {\lgx{E3D6}\relax} % White Down Triangle Size 0.30 em + \newcommand \WhiteDownTriangleC {\lgx{E3E6}\relax} % White Down Triangle Size 0.40 em + \newcommand \WhiteDownTriangleD {\lgx{E3F6}\relax} % White Down Triangle Size 0.50 em + \newcommand \WhiteDownTriangleE {\lgx{E406}\relax} % White Down Triangle Size 0.60 em + \newcommand \WhiteDownTriangleF {\lgx{E416}\relax} % White Down Triangle Size 0.70 em + \newcommand \WhiteDownTriangleG {\lgx{E426}\relax} % White Down Triangle Size 0.80 em + \newcommand \WhiteDownTriangleH {\lgx{E436}\relax} % White Down Triangle Size 0.90 em + \newcommand \WhiteDownTriangleI {\lgx{E446}\relax} % White Down Triangle Size 1.00 em + + \newcommand \BlackDownTriangleA {\lgx{E3CE}\relax} % Black Down Triangle Size 0.20 em + \newcommand \BlackDownTriangleB {\lgx{E3DE}\relax} % Black Down Triangle Size 0.30 em + \newcommand \BlackDownTriangleC {\lgx{E3EE}\relax} % Black Down Triangle Size 0.40 em + \newcommand \BlackDownTriangleD {\lgx{E3FE}\relax} % Black Down Triangle Size 0.50 em + \newcommand \BlackDownTriangleE {\lgx{E40E}\relax} % Black Down Triangle Size 0.60 em + \newcommand \BlackDownTriangleF {\lgx{E41E}\relax} % Black Down Triangle Size 0.70 em + \newcommand \BlackDownTriangleG {\lgx{E42E}\relax} % Black Down Triangle Size 0.80 em + \newcommand \BlackDownTriangleH {\lgx{E43E}\relax} % Black Down Triangle Size 0.90 em + \newcommand \BlackDownTriangleI {\lgx{E44E}\relax} % Black Down Triangle Size 1.00 em % - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |