summaryrefslogtreecommitdiff
path: root/fonts/logix/doc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-06-23 03:00:50 +0000
committerNorbert Preining <norbert@preining.info>2022-06-23 03:00:50 +0000
commit00e67dfd87c53faeafcf0c9e66c8c2c7a410fcb8 (patch)
treeef301069afe23459e4f42b83386787a5aca10e5f /fonts/logix/doc
parentd6888fdb49e3ac954c2d436951f364d3a4a4b17d (diff)
CTAN sync 202206230300
Diffstat (limited to 'fonts/logix/doc')
-rw-r--r--fonts/logix/doc/logix.pdfbin504805 -> 518207 bytes
-rw-r--r--fonts/logix/doc/logix.tex659
2 files changed, 379 insertions, 280 deletions
diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index da690c0bf7..a605b7aab1 100644
--- a/fonts/logix/doc/logix.pdf
+++ b/fonts/logix/doc/logix.pdf
Binary files 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}
@@ -1556,6 +1570,17 @@ Monospaced text.
\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
Comma & {\textbackslash}Coma & \scalebox{1.50}{\Coma} \\ \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
@@ -2403,6 +2459,45 @@ Monospaced text.
\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
0.40 em White Circle & {\textbackslash}WhiteCircleC & \scalebox{1.50}{\WhiteCircleC} \\ \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