summaryrefslogtreecommitdiff
path: root/fonts/logix/tex/logix.sty
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/logix/tex/logix.sty')
-rw-r--r--fonts/logix/tex/logix.sty1176
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
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -