summaryrefslogtreecommitdiff
path: root/fonts/logix/doc/logix.tex
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-01-19 03:01:36 +0000
committerNorbert Preining <norbert@preining.info>2021-01-19 03:01:36 +0000
commit07549467cd23db09b2150c50bc9f93f10f08764a (patch)
tree38a43c82095b328a9dc8be00dd5bc86781eb6966 /fonts/logix/doc/logix.tex
parent62b141a25b6f63cb4cc626d1a005ecf67c19e5cd (diff)
CTAN sync 202101190301
Diffstat (limited to 'fonts/logix/doc/logix.tex')
-rw-r--r--fonts/logix/doc/logix.tex301
1 files changed, 202 insertions, 99 deletions
diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex
index 51009821c3..a59d5bb939 100644
--- a/fonts/logix/doc/logix.tex
+++ b/fonts/logix/doc/logix.tex
@@ -7,14 +7,17 @@
\usepackage{mathtools}
\usepackage{array}
+
\usepackage{logix}
- \setmainfont{STIX Two Text}[NFSSFamily=mainfont]
- \setmathfont{STIX Two Math}[NFSSFamily=mathfont]
+ \setmainfont{STIX Two Text}[NFSSFamily=mainfont,BoldFont={STIX Two Text Bold},ItalicFont={STIX Two Text Italic},BoldItalicFont={STIX Two Text Bold Italic}]
+ \setmathfont{STIX Two Math}[NFSSFamily=mathfont,BoldFont={},ItalicFont={},BoldItalicFont={}]
+ \setmonofont{Logix}[NFSSFamily=monofont,BoldFont={},ItalicFont={},BoldItalicFont={}]
\usepackage{scrextend}
\usepackage{csquotes}
\usepackage{metalogo}
+ \usepackage{pdflscape}
\newcolumntype{L}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}
\newcolumntype{C}[1]{>{\centering\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}
@@ -27,6 +30,8 @@
\newcommand \delEnd {\rule[-5em]{0pt}{10.0em}}
+ \newenvironment{FontSize}[2]{\fontsize{#1}{#2} \selectfont}{}
+
\newenvironment{symbolListA}%
{%
\renewcommand{\arraystretch}{1.50}
@@ -85,14 +90,14 @@
\newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in}
- \section{Introduction: logix 2020-05-24 v1.06}
+ \section{Introduction: logix 2021-01-17 v1.08}
- The logix package provides the logix Unicode font and, at this time, must be used either
- with \LuaLaTeX\ or \XeLaTeX. There are no available options. The logix font contains
+ 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
supplemental symbols for logic and mathematics, most of which are not found in Unicode.
- All of the symbols, with the exception of those in the Basic Latin code space, are in
+ All of the symbols, with the exception of those in the Latin-1 code space, are in
Unicode's Private Use Area. This package does not replace either the text font or the
- math font.
+ math font but may be used to replace the monospace font.
The logix package includes, in turn, the iftex, unicode-math and arydshln packages. The
unicode-math package is passed the \enquote{bold-style=ISO} parameter and includes the
@@ -100,29 +105,31 @@
are the array, longtable, colortab and colortbl packages, all of which must be loaded
before the logix package when they are used. Typical use of the logix package in a
\LaTeX\ source file is:
- \vspace{-0.5em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
- \usepackage{array} % Optional, only if otherwise required.
+\usepackage{array} % Optional, only if otherwise required.
- \usepackage{logix}
- \setmainfont{STIX Two Text}
- \setmathfont{STIX Two Math}
+\usepackage{logix}
+\setmainfont{STIX Two Text}
+\setmathfont{STIX Two Math}
\end{verbatim}
- \vspace{-0.5em}
+\end{FontSize}
+\end{addmargin}
\noindent The \AmS{} STIX2 fonts may be included prior to the logix package,
provided that the unicode-math package is loaded first. This package does not
require the use of other Unicode fonts.
- The metrics for the logix font are identical to the STIX2 mathematical font and,
- overall, the symbols in the logix font are designed to be compatible with the
+ The metrics for the Logix font are identical to the STIX2 mathematical font and,
+ overall, the symbols in the Logix font are designed to be compatible with the
STIX2 mathematical font. It may, of course, be used with any other mathematical font.
There are more than 3,000 symbols exported from the font (of which around 1,000 are
for \enquote{stretchy} delimiters). The font itself contains over 4,000 symbols,
but those which are not exported are usually variants (e.g. thinner or thicker) or
- unused experimental symbols. Other symbols could be exported, but have neither
- suggested usage nor name at this time.
+ unused experimental symbols. The Logix font may also be used for monospace
+ listings limited to the Latin-1 codepage (with a smattering of additional symbols).
Should you wish to use a non-exported symbol, please contact the author with a quick
explanation of your use (so a reasonable name can be assigned) and, as the author's time
@@ -155,7 +162,6 @@
typically neither tall enough or deep enough for good readability. Thus, many operators
which have a good appearance in mathematical expressions are not as appropriate for
logical expressions.
- \clearpage
Symbols that are also in Unicode are typically glyph variants designed to better
accommodate formal logic expressions. These may occur in the same document as the
@@ -181,9 +187,9 @@
since there is no real consensus for their use \textemdash\ although some are most
frequently associated with classical logic. Various flavors of turnstiles (and their
negations) are also provided. There is more of a consensus for their usage although the
- author has only seen two publications with the very useful sequent ({\textbackslash}Seq)
- symbol. Additional arrows are provided as an alternative to the slash typically used for
- replacement in quantification and arrows are provided for shift operators.
+ author has only seen two publications with the very useful sequent ({\textbackslash}Seq
+ $\Seq$) symbol. Additional arrows are provided as an alternative to the slash typically
+ used for replacement in quantification and arrows are provided for shift operators.
Many basic logic symbols are provided (including some experimental) along with a small
collection of punctuation symbols. Operators for choice, least and greatest fixed points
@@ -206,8 +212,9 @@
oblique, bold and bold oblique). Slab serif scripts are not provided by Unicode at
all. To alleviate this, 21 supplemental scripts are provided. None of these scripts
are intended to replace the scripts used in normal mathematical practice. These scripts
- contain only digits and letters. Since these are largely used as single letters, or
- very short words, kerning is not implemented at this time.
+ contain only digits and letters. Since these are largely used as single letters, for
+ numbers or for very short words, kerning is not implemented at this time (with a very
+ minor exception for a few delimiters and lower case letters).
Each script is identified by three letters. The first two letters provide the major
classification of the font and the case of the first letter combined with the last letter
@@ -286,8 +293,9 @@
have the same height as all other knot symbols in the same row and same width as all other
knot symbols in the same column. The KnotGrid environment has no options and is used as follows
(this example has three rows and five columns):
- \vspace{-0.50em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{KnotGrid}
\KntLFC \KntTSN \KntHXSOSU \KntTSFN \KntTRSC \\
@@ -295,6 +303,8 @@
\KntLFC \KntBSN \KntHXSOSU \KntBSFN \KntRBSC \\
\end{KnotGrid}
\end{verbatim}
+\end{FontSize}
+\end{addmargin}
\vspace{-0.75em}
\clearpage
@@ -333,8 +343,9 @@
left-handed Trefoil. The left and right columns are half width and
the top and bottom rows are half height to achieve a slightly better
appearance.
- \vspace{-0.75em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{KnotGrid}
\KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\
@@ -359,50 +370,51 @@
\KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\
\end{KnotGrid}
\end{verbatim}
- \vspace{-0.75em}
+\end{FontSize}
+\end{addmargin}
+\vspace{-0.75em}
\begin{flushleft}
- \begin{addmargin}[0.25in]{0.em}
- \begin{tabular}{ @{} C{1.75in} C{3.25in} }
- Which is typeset below. & A horizontal version is shown below. \\
- \begin{KnotGrid}
- \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\
- \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\
- \KntNF \KntVXSUSO \KntNN \KntVXSOSU \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
- \KntNF \KntVXSOSU \KntNN \KntVXSUSO \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSUSO \KntNN \KntVXSOSU \KntNF \\
- \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSOSU \KntNN \KntVXSUSO \KntNF \\
- \KntNF \KntVXSUSO \KntRSN \KntRSN \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
- \KntNF \KntVXSOSU \KntRSN \KntRSN \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSUSO \KntRSN \KntRSN \KntNF \\
- \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
- \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
- \KntRSNF \KntRSN \KntNN \KntVXSUSO \KntRSN \KntNF \\
- \KntRSNF \KntRSN \KntRSN \KntNN \KntVXSOSU \KntNF \\
- \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
- \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\
- \KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\
- \end{KnotGrid} &
- \begin{KnotGrid}
- \KntRSFNF \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntFN \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntBSNF \KntFN \KntBSFNF \KntLSFNF \\
- \KntRSNF \KntBSFN \KntBSN \KntBSN \KntBSN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntNN \KntHXSUSO \KntBSFN \KntLSNF \\
- \KntRSNF \KntBSFN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntHXSOSU \KntHXSOSU \KntNN \KntBSFN \KntLSNF \\
- \KntRSNF \KntBSFN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntBSN \KntHXSOSU \KntBSFN \KntLSNF \\
- \KntRSNF \KntBSFN \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSFN \KntLSNF \\
- \KntRSFNF \KntFF \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFF \KntLSFNF \\
- \end{KnotGrid}
- \end{tabular}
- \end{addmargin}
+ \begin{tabular}{ @{} C{1.75in} C{3.25in} }
+ Which is typeset below. & A horizontal version is shown below. \\
+ \begin{KnotGrid}
+ \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\
+ \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\
+ \KntNF \KntVXSUSO \KntNN \KntVXSOSU \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
+ \KntNF \KntVXSOSU \KntNN \KntVXSUSO \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSUSO \KntNN \KntVXSOSU \KntNF \\
+ \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSOSU \KntNN \KntVXSUSO \KntNF \\
+ \KntNF \KntVXSUSO \KntRSN \KntRSN \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
+ \KntNF \KntVXSOSU \KntRSN \KntRSN \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSUSO \KntRSN \KntRSN \KntNF \\
+ \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
+ \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\
+ \KntRSNF \KntRSN \KntNN \KntVXSUSO \KntRSN \KntNF \\
+ \KntRSNF \KntRSN \KntRSN \KntNN \KntVXSOSU \KntNF \\
+ \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\
+ \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\
+ \KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\
+ \end{KnotGrid} &
+ \begin{KnotGrid}
+ \KntRSFNF \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntFN \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntBSNF \KntFN \KntBSFNF \KntLSFNF \\
+ \KntRSNF \KntBSFN \KntBSN \KntBSN \KntBSN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntNN \KntHXSUSO \KntBSFN \KntLSNF \\
+ \KntRSNF \KntBSFN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntHXSOSU \KntHXSOSU \KntNN \KntBSFN \KntLSNF \\
+ \KntRSNF \KntBSFN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntBSN \KntHXSOSU \KntBSFN \KntLSNF \\
+ \KntRSNF \KntBSFN \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSFN \KntLSNF \\
+ \KntRSFNF \KntFF \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFF \KntLSFNF \\
+ \end{KnotGrid}
+ \end{tabular}
\end{flushleft}
\clearpage
\noindent This example is the $9_6 (L)$ knot.
- \vspace{-0.75em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{KnotGrid}
\KntNN \KntNN \KntLTSC \KntTSN \KntTRSC \KntNN \KntNN \\
@@ -417,7 +429,8 @@
\KntBLSC \KntBSN \KntHXSUSO \KntHXSUSO \KntHXSUSO \KntBSN \KntRBSC \\
\end{KnotGrid}
\end{verbatim}
- \vspace{-0.50em}
+\end{FontSize}
+\end{addmargin}
\noindent Which is typeset as below.
\vspace{-0.50em}
@@ -522,25 +535,32 @@
the definition expression, which is typeset in math mode. Two examples of its use
follow. Expressions in most examples are meaningless and only serve to show the
presence of an expression.
- \vspace{-0.25em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixDefn}
\Line{Neg} {1}{\symsau{p} \Equv \symsau{q}}
\Line{Conj}{} {\symsau{p} \Equv \symsau{q}}
\end{LogixDefn}
\end{verbatim}
- \vspace{-1.00em}
+\end{FontSize}
+\end{addmargin}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixDefn}[5em]
\Line{Df}{1}{\symsau{p} \Equv \symsau{q}}{Some comment}
\Line{Df}{2}{\symsau{p} \Equv \symsau{q}}{Yet another comment}
\end{LogixDefn}
\end{verbatim}
+\end{FontSize}
+\end{addmargin}
+\vspace{-0.75em}
\begin{flushleft}
- which are typeset as shown below.
+ These two examples are typeset as shown below.
\vspace{0.25em}
\begin{addmargin}[0.25in]{0.em}
@@ -603,15 +623,20 @@
order is potentially significant. Both the second and third parameters may be
empty, allowing the use of the optional comment for justification. The following
examples illustrate the use of the LogixProof environment.
- \vspace{-0.25em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixProof} {Th 46} {AC} {\prop{p} \Nd \prop{q}}
\Dash {1} {Th 41} {} {\prop{p} \Impl \prop{q}}
\Line {2} {Cn 2} {} {\prop{p} \Impl \prop{q}}
\end{LogixProof}
\end{verbatim}
+\end{FontSize}
+\end{addmargin}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixProof}[5em] {Th 46} {} {\prop{p} \Nd \prop{q}}
\Line {1} {Th 41} {} {\prop{p} \Impl \prop{q}} {First comment}
@@ -619,18 +644,23 @@
\Line {3} {Th 38} {2,1} {\prop{p} \Impl \prop{q}} {Last comment}
\end{LogixProof}
\end{verbatim}
- \vspace{-1.50em}
+\end{FontSize}
+\end{addmargin}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixProof}[5em] {Th 46} {} {\prop{p} \Nd \prop{q}}
\Dash {1} {} {} {\prop{p} \Impl \prop{q}} {Disjunction}
\Line {2} {} {} {\prop{p} \Impl \prop{q}} {Modus Ponens, 1}
\end{LogixProof}
\end{verbatim}
- \vspace{-1.50em}
+\end{FontSize}
+\end{addmargin}
+\vspace{-0.75em}
\begin{flushleft}
- which are typeset as shown below. The first example assumes that the
+ These exampls are typeset as shown below. The first example assumes that the
Axiom of Choice holds within the context of the proof.
\vspace{0.25em}
@@ -679,16 +709,20 @@
contains its conclusion. The proof expressions are aligned on the sequent
operator, which is present in every line. The following examples illustrate
the use of the LogixSeqnt environment.
- \vspace{-0.50em}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixSeqnt} {Th 46} {AC} {\prop{p} \Seq \prop{q}}
\Dash {1} {Th 41} {} {\prop{p}} {\prop{q}}
\Line {2} {Cn 2} {} {\prop{p}} {\prop{q}}
\end{LogixSeqnt}
\end{verbatim}
- \vspace{-1.50em}
+\end{FontSize}
+\end{addmargin}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}}
\Line {1} {Th 41} {} {\prop{p}} {\prop{r}} {First comment}
@@ -696,18 +730,23 @@
\Line {3} {Th 38} {2,1} { } {\prop{r}} {Last comment}
\end{LogixSeqnt}
\end{verbatim}
- \vspace{-1.50em}
+\end{FontSize}
+\end{addmargin}
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
\begin{verbatim}
\begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}}
\Dash {1} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Disjunction}
\Line {2} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Weakening, 1}
\end{LogixSeqnt}
\end{verbatim}
- \vspace{-1.50em}
+\end{FontSize}
+\end{addmargin}
+\vspace{-0.75em}
\begin{flushleft}
- which are typeset as shown below.
+ These are typeset as shown below.
\vspace{0.25em}
\begin{addmargin}[0.25in]{0.em}
@@ -744,6 +783,69 @@
\end{flushleft}
\clearpage
+ In \enquote{Fonts for Displaying Program Code in \LaTeX} Adrian P. Robson
+ examined the available options for displaying source code. For fonts which
+ contain a marked zero, Adrian recommended the Bera Mono based on vertical
+ placement of common operators and the ability to easily distinguish similar
+ symbols. The Bera Mono font is derived from the excellent Bitstream Vera
+ font. It is a type 1 font and is not a Unicode font (but can still be used
+ if loaded before fontspec).
+
+ This package provides the Logix Mono font, (also derived from the Bitstream
+ Mono font) in addition to the Logix font. Most applications can use the Logix
+ and Logix Mono fonts interchangably. Unfortunately, the additional symbols
+ in the Logix font are not well handled by some applications. The Logix Mono
+ font is designed (as is the Logix font) to be compatible with the STIX2
+ mathematical fonts. It is also slightly heavier and more compact than the
+ Bera Mono font to improve readability. 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.
+
+ \noindent Including the Logix monospace symbols can be done as follows \textellipsis
+
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
+\begin{verbatim}
+\usepackage{array} % Optional, only if otherwise required.
+
+\usepackage{logix}
+\setmainfont{STIX Two Text}
+\setmathfont{STIX Two Math}
+\setmonofont{Logix Mono}
+\end{verbatim}
+\end{FontSize}
+\end{addmargin}
+
+\noindent or by \textellipsis
+
+\begin{addmargin}[0.25in]{0.em}
+\begin{FontSize}{9}{11}
+\begin{verbatim}
+\usepackage{array} % Optional, only if otherwise required.
+
+\usepackage{logix}
+\setmainfont{STIX Two Text}
+\setmathfont{STIX Two Math}
+\setmonofont{Logix}
+\end{verbatim}
+\end{FontSize}
+\end{addmargin}
+
+ Additionally, the Logix Mono font is designed to print well at smaller point
+ 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.
+
+ \begin{tabular}{c c c c}
+ size/leading & Char/Inch & Portrait & Landscape \\[0.25em]
+ 9/11 & 15.375 & 123 & 162 \\
+ 8/10 & 17.375 & 139 & 182 \\
+ 7/9 & 19.875 & 159 & 208 \\
+ \end{tabular}
+
\section{Symbols}
The remainder of this document is the list of symbols. Each symbol has a name
@@ -758,6 +860,7 @@
large enough that no predefined size variant will be used. Delimiters which
are too short for the second example are limited in size variations to 5\times\
the normal delimiter size.
+ \clearpage
That is followed by script examples. First Greek and Greek italic, then the
sans-serif scripts, the slab-serif scripts, the normal serif scripts and
@@ -806,7 +909,7 @@
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 Turnstile & {\textbackslash}OpnTurn & \scalebox{1.50}{\OpnTurn} \\ \hline
+ Open Force & {\textbackslash}OpnForce & \scalebox{1.50}{\OpnForce} \\ \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
@@ -845,11 +948,11 @@
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 Turnstile & {\textbackslash}ClsTurn & \scalebox{1.50}{\ClsTurn} \\ \hline
+ Close Force & {\textbackslash}ClsForce & \scalebox{1.50}{\ClsForce} \\ \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 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
@@ -2176,8 +2279,8 @@
\begin{symbolListD}
{\textbackslash}OpnFloorS, {\textbackslash}OpnFloor[A-L] & \OpnFloorS \frac{1}{2+\frac{3}{4}} \ClsFloorS & \OpnFloorS \testFrac \ClsFloorS & \OpnFloor ~ \OpnFloorA ~ \OpnFloorB ~ \OpnFloorC ~ \OpnFloorD ~ \OpnFloorE ~ \OpnFloorF ~ \OpnFloorG ~ \OpnFloorH ~ \OpnFloorI ~ \OpnFloorJ ~ \OpnFloorK ~ \OpnFloorL \delEnd \\ \hline
{\textbackslash}ClsFloorS, {\textbackslash}ClsFloor[A-L] & \OpnFloorS \frac{1}{2+\frac{3}{4}} \ClsFloorS & \OpnFloorS \testFrac \ClsFloorS & \ClsFloor ~ \ClsFloorA ~ \ClsFloorB ~ \ClsFloorC ~ \ClsFloorD ~ \ClsFloorE ~ \ClsFloorF ~ \ClsFloorG ~ \ClsFloorH ~ \ClsFloorI ~ \ClsFloorJ ~ \ClsFloorK ~ \ClsFloorL \delEnd \\ \hline
- {\textbackslash}OpnTurnS, {\textbackslash}OpnTurn[A-L] & \OpnTurnS \frac{1}{2+\frac{3}{4}} \ClsTurnS & \OpnTurnS \testFrac \ClsTurnS & \OpnTurn ~ \OpnTurnA ~ \OpnTurnB ~ \OpnTurnC ~ \OpnTurnD ~ \OpnTurnE ~ \OpnTurnF ~ \OpnTurnG ~ \OpnTurnH ~ \OpnTurnI ~ \OpnTurnJ ~ \OpnTurnK ~ \OpnTurnL \delEnd \\ \hline
- {\textbackslash}ClsTurnS, {\textbackslash}ClsTurn[A-L] & \OpnTurnS \frac{1}{2+\frac{3}{4}} \ClsTurnS & \OpnTurnS \testFrac \ClsTurnS & \ClsTurn ~ \ClsTurnA ~ \ClsTurnB ~ \ClsTurnC ~ \ClsTurnD ~ \ClsTurnE ~ \ClsTurnF ~ \ClsTurnG ~ \ClsTurnH ~ \ClsTurnI ~ \ClsTurnJ ~ \ClsTurnK ~ \ClsTurnL \delEnd \\ \hline
+ {\textbackslash}OpnForceS, {\textbackslash}OpnForce[A-L] & \OpnForceS \frac{1}{2+\frac{3}{4}} \ClsForceS & \OpnForceS \testFrac \ClsForceS & \OpnForce ~ \OpnForceA ~ \OpnForceB ~ \OpnForceC ~ \OpnForceD ~ \OpnForceE ~ \OpnForceF ~ \OpnForceG ~ \OpnForceH ~ \OpnForceI ~ \OpnForceJ ~ \OpnForceK ~ \OpnForceL \delEnd \\ \hline
+ {\textbackslash}ClsForceS, {\textbackslash}ClsForce[A-L] & \OpnForceS \frac{1}{2+\frac{3}{4}} \ClsForceS & \OpnForceS \testFrac \ClsForceS & \ClsForce ~ \ClsForceA ~ \ClsForceB ~ \ClsForceC ~ \ClsForceD ~ \ClsForceE ~ \ClsForceF ~ \ClsForceG ~ \ClsForceH ~ \ClsForceI ~ \ClsForceJ ~ \ClsForceK ~ \ClsForceL \delEnd \\ \hline
{\textbackslash}OpnDblBarS, {\textbackslash}OpnDblBar[A-L] & \OpnDblBarS \frac{1}{2+\frac{3}{4}} \ClsDblBarS & \OpnDblBarS \testFrac \ClsDblBarS & \OpnDblBar ~ \OpnDblBarA ~ \OpnDblBarB ~ \OpnDblBarC ~ \OpnDblBarD ~ \OpnDblBarE ~ \OpnDblBarF ~ \OpnDblBarG ~ \OpnDblBarH ~ \OpnDblBarI ~ \OpnDblBarJ ~ \OpnDblBarK ~ \OpnDblBarL \delEnd \\ \hline
{\textbackslash}ClsDblBarS, {\textbackslash}ClsDblBar[A-L] & \OpnDblBarS \frac{1}{2+\frac{3}{4}} \ClsDblBarS & \OpnDblBarS \testFrac \ClsDblBarS & \ClsDblBar ~ \ClsDblBarA ~ \ClsDblBarB ~ \ClsDblBarC ~ \ClsDblBarD ~ \ClsDblBarE ~ \ClsDblBarF ~ \ClsDblBarG ~ \ClsDblBarH ~ \ClsDblBarI ~ \ClsDblBarJ ~ \ClsDblBarK ~ \ClsDblBarL \delEnd \\ \hline
\end{symbolListD}
@@ -2381,7 +2484,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \sauzero~\sauone~\sautwo~\sauthree~\saufour~\saufive~\sausix~\sauseven~\saueight~\saunine \\
+ \sauZero~\sauOne~\sauTwo~\sauThree~\sauFour~\sauFive~\sauSix~\sauSeven~\sauEight~\sauNine \\
\saua~\saub~\sauc~\saud~\saue~\sauf~\saug~\sauh~\saui~\sauj~\sauk~\saul~\saum~\saun~\sauo~\saup~\sauq~\saur~\saus~\saut~\sauu~\sauv~\sauw~\saux~\sauy~\sauz \\
\sauA~\sauB~\sauC~\sauD~\sauE~\sauF~\sauG~\sauH~\sauI~\sauJ~\sauK~\sauL~\sauM~\sauN~\sauO~\sauP~\sauQ~\sauR~\sauS~\sauT~\sauU~\sauV~\sauW~\sauX~\sauY~\sauZ \\
\end{symbolListC}
@@ -2404,7 +2507,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \saizero~\saione~\saitwo~\saithree~\saifour~\saifive~\saisix~\saiseven~\saieight~\sainine \\
+ \saiZero~\saiOne~\saiTwo~\saiThree~\saiFour~\saiFive~\saiSix~\saiSeven~\saiEight~\saiNine \\
\saia~\saib~\saic~\said~\saie~\saif~\saig~\saih~\saii~\saij~\saik~\sail~\saim~\sain~\saio~\saip~\saiq~\sair~\sais~\sait~\saiu~\saiv~\saiw~\saix~\saiy~\saiz \\
\saiA~\saiB~\saiC~\saiD~\saiE~\saiF~\saiG~\saiH~\saiI~\saiJ~\saiK~\saiL~\saiM~\saiN~\saiO~\saiP~\saiQ~\saiR~\saiS~\saiT~\saiU~\saiV~\saiW~\saiX~\saiY~\saiZ \\
\end{symbolListC}
@@ -2427,7 +2530,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Sauzero~\Sauone~\Sautwo~\Sauthree~\Saufour~\Saufive~\Sausix~\Sauseven~\Saueight~\Saunine \\
+ \SauZero~\SauOne~\SauTwo~\SauThree~\SauFour~\SauFive~\SauSix~\SauSeven~\SauEight~\SauNine \\
\Saua~\Saub~\Sauc~\Saud~\Saue~\Sauf~\Saug~\Sauh~\Saui~\Sauj~\Sauk~\Saul~\Saum~\Saun~\Sauo~\Saup~\Sauq~\Saur~\Saus~\Saut~\Sauu~\Sauv~\Sauw~\Saux~\Sauy~\Sauz \\
\SauA~\SauB~\SauC~\SauD~\SauE~\SauF~\SauG~\SauH~\SauI~\SauJ~\SauK~\SauL~\SauM~\SauN~\SauO~\SauP~\SauQ~\SauR~\SauS~\SauT~\SauU~\SauV~\SauW~\SauX~\SauY~\SauZ \\
\end{symbolListC}
@@ -2450,7 +2553,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Saizero~\Saione~\Saitwo~\Saithree~\Saifour~\Saifive~\Saisix~\Saiseven~\Saieight~\Sainine \\
+ \SaiZero~\SaiOne~\SaiTwo~\SaiThree~\SaiFour~\SaiFive~\SaiSix~\SaiSeven~\SaiEight~\SaiNine \\
\Saia~\Saib~\Saic~\Said~\Saie~\Saif~\Saig~\Saih~\Saii~\Saij~\Saik~\Sail~\Saim~\Sain~\Saio~\Saip~\Saiq~\Sair~\Sais~\Sait~\Saiu~\Saiv~\Saiw~\Saix~\Saiy~\Saiz \\
\SaiA~\SaiB~\SaiC~\SaiD~\SaiE~\SaiF~\SaiG~\SaiH~\SaiI~\SaiJ~\SaiK~\SaiL~\SaiM~\SaiN~\SaiO~\SaiP~\SaiQ~\SaiR~\SaiS~\SaiT~\SaiU~\SaiV~\SaiW~\SaiX~\SaiY~\SaiZ \\
\end{symbolListC}
@@ -2474,7 +2577,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \sluzero~\sluone~\slutwo~\sluthree~\slufour~\slufive~\slusix~\sluseven~\slueight~\slunine \\
+ \sluZero~\sluOne~\sluTwo~\sluThree~\sluFour~\sluFive~\sluSix~\sluSeven~\sluEight~\sluNine \\
\slua~\slub~\sluc~\slud~\slue~\sluf~\slug~\sluh~\slui~\sluj~\sluk~\slul~\slum~\slun~\sluo~\slup~\sluq~\slur~\slus~\slut~\sluu~\sluv~\sluw~\slux~\sluy~\sluz \\
\sluA~\sluB~\sluC~\sluD~\sluE~\sluF~\sluG~\sluH~\sluI~\sluJ~\sluK~\sluL~\sluM~\sluN~\sluO~\sluP~\sluQ~\sluR~\sluS~\sluT~\sluU~\sluV~\sluW~\sluX~\sluY~\sluZ \\
\end{symbolListC}
@@ -2497,7 +2600,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \slizero~\slione~\slitwo~\slithree~\slifour~\slifive~\slisix~\sliseven~\slieight~\slinine \\
+ \sliZero~\sliOne~\sliTwo~\sliThree~\sliFour~\sliFive~\sliSix~\sliSeven~\sliEight~\sliNine \\
\slia~\slib~\slic~\slid~\slie~\slif~\slig~\slih~\slii~\slij~\slik~\slil~\slim~\slin~\slio~\slip~\sliq~\slir~\slis~\slit~\sliu~\sliv~\sliw~\slix~\sliy~\sliz \\
\sliA~\sliB~\sliC~\sliD~\sliE~\sliF~\sliG~\sliH~\sliI~\sliJ~\sliK~\sliL~\sliM~\sliN~\sliO~\sliP~\sliQ~\sliR~\sliS~\sliT~\sliU~\sliV~\sliW~\sliX~\sliY~\sliZ \\
\end{symbolListC}
@@ -2520,7 +2623,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Sluzero~\Sluone~\Slutwo~\Sluthree~\Slufour~\Slufive~\Slusix~\Sluseven~\Slueight~\Slunine \\
+ \SluZero~\SluOne~\SluTwo~\SluThree~\SluFour~\SluFive~\SluSix~\SluSeven~\SluEight~\SluNine \\
\Slua~\Slub~\Sluc~\Slud~\Slue~\Sluf~\Slug~\Sluh~\Slui~\Sluj~\Sluk~\Slul~\Slum~\Slun~\Sluo~\Slup~\Sluq~\Slur~\Slus~\Slut~\Sluu~\Sluv~\Sluw~\Slux~\Sluy~\Sluz \\
\SluA~\SluB~\SluC~\SluD~\SluE~\SluF~\SluG~\SluH~\SluI~\SluJ~\SluK~\SluL~\SluM~\SluN~\SluO~\SluP~\SluQ~\SluR~\SluS~\SluT~\SluU~\SluV~\SluW~\SluX~\SluY~\SluZ \\
\end{symbolListC}
@@ -2543,7 +2646,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Slizero~\Slione~\Slitwo~\Slithree~\Slifour~\Slifive~\Slisix~\Sliseven~\Slieight~\Slinine \\
+ \SliZero~\SliOne~\SliTwo~\SliThree~\SliFour~\SliFive~\SliSix~\SliSeven~\SliEight~\SliNine \\
\Slia~\Slib~\Slic~\Slid~\Slie~\Slif~\Slig~\Slih~\Slii~\Slij~\Slik~\Slil~\Slim~\Slin~\Slio~\Slip~\Sliq~\Slir~\Slis~\Slit~\Sliu~\Sliv~\Sliw~\Slix~\Sliy~\Sliz \\
\SliA~\SliB~\SliC~\SliD~\SliE~\SliF~\SliG~\SliH~\SliI~\SliJ~\SliK~\SliL~\SliM~\SliN~\SliO~\SliP~\SliQ~\SliR~\SliS~\SliT~\SliU~\SliV~\SliW~\SliX~\SliY~\SliZ \\
\end{symbolListC}
@@ -2567,7 +2670,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \sruzero~\sruone~\srutwo~\sruthree~\srufour~\srufive~\srusix~\sruseven~\srueight~\srunine \\
+ \sruZero~\sruOne~\sruTwo~\sruThree~\sruFour~\sruFive~\sruSix~\sruSeven~\sruEight~\sruNine \\
\srua~\srub~\sruc~\srud~\srue~\sruf~\srug~\sruh~\srui~\sruj~\sruk~\srul~\srum~\srun~\sruo~\srup~\sruq~\srur~\srus~\srut~\sruu~\sruv~\sruw~\srux~\sruy~\sruz \\
\sruA~\sruB~\sruC~\sruD~\sruE~\sruF~\sruG~\sruH~\sruI~\sruJ~\sruK~\sruL~\sruM~\sruN~\sruO~\sruP~\sruQ~\sruR~\sruS~\sruT~\sruU~\sruV~\sruW~\sruX~\sruY~\sruZ \\
\end{symbolListC}
@@ -2590,7 +2693,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \srizero~\srione~\sritwo~\srithree~\srifour~\srifive~\srisix~\sriseven~\srieight~\srinine \\
+ \sriZero~\sriOne~\sriTwo~\sriThree~\sriFour~\sriFive~\sriSix~\sriSeven~\sriEight~\sriNine \\
\sria~\srib~\sric~\srid~\srie~\srif~\srig~\srih~\srii~\srij~\srik~\sril~\srim~\srin~\srio~\srip~\sriq~\srir~\sris~\srit~\sriu~\sriv~\sriw~\srix~\sriy~\sriz \\
\sriA~\sriB~\sriC~\sriD~\sriE~\sriF~\sriG~\sriH~\sriI~\sriJ~\sriK~\sriL~\sriM~\sriN~\sriO~\sriP~\sriQ~\sriR~\sriS~\sriT~\sriU~\sriV~\sriW~\sriX~\sriY~\sriZ \\
\end{symbolListC}
@@ -2613,7 +2716,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Sruzero~\Sruone~\Srutwo~\Sruthree~\Srufour~\Srufive~\Srusix~\Sruseven~\Srueight~\Srunine \\
+ \SruZero~\SruOne~\SruTwo~\SruThree~\SruFour~\SruFive~\SruSix~\SruSeven~\SruEight~\SruNine \\
\Srua~\Srub~\Sruc~\Srud~\Srue~\Sruf~\Srug~\Sruh~\Srui~\Sruj~\Sruk~\Srul~\Srum~\Srun~\Sruo~\Srup~\Sruq~\Srur~\Srus~\Srut~\Sruu~\Sruv~\Sruw~\Srux~\Sruy~\Sruz \\
\SruA~\SruB~\SruC~\SruD~\SruE~\SruF~\SruG~\SruH~\SruI~\SruJ~\SruK~\SruL~\SruM~\SruN~\SruO~\SruP~\SruQ~\SruR~\SruS~\SruT~\SruU~\SruV~\SruW~\SruX~\SruY~\SruZ \\
\end{symbolListC}
@@ -2636,7 +2739,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Srizero~\Srione~\Sritwo~\Srithree~\Srifour~\Srifive~\Srisix~\Sriseven~\Srieight~\Srinine \\
+ \SriZero~\SriOne~\SriTwo~\SriThree~\SriFour~\SriFive~\SriSix~\SriSeven~\SriEight~\SriNine \\
\Sria~\Srib~\Sric~\Srid~\Srie~\Srif~\Srig~\Srih~\Srii~\Srij~\Srik~\Sril~\Srim~\Srin~\Srio~\Srip~\Sriq~\Srir~\Sris~\Srit~\Sriu~\Sriv~\Sriw~\Srix~\Sriy~\Sriz \\
\SriA~\SriB~\SriC~\SriD~\SriE~\SriF~\SriG~\SriH~\SriI~\SriJ~\SriK~\SriL~\SriM~\SriN~\SriO~\SriP~\SriQ~\SriR~\SriS~\SriT~\SriU~\SriV~\SriW~\SriX~\SriY~\SriZ \\
\end{symbolListC}
@@ -2660,7 +2763,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \clizero~\clione~\clitwo~\clithree~\clifour~\clifive~\clisix~\cliseven~\clieight~\clinine \\
+ \cliZero~\cliOne~\cliTwo~\cliThree~\cliFour~\cliFive~\cliSix~\cliSeven~\cliEight~\cliNine \\
\clia~\clib~\clic~\clid~\clie~\clif~\clig~\clih~\clii~\clij~\clik~\clil~\clim~\clin~\clio~\clip~\cliq~\clir~\clis~\clit~\cliu~\cliv~\cliw~\clix~\cliy~\cliz \\
\cliA~\cliB~\cliC~\cliD~\cliE~\cliF~\cliG~\cliH~\cliI~\cliJ~\cliK~\cliL~\cliM~\cliN~\cliO~\cliP~\cliQ~\cliR~\cliS~\cliT~\cliU~\cliV~\cliW~\cliX~\cliY~\cliZ \\
\end{symbolListC}
@@ -2683,7 +2786,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Clizero~\Clione~\Clitwo~\Clithree~\Clifour~\Clifive~\Clisix~\Cliseven~\Clieight~\Clinine \\
+ \CliZero~\CliOne~\CliTwo~\CliThree~\CliFour~\CliFive~\CliSix~\CliSeven~\CliEight~\CliNine \\
\Clia~\Clib~\Clic~\Clid~\Clie~\Clif~\Clig~\Clih~\Clii~\Clij~\Clik~\Clil~\Clim~\Clin~\Clio~\Clip~\Cliq~\Clir~\Clis~\Clit~\Cliu~\Cliv~\Cliw~\Clix~\Cliy~\Cliz \\
\CliA~\CliB~\CliC~\CliD~\CliE~\CliF~\CliG~\CliH~\CliI~\CliJ~\CliK~\CliL~\CliM~\CliN~\CliO~\CliP~\CliQ~\CliR~\CliS~\CliT~\CliU~\CliV~\CliW~\CliX~\CliY~\CliZ \\
\end{symbolListC}
@@ -2706,7 +2809,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \fruzero~\fruone~\frutwo~\fruthree~\frufour~\frufive~\frusix~\fruseven~\frueight~\frunine \\
+ \fruZero~\fruOne~\fruTwo~\fruThree~\fruFour~\fruFive~\fruSix~\fruSeven~\fruEight~\fruNine \\
\frua~\frub~\fruc~\frud~\frue~\fruf~\frug~\fruh~\frui~\fruj~\fruk~\frul~\frum~\frun~\fruo~\frup~\fruq~\frur~\frus~\frut~\fruu~\fruv~\fruw~\frux~\fruy~\fruz \\
\fruA~\fruB~\fruC~\fruD~\fruE~\fruF~\fruG~\fruH~\fruI~\fruJ~\fruK~\fruL~\fruM~\fruN~\fruO~\fruP~\fruQ~\fruR~\fruS~\fruT~\fruU~\fruV~\fruW~\fruX~\fruY~\fruZ \\
\end{symbolListC}
@@ -2729,7 +2832,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \Fruzero~\Fruone~\Frutwo~\Fruthree~\Frufour~\Frufive~\Frusix~\Fruseven~\Frueight~\Frunine \\
+ \FruZero~\FruOne~\FruTwo~\FruThree~\FruFour~\FruFive~\FruSix~\FruSeven~\FruEight~\FruNine \\
\Frua~\Frub~\Fruc~\Frud~\Frue~\Fruf~\Frug~\Fruh~\Frui~\Fruj~\Fruk~\Frul~\Frum~\Frun~\Fruo~\Frup~\Fruq~\Frur~\Frus~\Frut~\Fruu~\Fruv~\Fruw~\Frux~\Fruy~\Fruz \\
\FruA~\FruB~\FruC~\FruD~\FruE~\FruF~\FruG~\FruH~\FruI~\FruJ~\FruK~\FruL~\FruM~\FruN~\FruO~\FruP~\FruQ~\FruR~\FruS~\FruT~\FruU~\FruV~\FruW~\FruX~\FruY~\FruZ \\
\end{symbolListC}
@@ -2752,7 +2855,7 @@
\end{flushleft}
\begin{symbolListC}
- \mnuzero~\mnuone~\mnutwo~\mnuthree~\mnufour~\mnufive~\mnusix~\mnuseven~\mnueight~\mnunine \\
+ \mnuZero~\mnuOne~\mnuTwo~\mnuThree~\mnuFour~\mnuFive~\mnuSix~\mnuSeven~\mnuEight~\mnuNine \\
\mnua~\mnub~\mnuc~\mnud~\mnue~\mnuf~\mnug~\mnuh~\mnui~\mnuj~\mnuk~\mnul~\mnum~\mnun~\mnuo~\mnup~\mnuq~\mnur~\mnus~\mnut~\mnuu~\mnuv~\mnuw~\mnux~\mnuy~\mnuz \\
\mnuA~\mnuB~\mnuC~\mnuD~\mnuE~\mnuF~\mnuG~\mnuH~\mnuI~\mnuJ~\mnuK~\mnuL~\mnuM~\mnuN~\mnuO~\mnuP~\mnuQ~\mnuR~\mnuS~\mnuT~\mnuU~\mnuV~\mnuW~\mnuX~\mnuY~\mnuZ \\
\end{symbolListC}
@@ -2775,7 +2878,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \mnizero~\mnione~\mnitwo~\mnithree~\mnifour~\mnifive~\mnisix~\mniseven~\mnieight~\mninine \\
+ \mniZero~\mniOne~\mniTwo~\mniThree~\mniFour~\mniFive~\mniSix~\mniSeven~\mniEight~\mniNine \\
\mnia~\mnib~\mnic~\mnid~\mnie~\mnif~\mnig~\mnih~\mnii~\mnij~\mnik~\mnil~\mnim~\mnin~\mnio~\mnip~\mniq~\mnir~\mnis~\mnit~\mniu~\mniv~\mniw~\mnix~\mniy~\mniz \\
\mniA~\mniB~\mniC~\mniD~\mniE~\mniF~\mniG~\mniH~\mniI~\mniJ~\mniK~\mniL~\mniM~\mniN~\mniO~\mniP~\mniQ~\mniR~\mniS~\mniT~\mniU~\mniV~\mniW~\mniX~\mniY~\mniZ \\
\end{symbolListC}
@@ -2845,7 +2948,7 @@
\vspace{-0.15em}
\begin{symbolListC}
- \bluzero~\bluone~\blutwo~\bluthree~\blufour~\blufive~\blusix~\bluseven~\blueight~\blunine \\
+ \bluZero~\bluOne~\bluTwo~\bluThree~\bluFour~\bluFive~\bluSix~\bluSeven~\bluEight~\bluNine \\
\blua~\blub~\bluc~\blud~\blue~\bluf~\blug~\bluh~\blui~\bluj~\bluk~\blul~\blum~\blun~\bluo~\blup~\bluq~\blur~\blus~\blut~\bluu~\bluv~\bluw~\blux~\bluy~\bluz \\
\bluA~\bluB~\bluC~\bluD~\bluE~\bluF~\bluG~\bluH~\bluI~\bluJ~\bluK~\bluL~\bluM~\bluN~\bluO~\bluP~\bluQ~\bluR~\bluS~\bluT~\bluU~\bluV~\bluW~\bluX~\bluY~\bluZ \\
\end{symbolListC}