From 02d941fa9c9895bb08a84ac9afe3559abd1ba8ad Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Thu, 26 May 2022 03:01:06 +0000 Subject: CTAN sync 202205260301 --- fonts/logix/doc/logix.pdf | Bin 485820 -> 504805 bytes fonts/logix/doc/logix.tex | 271 +++++++++++++++++++++++++++++++++++----------- 2 files changed, 206 insertions(+), 65 deletions(-) (limited to 'fonts/logix/doc') diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf index 865e7f4bc5..da690c0bf7 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 beed204588..c567ba202d 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -15,8 +15,18 @@ \usepackage{scrextend} \usepackage{csquotes} + \usepackage{fancyvrb} \usepackage{metalogo} \usepackage{pdflscape} + \usepackage{etoolbox} + + \makeatletter + \patchcmd{\@verbatim}{\@noligs}{\@noligs\@otherstuff}{}{} + \def\@otherstuff{\catcode"AD=\active} + \begingroup + \catcode"AD=\active + \gdef^^ad{-} + \endgroup \newcolumntype{L}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}} \newcolumntype{C}[1]{>{\centering\let\newline\\\arraybackslash\hspace{0pt}}m{#1}} @@ -91,7 +101,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2021-07-28 v1.10} + \section{Introduction: logix 2022-05-25 v1.12} 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 @@ -173,7 +183,7 @@ 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 - four available lengths. If {\textbackslash}Delim is a stretchy symbol, then + 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 @@ -200,9 +210,8 @@ provided. For the basic geometric shapes: circle, square, diamond and triangles and for both black and white variants, explicitly sized symbols are provided ranging from 0.2 em to 1.0em in 0.1 em increments. Operators are provided to work with \enquote{bunches} - which are like lists or sets but without the packaging. Ordering operators (and their - negations) are provided \textemdash\ however there are additional ordering operators - not exported. + which are like sets but without the packaging. Ordering operators (and their negations) + are provided \textemdash\ however there are additional ordering operators not exported. \section{Scripts} @@ -893,9 +902,21 @@ Like the Bera Mono font, it is larger than many other typewriter fonts. The recommendation for the Bera Mono font is thus to load it with a scaling factor of 90\%. Here, the preferred approach is to explicltly set the point size and - leading with the {\textbackslash}fontsize feature. + leading with the fontsize command. + +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} +\begin{Verbatim} +{fontsize{9}{11} \selectfont +\begin{verbatim} +Monospaced text. +\end{verbatim}} +\end{Verbatim} +\end{FontSize} +\end{addmargin} +\vspace{-0.85em} - \noindent Including the Logix monospace symbols can be done as follows \textellipsis + \noindent Including the Logix monospace symbols can be done as follows \textellipsis \begin{addmargin}[0.25in]{0.em} \begin{FontSize}{9}{11} @@ -929,7 +950,8 @@ sizes, which is often desirable when printing listings because of long line lengths and the sheer number of lines to be printed. For 8.5$\times$11 paper and 0.25 inch margins the following line sizes (in characters) can be - obtained. + obtained. The previous examples were displayed using the Logic Mono font + with a point size of 9 with leading of 11. \begin{tabular}{c c c c} size/leading & Char/Inch & Portrait & Landscape \\[0.25em] @@ -938,9 +960,6 @@ 7/9 & 19.875 & 159 & 208 \\ \end{tabular} - All of the previous source examples were displayed using the Logic Mono font - with a point size of 9 with leading of 11. - \section{Symbols} The remainder of this document is the list of symbols. Each symbol has a name @@ -1094,13 +1113,6 @@ Continuous, Total, Onto, Grounded, One-To-One Map & {\textbackslash}MapTotOnGndOne & \scalebox{1.50}{\MapTotOnGndOne} \\ \hline \end{symbolListA} - \begin{symbolListA} - 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 - \end{symbolListA} - \clearpage \begin{symbolListA} Continuous, Partial, Into Multi-Function & {\textbackslash}FunParInMul & \scalebox{1.50}{\FunParInMul} \\ \hline @@ -1132,20 +1144,29 @@ Continuous, Total, Onto, Grounded, One-To-One Function & {\textbackslash}FunTotOnGndOne & \scalebox{1.50}{\FunTotOnGndOne} \\ \hline \end{symbolListA} + \begin{symbolListA} + 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 + \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 \end{symbolListA} + \clearpage \begin{symbolListA} Map Composition & {\textbackslash}MapComp & \scalebox{1.50}{\MapComp} \\ \hline Function Composition & {\textbackslash}FncComp & \scalebox{1.50}{\FncComp} \\ \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 @@ -1158,6 +1179,7 @@ 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} @@ -1165,6 +1187,7 @@ 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} @@ -1172,6 +1195,7 @@ 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} @@ -1179,6 +1203,7 @@ 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} @@ -1186,20 +1211,7 @@ Implication & {\textbackslash}Impl & \scalebox{1.50}{\Impl} \\ \hline Implication & {\textbackslash}LImpl & \scalebox{1.50}{\LImpl} \\ \hline Implication & {\textbackslash}XImpl & \scalebox{1.50}{\XImpl} \\ \hline - \end{symbolListA} - - \begin{symbolListA} - 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 - \end{symbolListA} - - \begin{symbolListA} - 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 + Implication & {\textbackslash}VImpl & \scalebox{1.50}{\VImpl} \\ \hline \end{symbolListA} \clearpage @@ -1208,6 +1220,7 @@ 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} @@ -1215,6 +1228,7 @@ 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} @@ -1222,6 +1236,7 @@ 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} @@ -1229,6 +1244,7 @@ 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} @@ -1236,28 +1252,32 @@ 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} - 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 + 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} - 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 + 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} - \clearpage \begin{symbolListA} 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} @@ -1265,6 +1285,7 @@ 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} @@ -1272,6 +1293,7 @@ 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} @@ -1279,35 +1301,32 @@ 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} - 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 - \end{symbolListA} - - \begin{symbolListA} - 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 + 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} - 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 + 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} - \clearpage \begin{symbolListA} 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} @@ -1315,6 +1334,7 @@ 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} @@ -1322,6 +1342,7 @@ 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} @@ -1329,6 +1350,32 @@ 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 + 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 + 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 + 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} @@ -1336,6 +1383,7 @@ 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} @@ -1343,6 +1391,7 @@ 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} @@ -1350,6 +1399,7 @@ 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 \end{symbolListA} \clearpage @@ -1361,6 +1411,10 @@ Turnstile & {\textbackslash}Turn & \scalebox{1.50}{\Turn} \\ \hline Consequence Relation & {\textbackslash}Conseq & \scalebox{1.50}{\Conseq} \\ \hline Double Bar Triple Turnstile & {\textbackslash}DTrpTurn & \scalebox{1.50}{\DTrpTurn} \\ \hline + Wavy Turnstile & {\textbackslash}TurnWavy & \scalebox{1.50}{\TurnWavy} \\ \hline + Double Wavy Turnstile & {\textbackslash}TurnDWavy & \scalebox{1.50}{\TurnDWavy} \\ \hline + Wavy Double Bar Turnstile & {\textbackslash}DTurnWavy & \scalebox{1.50}{\DTurnWavy} \\ \hline + Double Wavy Double Bar Turnstile & {\textbackslash}DTurnDWavy & \scalebox{1.50}{\DTurnDWavy} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1371,6 +1425,60 @@ Turnstile Denied & {\textbackslash}NotTurn & \scalebox{1.50}{\NotTurn} \\ \hline Consequence Relation Denied & {\textbackslash}NotConseq & \scalebox{1.50}{\NotConseq} \\ \hline Double Bar Triple Turnstile Denied & {\textbackslash}NotDTrpTurn & \scalebox{1.50}{\NotDTrpTurn} \\ \hline + Wavy Turnstile Denied & {\textbackslash}NotTurnWavy & \scalebox{1.50}{\NotTurnWavy} \\ \hline + Double Wavy Turnstile Denied & {\textbackslash}NotTurnDWavy & \scalebox{1.50}{\NotTurnDWavy} \\ \hline + Wavy Double Bar Turnstile Denied & {\textbackslash}NotDTurnWavy & \scalebox{1.50}{\NotDTurnWavy} \\ \hline + Double Wavy Double Bar Turnstile Denied & {\textbackslash}NotDTurnDWavy & \scalebox{1.50}{\NotDTurnDWavy} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Dash Arrow & {\textbackslash}DashArrowRight & \scalebox{1.50}{\DashArrowRight} \\ \hline + Left Dash Arrow & {\textbackslash}DashArrowLeft & \scalebox{1.50}{\DashArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Hook Arrow & {\textbackslash}HookArrowRight & \scalebox{1.50}{\HookArrowRight} \\ \hline + Left Hook Arrow & {\textbackslash}HookArrowLeft & \scalebox{1.50}{\HookArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Harpoon Up Arrow & {\textbackslash}HarpoonUpRight & \scalebox{1.50}{\HarpoonUpRight} \\ \hline + Left Harpoon Up Arrow & {\textbackslash}HarpoonUpLeft & \scalebox{1.50}{\HarpoonUpLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Harpoon Down Arrow & {\textbackslash}HarpoonDnRight & \scalebox{1.50}{\HarpoonDnRight} \\ \hline + Left Harpoon Down Arrow & {\textbackslash}HarpoonDnLeft & \scalebox{1.50}{\HarpoonDnLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Flat Arrow & {\textbackslash}FlatArrowRight & \scalebox{1.50}{\FlatArrowRight} \\ \hline + Left Flat Arrow & {\textbackslash}FlatArrowLeft & \scalebox{1.50}{\FlatArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Fork Arrow & {\textbackslash}ForkArrowRight & \scalebox{1.50}{\ForkArrowRight} \\ \hline + Left Fork Arrow & {\textbackslash}ForkArrowLeft & \scalebox{1.50}{\ForkArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Zig Zag Arrow & {\textbackslash}ZigArrowRight & \scalebox{1.50}{\ZigArrowRight} \\ \hline + Left Zig Zag Arrow & {\textbackslash}ZigArrowLeft & \scalebox{1.50}{\ZigArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Wavy Arrow & {\textbackslash}WavyArrowRight & \scalebox{1.50}{\WavyArrowRight} \\ \hline + Left Wavy Arrow & {\textbackslash}WavyArrowLeft & \scalebox{1.50}{\WavyArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Loop Arrow & {\textbackslash}LoopArrowRight & \scalebox{1.50}{\LoopArrowRight} \\ \hline + Left Loop Arrow & {\textbackslash}LoopArrowLeft & \scalebox{1.50}{\LoopArrowLeft} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Right Fish Arrow & {\textbackslash}FishArrowRight & \scalebox{1.50}{\FishArrowRight} \\ \hline + Left Fish Arrow & {\textbackslash}FishArrowLeft & \scalebox{1.50}{\FishArrowLeft} \\ \hline \end{symbolListA} \begin{symbolListA} @@ -1530,6 +1638,7 @@ Least Fixed Point & {\textbackslash}LstFix & \scalebox{1.50}{\LstFix} \\ \hline Greatest Fixed Point & {\textbackslash}GrtFix & \scalebox{1.50}{\GrtFix} \\ \hline Choice & {\textbackslash}Choice & \scalebox{1.50}{\Choice} \\ \hline + Choices & {\textbackslash}Choices & \scalebox{1.50}{\Choices} \\ \hline Extended Least Fixed Point & {\textbackslash}ExLstFix & \scalebox{1.50}{\ExLstFix} \\ \hline Extended Greatest Fixed Point & {\textbackslash}ExGrtFix & \scalebox{1.50}{\ExGrtFix} \\ \hline First Ordinal (omega) & {\textbackslash}FrstOrd & \scalebox{1.50}{\FrstOrd} \\ \hline @@ -1541,7 +1650,7 @@ Set Membership & {\textbackslash}In & \scalebox{1.50}{\In} \\ \hline Set Membership Negated & {\textbackslash}NotIn & \scalebox{1.50}{\NotIn} \\ \hline Set Owns Element & {\textbackslash}Owns & \scalebox{1.50}{\Owns} \\ \hline - Set Owns Element Negated & {\textbackslash}NotOwned & \scalebox{1.50}{\NotOwned} \\ \hline + Set Owns Element Negated & {\textbackslash}NotOwns & \scalebox{1.50}{\NotOwns} \\ \hline \end{symbolListA} \clearpage @@ -1663,6 +1772,13 @@ Cover & {\textbackslash}Cover & \scalebox{1.50}{\Cover} \\ \hline \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 + \end{symbolListA} + \begin{symbolListA} Bunch Meet Quantifier & {\textbackslash}QuantBnchMeet & \scalebox{1.50}{\QuantBnchMeet} \\ \hline Bunch Join Quantifier & {\textbackslash}QuantBnchJoin & \scalebox{1.50}{\QuantBnchJoin} \\ \hline @@ -1687,6 +1803,7 @@ Greater Than & {\textbackslash}Gr & \scalebox{1.50}{\Gr} \\ \hline Greater Than or Equal & {\textbackslash}Gre & \scalebox{1.50}{\Gre} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Not Less Than & {\textbackslash}NotLs & \scalebox{1.50}{\NotLs} \\ \hline @@ -1696,7 +1813,6 @@ Not Greater Than & {\textbackslash}NotGr & \scalebox{1.50}{\NotGr} \\ \hline Not Greater Than or Equal & {\textbackslash}NotGre & \scalebox{1.50}{\NotGre} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Frown & {\textbackslash}SCoh & \scalebox{1.50}{\SCoh} \\ \hline @@ -1729,11 +1845,12 @@ \end{symbolListA} \begin{symbolListA} - Slanted Bar Not Less Than & {\textbackslash}SbNotLs & \scalebox{1.50}{\SbNotLs} \\ \hline - Slanted Bar Not Less Than or Equal & {\textbackslash}SbNotLse & \scalebox{1.50}{\SbNotLse} \\ \hline - Slanted Bar Not Greater Than & {\textbackslash}SbNotGr & \scalebox{1.50}{\SbNotGr} \\ \hline - Slanted Bar Not Greater Than or Equal & {\textbackslash}SbNotGre & \scalebox{1.50}{\SbNotGre} \\ \hline + Slanted Bar Not Less Than & {\textbackslash}NotSbLs & \scalebox{1.50}{\NotSbLs} \\ \hline + Slanted Bar Not Less Than or Equal & {\textbackslash}NotSbLse & \scalebox{1.50}{\NotSbLse} \\ \hline + 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 \begin{symbolListA} Precedes & {\textbackslash}Pre & \scalebox{1.50}{\Pre} \\ \hline @@ -1748,7 +1865,6 @@ Not Succeeds & {\textbackslash}NotSuc & \scalebox{1.50}{\NotSuc} \\ \hline Not Succeeds or Equal & {\textbackslash}NotSucq & \scalebox{1.50}{\NotSucq} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Minus & {\textbackslash}Minus & \scalebox{1.50}{\Minus} \\ \hline @@ -3199,4 +3315,29 @@ \mathblu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\ \end{symbolListC} + \begin{flushleft} + Logix Mono Latin-1 printable symbols (U+0020 .. U+007E, U+00A0 .. U+00FF) + \end{flushleft} + \vspace{-0.15em} + +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} +\begin{verbatim} + ! " # $ % & ' ( ) * + , - . / +0 1 2 3 4 5 6 7 8 9 : ; < = > ? +@ A B C D E F G H I J K L M N O +P Q R S T U V W X Y Z [ \ ] ^ _ +` a b c d e f g h i j k l m n o +p q r s t u v w x y z { | } ~ + +  ¡ ¢ £ ¤ ¥ ¦ § ¨ © ª « ¬ ­ ® ¯ +° ± ² ³ ´ µ ¶ · ¸ ¹ º » ¼ ½ ¾ ¿ +À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï +Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Ú Û Ü Ý Þ ß +à á â ã ä å æ ç è é ê ë ì í î ï +ð ñ ò ó ô õ ö ÷ ø ù ú û ü ý þ ÿ +\end{verbatim} +\end{FontSize} +\end{addmargin} + \end{document} -- cgit v1.2.3