summaryrefslogtreecommitdiff
path: root/fonts/logix/doc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-05-26 03:01:06 +0000
committerNorbert Preining <norbert@preining.info>2022-05-26 03:01:06 +0000
commit02d941fa9c9895bb08a84ac9afe3559abd1ba8ad (patch)
tree481d1d368c6d295a779b590d23bcd5397bcba628 /fonts/logix/doc
parentf01a37f8311f33e32441d25bdadcda9dcdbd165d (diff)
CTAN sync 202205260301
Diffstat (limited to 'fonts/logix/doc')
-rw-r--r--fonts/logix/doc/logix.pdfbin485820 -> 504805 bytes
-rw-r--r--fonts/logix/doc/logix.tex271
2 files changed, 206 insertions, 65 deletions
diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index 865e7f4bc5..da690c0bf7 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 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
@@ -1133,19 +1145,28 @@
\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
@@ -1664,6 +1773,13 @@
\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
Set Intersection Quantifier & {\textbackslash}QuantSetMeet & \scalebox{1.50}{\QuantSetMeet} \\ \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}