From 00e67dfd87c53faeafcf0c9e66c8c2c7a410fcb8 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Thu, 23 Jun 2022 03:00:50 +0000 Subject: CTAN sync 202206230300 --- fonts/logix/doc/logix.pdf | Bin 504805 -> 518207 bytes fonts/logix/doc/logix.tex | 659 ++++++++++++++++++++++++++-------------------- 2 files changed, 379 insertions(+), 280 deletions(-) (limited to 'fonts/logix/doc') diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf index da690c0bf7..a605b7aab1 100644 Binary files a/fonts/logix/doc/logix.pdf and b/fonts/logix/doc/logix.pdf differ diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex index c567ba202d..ff578bbded 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -101,7 +101,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2022-05-25 v1.12} + \section{Introduction: logix 2022-06-22 v1.13} The logix package provides the logix Unicode font and must be used either with \LuaLaTeX\ or \XeLaTeX. There are no available options. The Logix font contains @@ -178,14 +178,14 @@ mathematical variants, and so are not assigned the Unicode codepoints of the mathematical variants. - This package provides 35 stretchy delimiters, each of which has a left and right variant. - There is also a stretchy binding bar, commonly used with set notation. Of those 35 + This package provides 36 stretchy delimiters, each of which has a left and right variant. + There is also a stretchy binding bar, commonly used with set notation. Of those 36 delimiters, 4 are only stretchy up to a point (5 times original height). All of the remaining delimiters may be of arbitrary size. At this time, there are no horizontal - stretchy operators. However, the function arrow and the logic arrows have - five available lengths. If {\textbackslash}Delim is a stretchy symbol, then - {\textbackslash}DelimX (where X is A\textendash{L} or A\textendash{P}) are explicit - larger sizes of {\textbackslash}Delim. Additionally, {\textbackslash}DelimS is + stretchy operators. However, the map arrow, total function arrow, partial function + arrow and the logic arrows have five available lengths. If {\textbackslash}Delim is a + stretchy symbol, then {\textbackslash}DelimX (where X is A\textendash{L} or A\textendash{P}) + are explicit larger sizes of {\textbackslash}Delim. Additionally, {\textbackslash}DelimS is automatically stretchy, so the use of {\textbackslash}left, {\textbackslash}middle or {\textbackslash}right is not necessary. In the case of {\textbackslash}middle, a {\textbackslash}left and {\textbackslash}right are still required in the expression @@ -1014,19 +1014,11 @@ Monospaced text. Open Curly Circle Brace & {\textbackslash}OpnCircBrac & \scalebox{1.50}{\OpnCircBrac} \\ \hline Open Arrow Brace & {\textbackslash}OpnArrwBrac & \scalebox{1.50}{\OpnArrwBrac} \\ \hline Open Square Bracket & {\textbackslash}OpnBrkt & \scalebox{1.50}{\OpnBrkt} \\ \hline + Open Square Curly Bracket & {\textbackslash}OpnCrlyBrkt & \scalebox{1.50}{\OpnCrlyBrkt} \\ \hline Open Square Broken Bracket & {\textbackslash}OpnBrknBrkt & \scalebox{1.50}{\OpnBrknBrkt} \\ \hline Open Square Circle Bracket & {\textbackslash}OpnCircBrkt & \scalebox{1.50}{\OpnCircBrkt} \\ \hline - Open Square Curly Bracket & {\textbackslash}OpnCrlyBrkt & \scalebox{1.50}{\OpnCrlyBrkt} \\ \hline Open Tortoise Shell & {\textbackslash}OpnTortoise & \scalebox{1.50}{\OpnTortoise} \\ \hline Open Angle Bracket & {\textbackslash}OpnAngl & \scalebox{1.50}{\OpnAngl} \\ \hline - Open Curved Angle Bracket & {\textbackslash}OpnCurvAngl & \scalebox{1.50}{\OpnCurvAngl} \\ \hline - Open Ceiling & {\textbackslash}OpnCeil & \scalebox{1.50}{\OpnCeil} \\ \hline - Open Floor & {\textbackslash}OpnFloor & \scalebox{1.50}{\OpnFloor} \\ \hline - Open Turn & {\textbackslash}OpnTurn & \scalebox{1.50}{\OpnTurn} \\ \hline - Open Double Vertical Bar & {\textbackslash}OpnDblBar & \scalebox{1.50}{\OpnDblBar} \\ \hline - Open Triple Vertical Bar & {\textbackslash}OpnTrpBar & \scalebox{1.50}{\OpnTrpBar} \\ \hline - Open Double Group Brace & {\textbackslash}OpnDblGrp & \scalebox{1.50}{\OpnDblGrp} \\ \hline - Open Double Parenthesis & {\textbackslash}OpnDblParn & \scalebox{1.50}{\OpnDblParn} \\ \hline Open Double Curly Brace & {\textbackslash}OpnDblBrac & \scalebox{1.50}{\OpnDblBrac} \\ \hline Open Double Angle Bracket & {\textbackslash}OpnDblAngl & \scalebox{1.50}{\OpnDblAngl} \\ \hline Open Square Parenthesis & {\textbackslash}OpnSqrParn & \scalebox{1.50}{\OpnSqrParn} \\ \hline @@ -1035,12 +1027,22 @@ Monospaced text. Open Broken Brace with Bar & {\textbackslash}OpnBrknBracBar & \scalebox{1.50}{\OpnBrknBracBar} \\ \hline Open Circle Brace with Bar & {\textbackslash}OpnCircBracBar & \scalebox{1.50}{\OpnCircBracBar} \\ \hline Open Bracket with Bar & {\textbackslash}OpnBrktBar & \scalebox{1.50}{\OpnBrktBar} \\ \hline + Open Curly Bracket with Bar & {\textbackslash}OpnCrlyBrktBar & \scalebox{1.50}{\OpnCrlyBrktBar} \\ \hline Open Broken Bracket with Bar & {\textbackslash}OpnBrknBrktBar & \scalebox{1.50}{\OpnBrknBrktBar} \\ \hline Open Circle Bracket with Bar & {\textbackslash}OpnCircBrktBar & \scalebox{1.50}{\OpnCircBrktBar} \\ \hline - Open Curly Bracket with Bar & {\textbackslash}OpnCrlyBrktBar & \scalebox{1.50}{\OpnCrlyBrktBar} \\ \hline Open Tortoise Shell with Bar & {\textbackslash}OpnTortoiseBar & \scalebox{1.50}{\OpnTortoiseBar} \\ \hline Open Angle Bracket with Bar & {\textbackslash}OpnAnglBar & \scalebox{1.50}{\OpnAnglBar} \\ \hline + Open Curved Angle Bracket & {\textbackslash}OpnCurvAngl & \scalebox{1.50}{\OpnCurvAngl} \\ \hline + Open Double Parenthesis & {\textbackslash}OpnDblParn & \scalebox{1.50}{\OpnDblParn} \\ \hline + Open Ceiling & {\textbackslash}OpnCeil & \scalebox{1.50}{\OpnCeil} \\ \hline + Open Floor & {\textbackslash}OpnFloor & \scalebox{1.50}{\OpnFloor} \\ \hline + Open Turn & {\textbackslash}OpnTurn & \scalebox{1.50}{\OpnTurn} \\ \hline Open Context Quote & {\textbackslash}OpnCntx & \scalebox{1.50}{\OpnCntx} \\ \hline + Open Double Group Brace & {\textbackslash}OpnDblGrp & \scalebox{1.50}{\OpnDblGrp} \\ \hline + Open Double Vertical Bar & {\textbackslash}OpnDblBar & \scalebox{1.50}{\OpnDblBar} \\ \hline + Open Triple Vertical Bar & {\textbackslash}OpnTrpBar & \scalebox{1.50}{\OpnTrpBar} \\ \hline + Open Double Ceiling & {\textbackslash}OpnDblCeil & \scalebox{1.50}{\OpnDblCeil} \\ \hline + Open Double Floor & {\textbackslash}OpnDblFloor & \scalebox{1.50}{\OpnDblFloor} \\ \hline \end{symbolListA} \clearpage @@ -1053,19 +1055,11 @@ Monospaced text. Close Curly Circle Brace & {\textbackslash}ClsCircBrac & \scalebox{1.50}{\ClsCircBrac} \\ \hline Close Arrow Brace & {\textbackslash}ClsArrwBrac & \scalebox{1.50}{\ClsArrwBrac} \\ \hline Close Square Bracket & {\textbackslash}ClsBrkt & \scalebox{1.50}{\ClsBrkt} \\ \hline + Close Square Curly Bracket & {\textbackslash}ClsCrlyBrkt & \scalebox{1.50}{\ClsCrlyBrkt} \\ \hline Close Square Broken Bracket & {\textbackslash}ClsBrknBrkt & \scalebox{1.50}{\ClsBrknBrkt} \\ \hline Close Square Circle Bracket & {\textbackslash}ClsCircBrkt & \scalebox{1.50}{\ClsCircBrkt} \\ \hline - Close Square Curly Bracket & {\textbackslash}ClsCrlyBrkt & \scalebox{1.50}{\ClsCrlyBrkt} \\ \hline Close Tortoise Shell & {\textbackslash}ClsTortoise & \scalebox{1.50}{\ClsTortoise} \\ \hline Close Angle Bracket & {\textbackslash}ClsAngl & \scalebox{1.50}{\ClsAngl} \\ \hline - Close Curved Angle Bracket & {\textbackslash}ClsCurvAngl & \scalebox{1.50}{\ClsCurvAngl} \\ \hline - Close Ceiling & {\textbackslash}ClsCeil & \scalebox{1.50}{\ClsCeil} \\ \hline - Close Floor & {\textbackslash}ClsFloor & \scalebox{1.50}{\ClsFloor} \\ \hline - Close Turn & {\textbackslash}ClsTurn & \scalebox{1.50}{\ClsTurn} \\ \hline - Close Double Vertical Bar & {\textbackslash}ClsDblBar & \scalebox{1.50}{\ClsDblBar} \\ \hline - Close Triple Vertical Bar & {\textbackslash}ClsTrpBar & \scalebox{1.50}{\ClsTrpBar} \\ \hline - Close Double Group Brace & {\textbackslash}ClsDblGrp & \scalebox{1.50}{\ClsDblGrp} \\ \hline - Close Double Parenthesis & {\textbackslash}ClsDblParn & \scalebox{1.50}{\ClsDblParn} \\ \hline Close Double Curly Brace & {\textbackslash}ClsDblBrac & \scalebox{1.50}{\ClsDblBrac} \\ \hline Close Double Angle Bracket & {\textbackslash}ClsDblAngl & \scalebox{1.50}{\ClsDblAngl} \\ \hline Close Square Parenthesis & {\textbackslash}ClsSqrParn & \scalebox{1.50}{\ClsSqrParn} \\ \hline @@ -1074,12 +1068,22 @@ Monospaced text. Close Broken Brace with Bar & {\textbackslash}ClsBrknBracBar & \scalebox{1.50}{\ClsBrknBracBar} \\ \hline Close Circle Brace with Bar & {\textbackslash}ClsCircBracBar & \scalebox{1.50}{\ClsCircBracBar} \\ \hline Close Bracket with Bar & {\textbackslash}ClsBrktBar & \scalebox{1.50}{\ClsBrktBar} \\ \hline + Close Curly Bracket with Bar & {\textbackslash}ClsCrlyBrktBar & \scalebox{1.50}{\ClsCrlyBrktBar} \\ \hline Close Broken Bracket with Bar & {\textbackslash}ClsBrknBrktBar & \scalebox{1.50}{\ClsBrknBrktBar} \\ \hline Close Circle Bracket with Bar & {\textbackslash}ClsCircBrktBar & \scalebox{1.50}{\ClsCircBrktBar} \\ \hline - Close Curly Bracket with Bar & {\textbackslash}ClsCrlyBrktBar & \scalebox{1.50}{\ClsCrlyBrktBar} \\ \hline Close Tortoise Shell with Bar & {\textbackslash}ClsTortoiseBar & \scalebox{1.50}{\ClsTortoiseBar} \\ \hline Close Angle Bracket with Bar & {\textbackslash}ClsAnglBar & \scalebox{1.50}{\ClsAnglBar} \\ \hline + Close Curved Angle Bracket & {\textbackslash}ClsCurvAngl & \scalebox{1.50}{\ClsCurvAngl} \\ \hline + Close Double Parenthesis & {\textbackslash}ClsDblParn & \scalebox{1.50}{\ClsDblParn} \\ \hline + Close Ceiling & {\textbackslash}ClsCeil & \scalebox{1.50}{\ClsCeil} \\ \hline + Close Floor & {\textbackslash}ClsFloor & \scalebox{1.50}{\ClsFloor} \\ \hline + Close Turn & {\textbackslash}ClsTurn & \scalebox{1.50}{\ClsTurn} \\ \hline Close Context Quote & {\textbackslash}ClsCntx & \scalebox{1.50}{\ClsCntx} \\ \hline + Close Double Group Brace & {\textbackslash}ClsDblGrp & \scalebox{1.50}{\ClsDblGrp} \\ \hline + Close Double Vertical Bar & {\textbackslash}ClsDblBar & \scalebox{1.50}{\ClsDblBar} \\ \hline + Close Triple Vertical Bar & {\textbackslash}ClsTrpBar & \scalebox{1.50}{\ClsTrpBar} \\ \hline + Close Double Ceiling & {\textbackslash}ClsDblCeil & \scalebox{1.50}{\ClsDblCeil} \\ \hline + Close Double Floor & {\textbackslash}ClsDblFloor & \scalebox{1.50}{\ClsDblFloor} \\ \hline \end{symbolListA} \clearpage @@ -1113,7 +1117,6 @@ Monospaced text. Continuous, Total, Onto, Grounded, One-To-One Map & {\textbackslash}MapTotOnGndOne & \scalebox{1.50}{\MapTotOnGndOne} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Continuous, Partial, Into Multi-Function & {\textbackslash}FunParInMul & \scalebox{1.50}{\FunParInMul} \\ \hline Continuous, Partial, Into, Singleton Function & {\textbackslash}FunParInSng & \scalebox{1.50}{\FunParInSng} \\ \hline @@ -1129,6 +1132,7 @@ Monospaced text. Continuous, Partial, Onto, Grounded, One-To-One Function & {\textbackslash}FunParOnGndOne & \scalebox{1.50}{\FunParOnGndOne} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Continuous, Total, Into Multi-Function & {\textbackslash}FunTotInMul & \scalebox{1.50}{\FunTotInMul} \\ \hline Continuous, Total, Into, Singleton Function & {\textbackslash}FunTotInSng & \scalebox{1.50}{\FunTotInSng} \\ \hline @@ -1148,25 +1152,34 @@ Monospaced text. Short Maps To & {\textbackslash}SMapTo & \scalebox{1.50}{\SMapTo} \\ \hline Maps To & {\textbackslash}MapTo & \scalebox{1.50}{\MapTo} \\ \hline Long Maps To & {\textbackslash}LMapTo & \scalebox{1.50}{\LMapTo} \\ \hline - Extra LongMaps To & {\textbackslash}XMapTo & \scalebox{1.50}{\XMapTo} \\ \hline - Extra LongMaps To & {\textbackslash}VMapTo & \scalebox{1.50}{\VMapTo} \\ \hline + Extra Long Maps To & {\textbackslash}XMapTo & \scalebox{1.50}{\XMapTo} \\ \hline + Very Long Maps To & {\textbackslash}VMapTo & \scalebox{1.50}{\VMapTo} \\ \hline \end{symbolListA} \begin{symbolListA} - Short Function & {\textbackslash}SFunc & \scalebox{1.50}{\SFunc} \\ \hline - Function & {\textbackslash}Func & \scalebox{1.50}{\Func} \\ \hline - Long Function & {\textbackslash}LFunc & \scalebox{1.50}{\LFunc} \\ \hline - Extra LongFunction & {\textbackslash}XFunc & \scalebox{1.50}{\XFunc} \\ \hline - Extra LongFunction & {\textbackslash}VFunc & \scalebox{1.50}{\VFunc} \\ \hline + Short Total Function & {\textbackslash}SFunc & \scalebox{1.50}{\SFunc} \\ \hline + Total Function & {\textbackslash}Func & \scalebox{1.50}{\Func} \\ \hline + Long Total Function & {\textbackslash}LFunc & \scalebox{1.50}{\LFunc} \\ \hline + Extra Long Total Function & {\textbackslash}XFunc & \scalebox{1.50}{\XFunc} \\ \hline + Very Long Total Function & {\textbackslash}VFunc & \scalebox{1.50}{\VFunc} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Partial Function & {\textbackslash}SParFunc & \scalebox{1.50}{\SParFunc} \\ \hline + Partial Function & {\textbackslash}ParFunc & \scalebox{1.50}{\ParFunc} \\ \hline + Long Partial Function & {\textbackslash}LParFunc & \scalebox{1.50}{\LParFunc} \\ \hline + Extra Long Partial Function & {\textbackslash}XParFunc & \scalebox{1.50}{\XParFunc} \\ \hline + Very Long Partial Function & {\textbackslash}VParFunc & \scalebox{1.50}{\VParFunc} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Map Composition & {\textbackslash}MapComp & \scalebox{1.50}{\MapComp} \\ \hline - Function Composition & {\textbackslash}FncComp & \scalebox{1.50}{\FncComp} \\ \hline + Function / Backward Composition & {\textbackslash}FncComp & \scalebox{1.50}{\FncComp} \\ \hline + Forward Composition & {\textbackslash}ForComp & \scalebox{1.50}{\ForComp} \\ \hline Function Converse & {\textbackslash}FncCnvrs & \scalebox{1.50}{\FncCnvrs} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Classical Implication & {\textbackslash}ClsImpl & \scalebox{1.50}{\ClsImpl} \\ \hline Not Classical Implication & {\textbackslash}NotClsImpl & \scalebox{1.50}{\NotClsImpl} \\ \hline @@ -1175,231 +1188,231 @@ Monospaced text. \end{symbolListA} \begin{symbolListA} - Weak Material Implication & {\textbackslash}SWkMtImpl & \scalebox{1.50}{\SWkMtImpl} \\ \hline + Short Weak Material Implication & {\textbackslash}SWkMtImpl & \scalebox{1.50}{\SWkMtImpl} \\ \hline Weak Material Implication & {\textbackslash}WkMtImpl & \scalebox{1.50}{\WkMtImpl} \\ \hline - Weak Material Implication & {\textbackslash}LWkMtImpl & \scalebox{1.50}{\LWkMtImpl} \\ \hline - Weak Material Implication & {\textbackslash}XWkMtImpl & \scalebox{1.50}{\XWkMtImpl} \\ \hline - Weak Material Implication & {\textbackslash}VWkMtImpl & \scalebox{1.50}{\VWkMtImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Material Implication & {\textbackslash}SMtImpl & \scalebox{1.50}{\SMtImpl} \\ \hline + Long Weak Material Implication & {\textbackslash}LWkMtImpl & \scalebox{1.50}{\LWkMtImpl} \\ \hline + Extra Long Weak Material Implication & {\textbackslash}XWkMtImpl & \scalebox{1.50}{\XWkMtImpl} \\ \hline + Very Long Weak Material Implication & {\textbackslash}VWkMtImpl & \scalebox{1.50}{\VWkMtImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Material Implication & {\textbackslash}SMtImpl & \scalebox{1.50}{\SMtImpl} \\ \hline Material Implication & {\textbackslash}MtImpl & \scalebox{1.50}{\MtImpl} \\ \hline - Material Implication & {\textbackslash}LMtImpl & \scalebox{1.50}{\LMtImpl} \\ \hline - Material Implication & {\textbackslash}XMtImpl & \scalebox{1.50}{\XMtImpl} \\ \hline - Material Implication & {\textbackslash}VMtImpl & \scalebox{1.50}{\VMtImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Intuitionistic Implication & {\textbackslash}SInImpl & \scalebox{1.50}{\SInImpl} \\ \hline + Long Material Implication & {\textbackslash}LMtImpl & \scalebox{1.50}{\LMtImpl} \\ \hline + Extra Long Material Implication & {\textbackslash}XMtImpl & \scalebox{1.50}{\XMtImpl} \\ \hline + Very Long Material Implication & {\textbackslash}VMtImpl & \scalebox{1.50}{\VMtImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Intuitionistic Implication & {\textbackslash}SInImpl & \scalebox{1.50}{\SInImpl} \\ \hline Intuitionistic Implication & {\textbackslash}InImpl & \scalebox{1.50}{\InImpl} \\ \hline - Intuitionistic Implication & {\textbackslash}LInImpl & \scalebox{1.50}{\LInImpl} \\ \hline - Intuitionistic Implication & {\textbackslash}XInImpl & \scalebox{1.50}{\XInImpl} \\ \hline - Intuitionistic Implication & {\textbackslash}VInImpl & \scalebox{1.50}{\VInImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Weak Implication & {\textbackslash}SWkImpl & \scalebox{1.50}{\SWkImpl} \\ \hline + Long Intuitionistic Implication & {\textbackslash}LInImpl & \scalebox{1.50}{\LInImpl} \\ \hline + Extra Long Intuitionistic Implication & {\textbackslash}XInImpl & \scalebox{1.50}{\XInImpl} \\ \hline + Very Long Intuitionistic Implication & {\textbackslash}VInImpl & \scalebox{1.50}{\VInImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Weak Implication & {\textbackslash}SWkImpl & \scalebox{1.50}{\SWkImpl} \\ \hline Weak Implication & {\textbackslash}WkImpl & \scalebox{1.50}{\WkImpl} \\ \hline - Weak Implication & {\textbackslash}LWkImpl & \scalebox{1.50}{\LWkImpl} \\ \hline - Weak Implication & {\textbackslash}XWkImpl & \scalebox{1.50}{\XWkImpl} \\ \hline - Weak Implication & {\textbackslash}VWkImpl & \scalebox{1.50}{\VWkImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Implication & {\textbackslash}SImpl & \scalebox{1.50}{\SImpl} \\ \hline + Long Weak Implication & {\textbackslash}LWkImpl & \scalebox{1.50}{\LWkImpl} \\ \hline + Extra Long Weak Implication & {\textbackslash}XWkImpl & \scalebox{1.50}{\XWkImpl} \\ \hline + Very Long Weak Implication & {\textbackslash}VWkImpl & \scalebox{1.50}{\VWkImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Implication & {\textbackslash}SImpl & \scalebox{1.50}{\SImpl} \\ \hline Implication & {\textbackslash}Impl & \scalebox{1.50}{\Impl} \\ \hline - Implication & {\textbackslash}LImpl & \scalebox{1.50}{\LImpl} \\ \hline - Implication & {\textbackslash}XImpl & \scalebox{1.50}{\XImpl} \\ \hline - Implication & {\textbackslash}VImpl & \scalebox{1.50}{\VImpl} \\ \hline - \end{symbolListA} - - \clearpage - \begin{symbolListA} - Not Weak Material Implication & {\textbackslash}NotSWkMtImpl & \scalebox{1.50}{\NotSWkMtImpl} \\ \hline + Long Implication & {\textbackslash}LImpl & \scalebox{1.50}{\LImpl} \\ \hline + Extra Long Implication & {\textbackslash}XImpl & \scalebox{1.50}{\XImpl} \\ \hline + Very Long Implication & {\textbackslash}VImpl & \scalebox{1.50}{\VImpl} \\ \hline + \end{symbolListA} + + \clearpage + \begin{symbolListA} + Short Not Weak Material Implication & {\textbackslash}NotSWkMtImpl & \scalebox{1.50}{\NotSWkMtImpl} \\ \hline Not Weak Material Implication & {\textbackslash}NotWkMtImpl & \scalebox{1.50}{\NotWkMtImpl} \\ \hline - Not Weak Material Implication & {\textbackslash}NotLWkMtImpl & \scalebox{1.50}{\NotLWkMtImpl} \\ \hline - Not Weak Material Implication & {\textbackslash}NotXWkMtImpl & \scalebox{1.50}{\NotXWkMtImpl} \\ \hline - Not Weak Material Implication & {\textbackslash}NotVWkMtImpl & \scalebox{1.50}{\NotVWkMtImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Material Implication & {\textbackslash}NotSMtImpl & \scalebox{1.50}{\NotSMtImpl} \\ \hline + Long Not Weak Material Implication & {\textbackslash}NotLWkMtImpl & \scalebox{1.50}{\NotLWkMtImpl} \\ \hline + Extra Long Not Weak Material Implication & {\textbackslash}NotXWkMtImpl & \scalebox{1.50}{\NotXWkMtImpl} \\ \hline + Very Long Not Weak Material Implication & {\textbackslash}NotVWkMtImpl & \scalebox{1.50}{\NotVWkMtImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Material Implication & {\textbackslash}NotSMtImpl & \scalebox{1.50}{\NotSMtImpl} \\ \hline Not Material Implication & {\textbackslash}NotMtImpl & \scalebox{1.50}{\NotMtImpl} \\ \hline - Not Material Implication & {\textbackslash}NotLMtImpl & \scalebox{1.50}{\NotLMtImpl} \\ \hline - Not Material Implication & {\textbackslash}NotXMtImpl & \scalebox{1.50}{\NotXMtImpl} \\ \hline - Not Material Implication & {\textbackslash}NotVMtImpl & \scalebox{1.50}{\NotVMtImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Intuitionistic Implication & {\textbackslash}NotSInImpl & \scalebox{1.50}{\NotSInImpl} \\ \hline + Long Not Material Implication & {\textbackslash}NotLMtImpl & \scalebox{1.50}{\NotLMtImpl} \\ \hline + Extra Long Not Material Implication & {\textbackslash}NotXMtImpl & \scalebox{1.50}{\NotXMtImpl} \\ \hline + Very Long Not Material Implication & {\textbackslash}NotVMtImpl & \scalebox{1.50}{\NotVMtImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Intuitionistic Implication & {\textbackslash}NotSInImpl & \scalebox{1.50}{\NotSInImpl} \\ \hline Not Intuitionistic Implication & {\textbackslash}NotInImpl & \scalebox{1.50}{\NotInImpl} \\ \hline - Not Intuitionistic Implication & {\textbackslash}NotLInImpl & \scalebox{1.50}{\NotLInImpl} \\ \hline - Not Intuitionistic Implication & {\textbackslash}NotXInImpl & \scalebox{1.50}{\NotXInImpl} \\ \hline - Not Intuitionistic Implication & {\textbackslash}NotVInImpl & \scalebox{1.50}{\NotVInImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Weak Implication & {\textbackslash}NotSWkImpl & \scalebox{1.50}{\NotSWkImpl} \\ \hline + Long Not Intuitionistic Implication & {\textbackslash}NotLInImpl & \scalebox{1.50}{\NotLInImpl} \\ \hline + Extra Long Not Intuitionistic Implication & {\textbackslash}NotXInImpl & \scalebox{1.50}{\NotXInImpl} \\ \hline + Very Long Not Intuitionistic Implication & {\textbackslash}NotVInImpl & \scalebox{1.50}{\NotVInImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Weak Implication & {\textbackslash}NotSWkImpl & \scalebox{1.50}{\NotSWkImpl} \\ \hline Not Weak Implication & {\textbackslash}NotWkImpl & \scalebox{1.50}{\NotWkImpl} \\ \hline - Not Weak Implication & {\textbackslash}NotLWkImpl & \scalebox{1.50}{\NotLWkImpl} \\ \hline - Not Weak Implication & {\textbackslash}NotXWkImpl & \scalebox{1.50}{\NotXWkImpl} \\ \hline - Not Weak Implication & {\textbackslash}NotVWkImpl & \scalebox{1.50}{\NotVWkImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Implication & {\textbackslash}NotSImpl & \scalebox{1.50}{\NotSImpl} \\ \hline + Long Not Weak Implication & {\textbackslash}NotLWkImpl & \scalebox{1.50}{\NotLWkImpl} \\ \hline + Extra Long Not Weak Implication & {\textbackslash}NotXWkImpl & \scalebox{1.50}{\NotXWkImpl} \\ \hline + Very Long Not Weak Implication & {\textbackslash}NotVWkImpl & \scalebox{1.50}{\NotVWkImpl} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Implication & {\textbackslash}NotSImpl & \scalebox{1.50}{\NotSImpl} \\ \hline Not Implication & {\textbackslash}NotImpl & \scalebox{1.50}{\NotImpl} \\ \hline - Not Implication & {\textbackslash}NotLImpl & \scalebox{1.50}{\NotLImpl} \\ \hline - Not Implication & {\textbackslash}NotXImpl & \scalebox{1.50}{\NotXImpl} \\ \hline - Not Implication & {\textbackslash}NotVImpl & \scalebox{1.50}{\NotVImpl} \\ \hline - \end{symbolListA} - - \clearpage - \begin{symbolListA} - Weak Entailment & {\textbackslash}SWkEntail & \scalebox{1.50}{\SWkEntail} \\ \hline + Long Not Implication & {\textbackslash}NotLImpl & \scalebox{1.50}{\NotLImpl} \\ \hline + Extra Long Not Implication & {\textbackslash}NotXImpl & \scalebox{1.50}{\NotXImpl} \\ \hline + Very Long Not Implication & {\textbackslash}NotVImpl & \scalebox{1.50}{\NotVImpl} \\ \hline + \end{symbolListA} + + \clearpage + \begin{symbolListA} + Short Weak Entailment & {\textbackslash}SWkEntail & \scalebox{1.50}{\SWkEntail} \\ \hline Weak Entailment & {\textbackslash}WkEntail & \scalebox{1.50}{\WkEntail} \\ \hline - Weak Entailment & {\textbackslash}LWkEntail & \scalebox{1.50}{\LWkEntail} \\ \hline - Weak Entailment & {\textbackslash}XWkEntail & \scalebox{1.50}{\XWkEntail} \\ \hline - Weak Entailment & {\textbackslash}VWkEntail & \scalebox{1.50}{\VWkEntail} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Entailment & {\textbackslash}SEntail & \scalebox{1.50}{\SEntail} \\ \hline + Long Weak Entailment & {\textbackslash}LWkEntail & \scalebox{1.50}{\LWkEntail} \\ \hline + Extra Long Weak Entailment & {\textbackslash}XWkEntail & \scalebox{1.50}{\XWkEntail} \\ \hline + Very Long Weak Entailment & {\textbackslash}VWkEntail & \scalebox{1.50}{\VWkEntail} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Entailment & {\textbackslash}SEntail & \scalebox{1.50}{\SEntail} \\ \hline Entailment & {\textbackslash}Entail & \scalebox{1.50}{\Entail} \\ \hline - Entailment & {\textbackslash}LEntail & \scalebox{1.50}{\LEntail} \\ \hline - Entailment & {\textbackslash}XEntail & \scalebox{1.50}{\XEntail} \\ \hline - Entailment & {\textbackslash}VEntail & \scalebox{1.50}{\VEntail} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Weak Material Equivalence & {\textbackslash}SWkMtEquv & \scalebox{1.50}{\SWkMtEquv} \\ \hline + Long Entailment & {\textbackslash}LEntail & \scalebox{1.50}{\LEntail} \\ \hline + Extra Long Entailment & {\textbackslash}XEntail & \scalebox{1.50}{\XEntail} \\ \hline + Very Long Entailment & {\textbackslash}VEntail & \scalebox{1.50}{\VEntail} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Weak Material Equivalence & {\textbackslash}SWkMtEquv & \scalebox{1.50}{\SWkMtEquv} \\ \hline Weak Material Equivalence & {\textbackslash}WkMtEquv & \scalebox{1.50}{\WkMtEquv} \\ \hline - Weak Material Equivalence & {\textbackslash}LWkMtEquv & \scalebox{1.50}{\LWkMtEquv} \\ \hline - Weak Material Equivalence & {\textbackslash}XWkMtEquv & \scalebox{1.50}{\XWkMtEquv} \\ \hline - Weak Material Equivalence & {\textbackslash}VWkMtEquv & \scalebox{1.50}{\VWkMtEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Material Equivalence & {\textbackslash}SMtEquv & \scalebox{1.50}{\SMtEquv} \\ \hline + Long Weak Material Equivalence & {\textbackslash}LWkMtEquv & \scalebox{1.50}{\LWkMtEquv} \\ \hline + Extra Long Weak Material Equivalence & {\textbackslash}XWkMtEquv & \scalebox{1.50}{\XWkMtEquv} \\ \hline + Very Long Weak Material Equivalence & {\textbackslash}VWkMtEquv & \scalebox{1.50}{\VWkMtEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Material Equivalence & {\textbackslash}SMtEquv & \scalebox{1.50}{\SMtEquv} \\ \hline Material Equivalence & {\textbackslash}MtEquv & \scalebox{1.50}{\MtEquv} \\ \hline - Material Equivalence & {\textbackslash}LMtEquv & \scalebox{1.50}{\LMtEquv} \\ \hline - Material Equivalence & {\textbackslash}XMtEquv & \scalebox{1.50}{\XMtEquv} \\ \hline - Material Equivalence & {\textbackslash}VMtEquv & \scalebox{1.50}{\VMtEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Intuitionistic Equivalence & {\textbackslash}SInEquv & \scalebox{1.50}{\SInEquv} \\ \hline + Long Material Equivalence & {\textbackslash}LMtEquv & \scalebox{1.50}{\LMtEquv} \\ \hline + Extra Long Material Equivalence & {\textbackslash}XMtEquv & \scalebox{1.50}{\XMtEquv} \\ \hline + Very Long Material Equivalence & {\textbackslash}VMtEquv & \scalebox{1.50}{\VMtEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Intuitionistic Equivalence & {\textbackslash}SInEquv & \scalebox{1.50}{\SInEquv} \\ \hline Intuitionistic Equivalence & {\textbackslash}InEquv & \scalebox{1.50}{\InEquv} \\ \hline - Intuitionistic Equivalence & {\textbackslash}LInEquv & \scalebox{1.50}{\LInEquv} \\ \hline - Intuitionistic Equivalence & {\textbackslash}XInEquv & \scalebox{1.50}{\XInEquv} \\ \hline - Intuitionistic Equivalence & {\textbackslash}VInEquv & \scalebox{1.50}{\VInEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Weak Implication Equivalence & {\textbackslash}SWkEquv & \scalebox{1.50}{\SWkEquv} \\ \hline + Long Intuitionistic Equivalence & {\textbackslash}LInEquv & \scalebox{1.50}{\LInEquv} \\ \hline + Extra Long Intuitionistic Equivalence & {\textbackslash}XInEquv & \scalebox{1.50}{\XInEquv} \\ \hline + Very Long Intuitionistic Equivalence & {\textbackslash}VInEquv & \scalebox{1.50}{\VInEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Weak Implication Equivalence & {\textbackslash}SWkEquv & \scalebox{1.50}{\SWkEquv} \\ \hline Weak Implication Equivalence & {\textbackslash}WkEquv & \scalebox{1.50}{\WkEquv} \\ \hline - Weak Implication Equivalence & {\textbackslash}LWkEquv & \scalebox{1.50}{\LWkEquv} \\ \hline - Weak Implication Equivalence & {\textbackslash}XWkEquv & \scalebox{1.50}{\XWkEquv} \\ \hline - Weak Implication Equivalence & {\textbackslash}VWkEquv & \scalebox{1.50}{\VWkEquv} \\ \hline - \end{symbolListA} - - \clearpage - \begin{symbolListA} - Not Weak Entailment & {\textbackslash}NotSWkEntail & \scalebox{1.50}{\NotSWkEntail} \\ \hline + Long Weak Implication Equivalence & {\textbackslash}LWkEquv & \scalebox{1.50}{\LWkEquv} \\ \hline + Extra Long Weak Implication Equivalence & {\textbackslash}XWkEquv & \scalebox{1.50}{\XWkEquv} \\ \hline + Very Long Weak Implication Equivalence & {\textbackslash}VWkEquv & \scalebox{1.50}{\VWkEquv} \\ \hline + \end{symbolListA} + + \clearpage + \begin{symbolListA} + Short Not Weak Entailment & {\textbackslash}NotSWkEntail & \scalebox{1.50}{\NotSWkEntail} \\ \hline Not Weak Entailment & {\textbackslash}NotWkEntail & \scalebox{1.50}{\NotWkEntail} \\ \hline - Not Weak Entailment & {\textbackslash}NotLWkEntail & \scalebox{1.50}{\NotLWkEntail} \\ \hline - Not Weak Entailment & {\textbackslash}NotXWkEntail & \scalebox{1.50}{\NotXWkEntail} \\ \hline - Not Weak Entailment & {\textbackslash}NotVWkEntail & \scalebox{1.50}{\NotVWkEntail} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Entailment & {\textbackslash}NotSEntail & \scalebox{1.50}{\NotSEntail} \\ \hline + Long Not Weak Entailment & {\textbackslash}NotLWkEntail & \scalebox{1.50}{\NotLWkEntail} \\ \hline + Extra Long Not Weak Entailment & {\textbackslash}NotXWkEntail & \scalebox{1.50}{\NotXWkEntail} \\ \hline + Very Long Not Weak Entailment & {\textbackslash}NotVWkEntail & \scalebox{1.50}{\NotVWkEntail} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Entailment & {\textbackslash}NotSEntail & \scalebox{1.50}{\NotSEntail} \\ \hline Not Entailment & {\textbackslash}NotEntail & \scalebox{1.50}{\NotEntail} \\ \hline - Not Entailment & {\textbackslash}NotLEntail & \scalebox{1.50}{\NotLEntail} \\ \hline - Not Entailment & {\textbackslash}NotXEntail & \scalebox{1.50}{\NotXEntail} \\ \hline - Not Entailment & {\textbackslash}NotVEntail & \scalebox{1.50}{\NotVEntail} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Weak Material Equivalence & {\textbackslash}NotSWkMtEquv & \scalebox{1.50}{\NotSWkMtEquv} \\ \hline + Long Not Entailment & {\textbackslash}NotLEntail & \scalebox{1.50}{\NotLEntail} \\ \hline + Extra Long Not Entailment & {\textbackslash}NotXEntail & \scalebox{1.50}{\NotXEntail} \\ \hline + Very Long Not Entailment & {\textbackslash}NotVEntail & \scalebox{1.50}{\NotVEntail} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Weak Material Equivalence & {\textbackslash}NotSWkMtEquv & \scalebox{1.50}{\NotSWkMtEquv} \\ \hline Not Weak Material Equivalence & {\textbackslash}NotWkMtEquv & \scalebox{1.50}{\NotWkMtEquv} \\ \hline - Not Weak Material Equivalence & {\textbackslash}NotLWkMtEquv & \scalebox{1.50}{\NotLWkMtEquv} \\ \hline - Not Weak Material Equivalence & {\textbackslash}NotXWkMtEquv & \scalebox{1.50}{\NotXWkMtEquv} \\ \hline - Not Weak Material Equivalence & {\textbackslash}NotVWkMtEquv & \scalebox{1.50}{\NotVWkMtEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Material Equivalence & {\textbackslash}NotSMtEquv & \scalebox{1.50}{\NotSMtEquv} \\ \hline + Long Not Weak Material Equivalence & {\textbackslash}NotLWkMtEquv & \scalebox{1.50}{\NotLWkMtEquv} \\ \hline + Extra Long Not Weak Material Equivalence & {\textbackslash}NotXWkMtEquv & \scalebox{1.50}{\NotXWkMtEquv} \\ \hline + Very Long Not Weak Material Equivalence & {\textbackslash}NotVWkMtEquv & \scalebox{1.50}{\NotVWkMtEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Material Equivalence & {\textbackslash}NotSMtEquv & \scalebox{1.50}{\NotSMtEquv} \\ \hline Not Material Equivalence & {\textbackslash}NotMtEquv & \scalebox{1.50}{\NotMtEquv} \\ \hline - Not Material Equivalence & {\textbackslash}NotLMtEquv & \scalebox{1.50}{\NotLMtEquv} \\ \hline - Not Material Equivalence & {\textbackslash}NotXMtEquv & \scalebox{1.50}{\NotXMtEquv} \\ \hline - Not Material Equivalence & {\textbackslash}NotVMtEquv & \scalebox{1.50}{\NotVMtEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Intuitionistic Equivalence & {\textbackslash}NotSInEquv & \scalebox{1.50}{\NotSInEquv} \\ \hline + Long Not Material Equivalence & {\textbackslash}NotLMtEquv & \scalebox{1.50}{\NotLMtEquv} \\ \hline + Extra Long Not Material Equivalence & {\textbackslash}NotXMtEquv & \scalebox{1.50}{\NotXMtEquv} \\ \hline + Very Long Not Material Equivalence & {\textbackslash}NotVMtEquv & \scalebox{1.50}{\NotVMtEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Intuitionistic Equivalence & {\textbackslash}NotSInEquv & \scalebox{1.50}{\NotSInEquv} \\ \hline Not Intuitionistic Equivalence & {\textbackslash}NotInEquv & \scalebox{1.50}{\NotInEquv} \\ \hline - Not Intuitionistic Equivalence & {\textbackslash}NotLInEquv & \scalebox{1.50}{\NotLInEquv} \\ \hline - Not Intuitionistic Equivalence & {\textbackslash}NotXInEquv & \scalebox{1.50}{\NotXInEquv} \\ \hline - Not Intuitionistic Equivalence & {\textbackslash}NotVInEquv & \scalebox{1.50}{\NotVInEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Weak Implication Equivalence & {\textbackslash}NotSWkEquv & \scalebox{1.50}{\NotSWkEquv} \\ \hline + Long Not Intuitionistic Equivalence & {\textbackslash}NotLInEquv & \scalebox{1.50}{\NotLInEquv} \\ \hline + Extra Long Not Intuitionistic Equivalence & {\textbackslash}NotXInEquv & \scalebox{1.50}{\NotXInEquv} \\ \hline + Very Long Not Intuitionistic Equivalence & {\textbackslash}NotVInEquv & \scalebox{1.50}{\NotVInEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Weak Implication Equivalence & {\textbackslash}NotSWkEquv & \scalebox{1.50}{\NotSWkEquv} \\ \hline Not Weak Implication Equivalence & {\textbackslash}NotWkEquv & \scalebox{1.50}{\NotWkEquv} \\ \hline - Not Weak Implication Equivalence & {\textbackslash}NotLWkEquv & \scalebox{1.50}{\NotLWkEquv} \\ \hline - Not Weak Implication Equivalence & {\textbackslash}NotXWkEquv & \scalebox{1.50}{\NotXWkEquv} \\ \hline - Not Weak Implication Equivalence & {\textbackslash}NotVWkEquv & \scalebox{1.50}{\NotVWkEquv} \\ \hline - \end{symbolListA} - - \clearpage - \begin{symbolListA} - Implication Equivalence & {\textbackslash}SEquv & \scalebox{1.50}{\SEquv} \\ \hline + Long Not Weak Implication Equivalence & {\textbackslash}NotLWkEquv & \scalebox{1.50}{\NotLWkEquv} \\ \hline + Extra Long Not Weak Implication Equivalence & {\textbackslash}NotXWkEquv & \scalebox{1.50}{\NotXWkEquv} \\ \hline + Very Long Not Weak Implication Equivalence & {\textbackslash}NotVWkEquv & \scalebox{1.50}{\NotVWkEquv} \\ \hline + \end{symbolListA} + + \clearpage + \begin{symbolListA} + Short Implication Equivalence & {\textbackslash}SEquv & \scalebox{1.50}{\SEquv} \\ \hline Implication Equivalence & {\textbackslash}Equv & \scalebox{1.50}{\Equv} \\ \hline - Implication Equivalence & {\textbackslash}LEquv & \scalebox{1.50}{\LEquv} \\ \hline - Implication Equivalence & {\textbackslash}XEquv & \scalebox{1.50}{\XEquv} \\ \hline - Implication Equivalence & {\textbackslash}VEquv & \scalebox{1.50}{\VEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Weak Entailment Equivalence & {\textbackslash}SWkEntailEquv & \scalebox{1.50}{\SWkEntailEquv} \\ \hline + Long Implication Equivalence & {\textbackslash}LEquv & \scalebox{1.50}{\LEquv} \\ \hline + Extra Long Implication Equivalence & {\textbackslash}XEquv & \scalebox{1.50}{\XEquv} \\ \hline + Very Long Implication Equivalence & {\textbackslash}VEquv & \scalebox{1.50}{\VEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Weak Entailment Equivalence & {\textbackslash}SWkEntailEquv & \scalebox{1.50}{\SWkEntailEquv} \\ \hline Weak Entailment Equivalence & {\textbackslash}WkEntailEquv & \scalebox{1.50}{\WkEntailEquv} \\ \hline - Weak Entailment Equivalence & {\textbackslash}LWkEntailEquv & \scalebox{1.50}{\LWkEntailEquv} \\ \hline - Weak Entailment Equivalence & {\textbackslash}XWkEntailEquv & \scalebox{1.50}{\XWkEntailEquv} \\ \hline - Weak Entailment Equivalence & {\textbackslash}VWkEntailEquv & \scalebox{1.50}{\VWkEntailEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Entailment Equivalence & {\textbackslash}SEntailEquv & \scalebox{1.50}{\SEntailEquv} \\ \hline + Long Weak Entailment Equivalence & {\textbackslash}LWkEntailEquv & \scalebox{1.50}{\LWkEntailEquv} \\ \hline + Extra Long Weak Entailment Equivalence & {\textbackslash}XWkEntailEquv & \scalebox{1.50}{\XWkEntailEquv} \\ \hline + Very Long Weak Entailment Equivalence & {\textbackslash}VWkEntailEquv & \scalebox{1.50}{\VWkEntailEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Entailment Equivalence & {\textbackslash}SEntailEquv & \scalebox{1.50}{\SEntailEquv} \\ \hline Entailment Equivalence & {\textbackslash}EntailEquv & \scalebox{1.50}{\EntailEquv} \\ \hline - Entailment Equivalence & {\textbackslash}LEntailEquv & \scalebox{1.50}{\LEntailEquv} \\ \hline - Entailment Equivalence & {\textbackslash}XEntailEquv & \scalebox{1.50}{\XEntailEquv} \\ \hline - Entailment Equivalence & {\textbackslash}VEntailEquv & \scalebox{1.50}{\VEntailEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Implication Equivalence & {\textbackslash}NotSEquv & \scalebox{1.50}{\NotSEquv} \\ \hline + Long Entailment Equivalence & {\textbackslash}LEntailEquv & \scalebox{1.50}{\LEntailEquv} \\ \hline + Extra Long Entailment Equivalence & {\textbackslash}XEntailEquv & \scalebox{1.50}{\XEntailEquv} \\ \hline + Very Long Entailment Equivalence & {\textbackslash}VEntailEquv & \scalebox{1.50}{\VEntailEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Implication Equivalence & {\textbackslash}NotSEquv & \scalebox{1.50}{\NotSEquv} \\ \hline Not Implication Equivalence & {\textbackslash}NotEquv & \scalebox{1.50}{\NotEquv} \\ \hline - Not Implication Equivalence & {\textbackslash}NotLEquv & \scalebox{1.50}{\NotLEquv} \\ \hline - Not Implication Equivalence & {\textbackslash}NotXEquv & \scalebox{1.50}{\NotXEquv} \\ \hline - Not Implication Equivalence & {\textbackslash}NotVEquv & \scalebox{1.50}{\NotVEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Weak Entailment Equivalence & {\textbackslash}NotSWkEntailEquv & \scalebox{1.50}{\NotSWkEntailEquv} \\ \hline + Long Not Implication Equivalence & {\textbackslash}NotLEquv & \scalebox{1.50}{\NotLEquv} \\ \hline + Extra Long Not Implication Equivalence & {\textbackslash}NotXEquv & \scalebox{1.50}{\NotXEquv} \\ \hline + Very Long Not Implication Equivalence & {\textbackslash}NotVEquv & \scalebox{1.50}{\NotVEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Weak Entailment Equivalence & {\textbackslash}NotSWkEntailEquv & \scalebox{1.50}{\NotSWkEntailEquv} \\ \hline Not Weak Entailment Equivalence & {\textbackslash}NotWkEntailEquv & \scalebox{1.50}{\NotWkEntailEquv} \\ \hline - Not Weak Entailment Equivalence & {\textbackslash}NotLWkEntailEquv & \scalebox{1.50}{\NotLWkEntailEquv} \\ \hline - Not Weak Entailment Equivalence & {\textbackslash}NotXWkEntailEquv & \scalebox{1.50}{\NotXWkEntailEquv} \\ \hline - Not Weak Entailment Equivalence & {\textbackslash}NotVWkEntailEquv & \scalebox{1.50}{\NotVWkEntailEquv} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - Not Entailment Equivalence & {\textbackslash}NotSEntailEquv & \scalebox{1.50}{\NotSEntailEquv} \\ \hline + Long Not Weak Entailment Equivalence & {\textbackslash}NotLWkEntailEquv & \scalebox{1.50}{\NotLWkEntailEquv} \\ \hline + Extra Long Not Weak Entailment Equivalence & {\textbackslash}NotXWkEntailEquv & \scalebox{1.50}{\NotXWkEntailEquv} \\ \hline + Very Long Not Weak Entailment Equivalence & {\textbackslash}NotVWkEntailEquv & \scalebox{1.50}{\NotVWkEntailEquv} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Short Not Entailment Equivalence & {\textbackslash}NotSEntailEquv & \scalebox{1.50}{\NotSEntailEquv} \\ \hline Not Entailment Equivalence & {\textbackslash}NotEntailEquv & \scalebox{1.50}{\NotEntailEquv} \\ \hline - Not Entailment Equivalence & {\textbackslash}NotLEntailEquv & \scalebox{1.50}{\NotLEntailEquv} \\ \hline - Not Entailment Equivalence & {\textbackslash}NotXEntailEquv & \scalebox{1.50}{\NotXEntailEquv} \\ \hline - Not Entailment Equivalence & {\textbackslash}NotVEntailEquv & \scalebox{1.50}{\NotVEntailEquv} \\ \hline + Long Not Entailment Equivalence & {\textbackslash}NotLEntailEquv & \scalebox{1.50}{\NotLEntailEquv} \\ \hline + Extra Long Not Entailment Equivalence & {\textbackslash}NotXEntailEquv & \scalebox{1.50}{\NotXEntailEquv} \\ \hline + Very Long Not Entailment Equivalence & {\textbackslash}NotVEntailEquv & \scalebox{1.50}{\NotVEntailEquv} \\ \hline \end{symbolListA} \clearpage @@ -1485,27 +1498,38 @@ Monospaced text. Bitwise AND operator / Logical Conjunction & {\textbackslash}Nd & \scalebox{1.50}{\Nd} \\ \hline Bitwise OR operator / Logical Disjunction & {\textbackslash}Or & \scalebox{1.50}{\Or} \\ \hline Bitwise NOT operator / Logical Negation & {\textbackslash}Nt & \scalebox{1.50}{\Nt} \\ \hline + Bitwise NAND operator & {\textbackslash}Nand & \scalebox{1.50}{\Nand} \\ \hline + Bitwise NOR operator & {\textbackslash}Nor & \scalebox{1.50}{\Nor} \\ \hline + Bitwise XOR operator & {\textbackslash}Xor & \scalebox{1.50}{\Xor} \\ \hline Inverted Negation & {\textbackslash}InvNt & \scalebox{1.50}{\InvNt} \\ \hline Classical Logical Negation & {\textbackslash}Ngt & \scalebox{1.50}{\Ngt} \\ \hline Logical NAND & {\textbackslash}Lnand & \scalebox{1.50}{\Lnand} \\ \hline Logical NOR & {\textbackslash}Lnor & \scalebox{1.50}{\Lnor} \\ \hline Logical XOR & {\textbackslash}Mnd & \scalebox{1.50}{\Mnd} \\ \hline Sheffer's Stroke (Logical NAND) & {\textbackslash}Shfr & \scalebox{1.50}{\Shfr} \\ \hline - Bitwise NAND operator & {\textbackslash}Nand & \scalebox{1.50}{\Nand} \\ \hline - Bitwise NOR operator & {\textbackslash}Nor & \scalebox{1.50}{\Nor} \\ \hline - Bitwise XOR operator & {\textbackslash}Xor & \scalebox{1.50}{\Xor} \\ \hline \end{symbolListA} \begin{symbolListA} - Dotted Conjunction & {\textbackslash}Dnd & \scalebox{1.50}{\Dnd} \\ \hline - Dotted Disjunction & {\textbackslash}Dor & \scalebox{1.50}{\Dor} \\ \hline - Dotted Negation & {\textbackslash}Dnt & \scalebox{1.50}{\Dnt} \\ \hline - Dotted Asterisk & {\textbackslash}DAsterisk & \scalebox{1.50}{\DAsterisk} \\ \hline - Dotted Times & {\textbackslash}DTimes & \scalebox{1.50}{\DTimes} \\ \hline - Dotted Plus & {\textbackslash}DPlus & \scalebox{1.50}{\DPlus} \\ \hline - Dotted Minus & {\textbackslash}DMinus & \scalebox{1.50}{\DMinus} \\ \hline + Circled Bitwise AND operator / Logical Conjunction & {\textbackslash}CircNd & \scalebox{1.50}{\CircNd} \\ \hline + Circled Bitwise OR operator / Logical Disjunction & {\textbackslash}CircOr & \scalebox{1.50}{\CircOr} \\ \hline + Circled Bitwise NOT operator / Logical Negation & {\textbackslash}CircNt & \scalebox{1.50}{\CircNt} \\ \hline + Circled Bitwise NAND operator & {\textbackslash}CircNand & \scalebox{1.50}{\CircNand} \\ \hline + Circled Bitwise NOR operator & {\textbackslash}CircNor & \scalebox{1.50}{\CircNor} \\ \hline + Circled Bitwise XOR operator & {\textbackslash}CircXor & \scalebox{1.50}{\CircXor} \\ \hline + Circled Inverted Negation & {\textbackslash}CircInvNt & \scalebox{1.50}{\CircInvNt} \\ \hline + Circled Classical Logical Negation & {\textbackslash}CircNgt & \scalebox{1.50}{\CircNgt} \\ \hline \end{symbolListA} + \clearpage + \begin{symbolListA} + Dotted Conjunction & {\textbackslash}Dnd & \scalebox{1.50}{\Dnd} \\ \hline + Dotted Disjunction & {\textbackslash}Dor & \scalebox{1.50}{\Dor} \\ \hline + Dotted Negation & {\textbackslash}Dnt & \scalebox{1.50}{\Dnt} \\ \hline + Dotted Asterisk & {\textbackslash}DAsterisk & \scalebox{1.50}{\DAsterisk} \\ \hline + Dotted Times & {\textbackslash}DTimes & \scalebox{1.50}{\DTimes} \\ \hline + Dotted Plus & {\textbackslash}DPlus & \scalebox{1.50}{\DPlus} \\ \hline + Dotted Minus & {\textbackslash}DMinus & \scalebox{1.50}{\DMinus} \\ \hline + \end{symbolListA} \begin{symbolListA} Slanted Bar And & {\textbackslash}SbNd & \scalebox{1.50}{\SbNd} \\ \hline @@ -1518,17 +1542,7 @@ Monospaced text. \begin{symbolListA} Defines & {\textbackslash}Defn & \scalebox{1.50}{\Defn} \\ \hline Q.E.D. & {\textbackslash}Qed & \scalebox{1.50}{\Qed} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline - False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline - Not True & {\textbackslash}NTrue & \scalebox{1.50}{\NTrue} \\ \hline - Not False & {\textbackslash}NFalse & \scalebox{1.50}{\NFalse} \\ \hline - Lattice top & {\textbackslash}Top & \scalebox{1.50}{\Top} \\ \hline - Neither true nor false & {\textbackslash}TFNone & \scalebox{1.50}{\TFNone} \\ \hline - Both true and false & {\textbackslash}TFBoth & \scalebox{1.50}{\TFBoth} \\ \hline - Lattice bottom & {\textbackslash}Bot & \scalebox{1.50}{\Bot} \\ \hline + End Law & {\textbackslash}End & \scalebox{1.50}{\End} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1555,6 +1569,17 @@ Monospaced text. \end{symbolListA} \clearpage + \begin{symbolListA} + True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline + False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline + Not True & {\textbackslash}NTrue & \scalebox{1.50}{\NTrue} \\ \hline + Not False & {\textbackslash}NFalse & \scalebox{1.50}{\NFalse} \\ \hline + Lattice top & {\textbackslash}Top & \scalebox{1.50}{\Top} \\ \hline + Neither true nor false & {\textbackslash}TFNone & \scalebox{1.50}{\TFNone} \\ \hline + Both true and false & {\textbackslash}TFBoth & \scalebox{1.50}{\TFBoth} \\ \hline + Lattice bottom & {\textbackslash}Bot & \scalebox{1.50}{\Bot} \\ \hline + \end{symbolListA} + \begin{symbolListA} Zero width space & {\textbackslash}NoSpace & \scalebox{1.50}{\NoSpace} \\ \hline Dot & {\textbackslash}Dt & \scalebox{1.50}{\Dt} \\ \hline @@ -1581,8 +1606,10 @@ Monospaced text. Tilde & {\textbackslash}Tild & \scalebox{1.50}{\Tild} \\ \hline Left (back) slash & {\textbackslash}LeftSlash & \scalebox{1.50}{\LeftSlash} \\ \hline Right (forward) slash & {\textbackslash}RightSlash & \scalebox{1.50}{\RightSlash} \\ \hline + Copyright & {\textbackslash}Cpyrght & \scalebox{1.50}{\Cpyrght} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Single dagger & {\textbackslash}Dagger & \scalebox{1.50}{\Dagger} \\ \hline Double horizontal dagger & {\textbackslash}Ddagger & \scalebox{1.50}{\Ddagger} \\ \hline @@ -1597,7 +1624,6 @@ Monospaced text. Back quote (grave) & {\textbackslash}BackQuote & \scalebox{1.50}{\BackQuote} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Shift for superscripts & {\textbackslash}ShftSuper & \scalebox{1.50}{\ShftSuper} \\ \hline Shift for subscripts & {\textbackslash}ShftSubscr & \scalebox{1.50}{\ShftSubscr} \\ \hline @@ -1634,6 +1660,7 @@ Monospaced text. Replace Equivalent Expressions (left) & {\textbackslash}RplcEquvLeft & \scalebox{1.50}{\RplcEquvLeft} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Least Fixed Point & {\textbackslash}LstFix & \scalebox{1.50}{\LstFix} \\ \hline Greatest Fixed Point & {\textbackslash}GrtFix & \scalebox{1.50}{\GrtFix} \\ \hline @@ -1652,11 +1679,10 @@ Monospaced text. Set Owns Element & {\textbackslash}Owns & \scalebox{1.50}{\Owns} \\ \hline Set Owns Element Negated & {\textbackslash}NotOwns & \scalebox{1.50}{\NotOwns} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Absent / Void Bunch & {\textbackslash}VoidBunch & \scalebox{1.50}{\VoidBunch} \\ \hline - Null Set & {\textbackslash}NullSet & \scalebox{1.50}{\NullSet} \\ \hline + Empty / Null Set & {\textbackslash}NullSet & \scalebox{1.50}{\NullSet} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1679,6 +1705,7 @@ Monospaced text. Factual Non-contingency & {\textbackslash}FacNonCont & \scalebox{1.50}{\FacNonCont} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Deontic Necessity & {\textbackslash}DeoNec & \scalebox{1.50}{\DeoNec} \\ \hline Deontic Possibility & {\textbackslash}DeoPos & \scalebox{1.50}{\DeoPos} \\ \hline @@ -1699,15 +1726,14 @@ Monospaced text. Logical Non-contingency & {\textbackslash}LogNonCont & \scalebox{1.50}{\LogNonCont} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} - Doxastic Necessity & {\textbackslash}DoxNec & \scalebox{1.50}{\DoxNec} \\ \hline - Doxastic Possibility & {\textbackslash}DoxPos & \scalebox{1.50}{\DoxPos} \\ \hline - Doxastic Next & {\textbackslash}DoxNext & \scalebox{1.50}{\DoxNext} \\ \hline - Doxastic Future & {\textbackslash}DoxFutr & \scalebox{1.50}{\DoxFutr} \\ \hline - Doxastic Past & {\textbackslash}DoxPast & \scalebox{1.50}{\DoxPast} \\ \hline - Doxastic Contingency & {\textbackslash}DoxCont & \scalebox{1.50}{\DoxCont} \\ \hline - Doxastic Non-contingency & {\textbackslash}DoxNonCont & \scalebox{1.50}{\DoxNonCont} \\ \hline + Doxastic Necessity & {\textbackslash}DoxNec & \scalebox{1.50}{\DoxNec} \\ \hline + Doxastic Possibility & {\textbackslash}DoxPos & \scalebox{1.50}{\DoxPos} \\ \hline + Doxastic Next & {\textbackslash}DoxNext & \scalebox{1.50}{\DoxNext} \\ \hline + Doxastic Future & {\textbackslash}DoxFutr & \scalebox{1.50}{\DoxFutr} \\ \hline + Doxastic Past & {\textbackslash}DoxPast & \scalebox{1.50}{\DoxPast} \\ \hline + Doxastic Contingency & {\textbackslash}DoxCont & \scalebox{1.50}{\DoxCont} \\ \hline + Doxastic Non-contingency & {\textbackslash}DoxNonCont & \scalebox{1.50}{\DoxNonCont} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1725,6 +1751,7 @@ Monospaced text. Bunch Join & {\textbackslash}BnchJoin & \scalebox{1.50}{\BnchJoin} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Strict Subbunch & {\textbackslash}StrctSbnch & \scalebox{1.50}{\StrctSbnch} \\ \hline Strict Subbunch Negated & {\textbackslash}NotStrctSbnch & \scalebox{1.50}{\NotStrctSbnch} \\ \hline @@ -1756,7 +1783,6 @@ Monospaced text. Submap Negated & {\textbackslash}NotSbmap & \scalebox{1.50}{\NotSbmap} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Set Intersection & {\textbackslash}SetMeet & \scalebox{1.50}{\SetMeet} \\ \hline Set Union & {\textbackslash}SetJoin & \scalebox{1.50}{\SetJoin} \\ \hline @@ -1773,12 +1799,13 @@ Monospaced text. \end{symbolListA} \begin{symbolListA} - Strict Finite Subset & {\textbackslash}StrctFntSbset & \scalebox{1.50}{\StrctFntSbset} \\ \hline - Strict Finte Subset Negated & {\textbackslash}NotStrctFntSbset & \scalebox{1.50}{\NotStrctFntSbset} \\ \hline - Finte Subset & {\textbackslash}FntSbset & \scalebox{1.50}{\FntSbset} \\ \hline - Finte Subset Negated & {\textbackslash}NotFntSbset & \scalebox{1.50}{\NotFntSbset} \\ \hline + Strict Finite Subset & {\textbackslash}StrctFntSbset & \scalebox{1.50}{\StrctFntSbset} \\ \hline + Strict Finte Subset Negated & {\textbackslash}NotStrctFntSbset & \scalebox{1.50}{\NotStrctFntSbset} \\ \hline + Finte Subset & {\textbackslash}FntSbset & \scalebox{1.50}{\FntSbset} \\ \hline + Finte Subset Negated & {\textbackslash}NotFntSbset & \scalebox{1.50}{\NotFntSbset} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Bunch Meet Quantifier & {\textbackslash}QuantBnchMeet & \scalebox{1.50}{\QuantBnchMeet} \\ \hline Bunch Join Quantifier & {\textbackslash}QuantBnchJoin & \scalebox{1.50}{\QuantBnchJoin} \\ \hline @@ -1800,18 +1827,39 @@ Monospaced text. Less Than or Equal & {\textbackslash}Lse & \scalebox{1.50}{\Lse} \\ \hline Equal & {\textbackslash}Eq & \scalebox{1.50}{\Eq} \\ \hline Similar & {\textbackslash}Sm & \scalebox{1.50}{\Sm} \\ \hline - Greater Than & {\textbackslash}Gr & \scalebox{1.50}{\Gr} \\ \hline Greater Than or Equal & {\textbackslash}Gre & \scalebox{1.50}{\Gre} \\ \hline + Greater Than & {\textbackslash}Gr & \scalebox{1.50}{\Gr} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Not Less Than & {\textbackslash}NotLs & \scalebox{1.50}{\NotLs} \\ \hline Not Less Than or Equal & {\textbackslash}NotLse & \scalebox{1.50}{\NotLse} \\ \hline Not Equal & {\textbackslash}NotEq & \scalebox{1.50}{\NotEq} \\ \hline Not Similar & {\textbackslash}NotSm & \scalebox{1.50}{\NotSm} \\ \hline - Not Greater Than & {\textbackslash}NotGr & \scalebox{1.50}{\NotGr} \\ \hline Not Greater Than or Equal & {\textbackslash}NotGre & \scalebox{1.50}{\NotGre} \\ \hline + Not Greater Than & {\textbackslash}NotGr & \scalebox{1.50}{\NotGr} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Circled Less Than & {\textbackslash}CircLs & \scalebox{1.50}{\CircLs} \\ \hline + Circled Less Than or Equal & {\textbackslash}CircLse & \scalebox{1.50}{\CircLse} \\ \hline + Circled Equal & {\textbackslash}CircEq & \scalebox{1.50}{\CircEq} \\ \hline + Circled Similar & {\textbackslash}CircSm & \scalebox{1.50}{\CircSm} \\ \hline + Circled Greater Than or Equal & {\textbackslash}CircGre & \scalebox{1.50}{\CircGre} \\ \hline + Circled Greater Than & {\textbackslash}CircGr & \scalebox{1.50}{\CircGr} \\ \hline + \end{symbolListA} + + \clearpage + \begin{symbolListA} + Small Circled Plus & {\textbackslash}SmCircPlus & \scalebox{1.50}{\SmCircPlus} \\ \hline + Small Circled Times & {\textbackslash}SmCircTimes & \scalebox{1.50}{\SmCircTimes} \\ \hline + Small Circled Star & {\textbackslash}SmCircStar & \scalebox{1.50}{\SmCircStar} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Large Circled Plus & {\textbackslash}LgCircPlus & \scalebox{1.50}{\LgCircPlus} \\ \hline + Large Circled Times & {\textbackslash}LgCircTimes & \scalebox{1.50}{\LgCircTimes} \\ \hline + Large Circled Star & {\textbackslash}LgCircStar & \scalebox{1.50}{\LgCircStar} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1850,8 +1898,8 @@ Monospaced text. Slanted Bar Not Greater Than & {\textbackslash}NotSbGr & \scalebox{1.50}{\NotSbGr} \\ \hline Slanted Bar Not Greater Than or Equal & {\textbackslash}NotSbGre & \scalebox{1.50}{\NotSbGre} \\ \hline \end{symbolListA} - \clearpage + \clearpage \begin{symbolListA} Precedes & {\textbackslash}Pre & \scalebox{1.50}{\Pre} \\ \hline Precedes or Equal & {\textbackslash}Preq & \scalebox{1.50}{\Preq} \\ \hline @@ -1873,18 +1921,26 @@ Monospaced text. Minus / Plus & {\textbackslash}MinusPlus & \scalebox{1.50}{\MinusPlus} \\ \hline Asterick & {\textbackslash}Asterick & \scalebox{1.50}{\Asterick} \\ \hline Divide & {\textbackslash}Divide & \scalebox{1.50}{\Divide} \\ \hline + Divide & {\textbackslash}Divd & \scalebox{1.50}{\Divd} \\ \hline Times & {\textbackslash}Times & \scalebox{1.50}{\Times} \\ \hline \end{symbolListA} \begin{symbolListA} - Append & {\textbackslash}Append & \scalebox{1.50}{\Append} \\ \hline - Concatenation & {\textbackslash}Concat & \scalebox{1.50}{\Concat} \\ \hline + Circled Minus & {\textbackslash}CircMinus & \scalebox{1.50}{\CircMinus} \\ \hline + Circled Plus & {\textbackslash}CircPls & \scalebox{1.50}{\CircPls} \\ \hline + Circled Plus / Minus & {\textbackslash}CircPlusMinus & \scalebox{1.50}{\CircPlusMinus} \\ \hline + Circled Minus / Plus & {\textbackslash}CircMinusPlus & \scalebox{1.50}{\CircMinusPlus} \\ \hline + Circled Asterick & {\textbackslash}CircAsterick & \scalebox{1.50}{\CircAsterick} \\ \hline + Circled Divide & {\textbackslash}CircDivide & \scalebox{1.50}{\CircDivide} \\ \hline + Circled Divide & {\textbackslash}CircDivd & \scalebox{1.50}{\CircDivd} \\ \hline + Circled Times & {\textbackslash}CircTimes & \scalebox{1.50}{\CircTimes} \\ \hline \end{symbolListA} \begin{symbolListA} - Large Circled Plus & {\textbackslash}CircPlus & \scalebox{1.50}{\CircPlus} \\ \hline - Large Circled Times & {\textbackslash}CircTimes & \scalebox{1.50}{\CircTimes} \\ \hline - Circled Star & {\textbackslash}CircStar & \scalebox{1.50}{\CircStar} \\ \hline + Append & {\textbackslash}Append & \scalebox{1.50}{\Append} \\ \hline + Concatenation & {\textbackslash}Concat & \scalebox{1.50}{\Concat} \\ \hline + Concatenation & {\textbackslash}Catenate & \scalebox{1.50}{\Catenate} \\ \hline + Alternate & {\textbackslash}Alt & \scalebox{1.50}{\Alt} \\ \hline \end{symbolListA} \clearpage @@ -2402,6 +2458,45 @@ Monospaced text. Crossed very small square & {\textbackslash}CrossedVerySmallSquare & \scalebox{1.50}{\CrossedVerySmallSquare} \\ \hline \end{symbolListX} + \begin{symbolListX} + LBlack Square & {\textbackslash}LBlackSquare & \scalebox{1.50}{\LBlackSquare} \\ \hline + LBlack Square Round Corners & {\textbackslash}LBlackSquareRoundCorners & \scalebox{1.50}{\LBlackSquareRoundCorners} \\ \hline + LBlack Diamond & {\textbackslash}LBlackDiamond & \scalebox{1.50}{\LBlackDiamond} \\ \hline + LBlack Circle & {\textbackslash}LBlackCircle & \scalebox{1.50}{\LBlackCircle} \\ \hline + LBlack Right Triangle & {\textbackslash}LBlackRightTriangle & \scalebox{1.50}{\LBlackRightTriangle} \\ \hline + LBlack Left Triangle & {\textbackslash}LBlackLeftTriangle & \scalebox{1.50}{\LBlackLeftTriangle} \\ \hline + LBlack Down Triangle & {\textbackslash}LBlackDownTriangle & \scalebox{1.50}{\LBlackDownTriangle} \\ \hline + LBlack Up Triangle & {\textbackslash}LBlackUpTriangle & \scalebox{1.50}{\LBlackUpTriangle} \\ \hline + LBlack Small Circle & {\textbackslash}LBlackSmallCircle & \scalebox{1.50}{\LBlackSmallCircle} \\ \hline + LBlack Very Small Circle & {\textbackslash}LBlackVerySmallCircle & \scalebox{1.50}{\LBlackVerySmallCircle} \\ \hline + LBlack Lozenge & {\textbackslash}LBlackLozenge & \scalebox{1.50}{\LBlackLozenge} \\ \hline + LBlack Curved Diamond & {\textbackslash}LBlackCurvedDiamond & \scalebox{1.50}{\LBlackCurvedDiamond} \\ \hline + LBlack Very Small Square & {\textbackslash}LBlackVerySmallSquare & \scalebox{1.50}{\LBlackVerySmallSquare} \\ \hline + LBlack Left Arrow Head & {\textbackslash}LBlackLeftArrowHead & \scalebox{1.50}{\LBlackLeftArrowHead} \\ \hline + LBlack Right Arrow Head & {\textbackslash}LBlackRightArrowHead & \scalebox{1.50}{\LBlackRightArrowHead} \\ \hline + LBlack Right Curved Arrow Head & {\textbackslash}LBlackRightCurvedArrowHead & \scalebox{1.50}{\LBlackRightCurvedArrowHead} \\ \hline + \end{symbolListX} + + \clearpage + \begin{symbolListX} + LWhite Square & {\textbackslash}LWhiteSquare & \scalebox{1.50}{\LWhiteSquare} \\ \hline + LWhite Square Round Corners & {\textbackslash}LWhiteSquareRoundCorners & \scalebox{1.50}{\LWhiteSquareRoundCorners} \\ \hline + LWhite Diamond & {\textbackslash}LWhiteDiamond & \scalebox{1.50}{\LWhiteDiamond} \\ \hline + LWhite Circle & {\textbackslash}LWhiteCircle & \scalebox{1.50}{\LWhiteCircle} \\ \hline + LWhite Right Triangle & {\textbackslash}LWhiteRightTriangle & \scalebox{1.50}{\LWhiteRightTriangle} \\ \hline + LWhite Left Triangle & {\textbackslash}LWhiteLeftTriangle & \scalebox{1.50}{\LWhiteLeftTriangle} \\ \hline + LWhite Down Triangle & {\textbackslash}LWhiteDownTriangle & \scalebox{1.50}{\LWhiteDownTriangle} \\ \hline + LWhite Up Triangle & {\textbackslash}LWhiteUpTriangle & \scalebox{1.50}{\LWhiteUpTriangle} \\ \hline + LWhite Small Circle & {\textbackslash}LWhiteSmallCircle & \scalebox{1.50}{\LWhiteSmallCircle} \\ \hline + LWhite Very Small Circle & {\textbackslash}LWhiteVerySmallCircle & \scalebox{1.50}{\LWhiteVerySmallCircle} \\ \hline + LWhite Lozenge & {\textbackslash}LWhiteLozenge & \scalebox{1.50}{\LWhiteLozenge} \\ \hline + LWhite Curved Diamond & {\textbackslash}LWhiteCurvedDiamond & \scalebox{1.50}{\LWhiteCurvedDiamond} \\ \hline + LWhite Very Small Square & {\textbackslash}LWhiteVerySmallSquare & \scalebox{1.50}{\LWhiteVerySmallSquare} \\ \hline + LWhite Left Arrow Head & {\textbackslash}LWhiteLeftArrowHead & \scalebox{1.50}{\LWhiteLeftArrowHead} \\ \hline + LWhite Right Arrow Head & {\textbackslash}LWhiteRightArrowHead & \scalebox{1.50}{\LWhiteRightArrowHead} \\ \hline + LWhite Right Curved Arrow Head & {\textbackslash}LWhiteRightCurvedArrowHead & \scalebox{1.50}{\LWhiteRightCurvedArrowHead} \\ \hline + \end{symbolListX} + \begin{symbolListX} 0.20 em White Circle & {\textbackslash}WhiteCircleA & \scalebox{1.50}{\WhiteCircleA} \\ \hline 0.30 em White Circle & {\textbackslash}WhiteCircleB & \scalebox{1.50}{\WhiteCircleB} \\ \hline @@ -2689,6 +2784,10 @@ Monospaced text. \begin{symbolListD} {\textbackslash}OpnAnglBarS, {\textbackslash}OpnAnglBar[A-P] & \OpnAnglBarS \frac{1}{2+\frac{3}{4}} \ClsAnglBarS & \OpnAnglBarS \testFrac \ClsAnglBarS & \OpnAnglBar ~ \OpnAnglBarA ~ \OpnAnglBarB ~ \OpnAnglBarC ~ \OpnAnglBarD ~ \OpnAnglBarE ~ \OpnAnglBarF ~ \OpnAnglBarG ~ \OpnAnglBarH ~ \OpnAnglBarI ~ \OpnAnglBarJ ~ \OpnAnglBarK ~ \OpnAnglBarL ~ \OpnAnglBarM ~ \OpnAnglBarN ~ \OpnAnglBarO ~ \OpnAnglBarP \delEnd \\ \hline {\textbackslash}ClsAnglBarS, {\textbackslash}ClsAnglBar[A-P] & \OpnAnglBarS \frac{1}{2+\frac{3}{4}} \ClsAnglBarS & \OpnAnglBarS \testFrac \ClsAnglBarS & \ClsAnglBar ~ \ClsAnglBarA ~ \ClsAnglBarB ~ \ClsAnglBarC ~ \ClsAnglBarD ~ \ClsAnglBarE ~ \ClsAnglBarF ~ \ClsAnglBarG ~ \ClsAnglBarH ~ \ClsAnglBarI ~ \ClsAnglBarJ ~ \ClsAnglBarK ~ \ClsAnglBarL ~ \ClsAnglBarM ~ \ClsAnglBarN ~ \ClsAnglBarO ~ \ClsAnglBarP \delEnd \\ \hline + {\textbackslash}OpnDblCeilS, {\textbackslash}OpnDblCeil[A-L] & \OpnDblCeilS \frac{1}{2+\frac{3}{4}} \ClsDblCeilS & \OpnDblCeilS \testFrac \ClsDblCeilS & \OpnDblCeil ~ \OpnDblCeilA ~ \OpnDblCeilB ~ \OpnDblCeilC ~ \OpnDblCeilD ~ \OpnDblCeilE ~ \OpnDblCeilF ~ \OpnDblCeilG ~ \OpnDblCeilH ~ \OpnDblCeilI ~ \OpnDblCeilJ ~ \OpnDblCeilK ~ \OpnDblCeilL \delEnd \\ \hline + {\textbackslash}ClsDblCeilS, {\textbackslash}ClsDblCeil[A-L] & \OpnDblCeilS \frac{1}{2+\frac{3}{4}} \ClsDblCeilS & \OpnDblCeilS \testFrac \ClsDblCeilS & \ClsDblCeil ~ \ClsDblCeilA ~ \ClsDblCeilB ~ \ClsDblCeilC ~ \ClsDblCeilD ~ \ClsDblCeilE ~ \ClsDblCeilF ~ \ClsDblCeilG ~ \ClsDblCeilH ~ \ClsDblCeilI ~ \ClsDblCeilJ ~ \ClsDblCeilK ~ \ClsDblCeilL \delEnd \\ \hline + {\textbackslash}OpnDblFloorS, {\textbackslash}OpnDblFloor[A-L] & \OpnDblFloorS \frac{1}{2+\frac{3}{4}} \ClsDblFloorS & \OpnDblFloorS \testFrac \ClsDblFloorS & \OpnDblFloor ~ \OpnDblFloorA ~ \OpnDblFloorB ~ \OpnDblFloorC ~ \OpnDblFloorD ~ \OpnDblFloorE ~ \OpnDblFloorF ~ \OpnDblFloorG ~ \OpnDblFloorH ~ \OpnDblFloorI ~ \OpnDblFloorJ ~ \OpnDblFloorK ~ \OpnDblFloorL \delEnd \\ \hline + {\textbackslash}ClsDblFloorS, {\textbackslash}ClsDblFloor[A-L] & \OpnDblFloorS \frac{1}{2+\frac{3}{4}} \ClsDblFloorS & \OpnDblFloorS \testFrac \ClsDblFloorS & \ClsDblFloor ~ \ClsDblFloorA ~ \ClsDblFloorB ~ \ClsDblFloorC ~ \ClsDblFloorD ~ \ClsDblFloorE ~ \ClsDblFloorF ~ \ClsDblFloorG ~ \ClsDblFloorH ~ \ClsDblFloorI ~ \ClsDblFloorJ ~ \ClsDblFloorK ~ \ClsDblFloorL \delEnd \\ \hline \end{symbolListD} \clearpage -- cgit v1.2.3