summaryrefslogtreecommitdiff
path: root/fonts/logix
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
parent62b141a25b6f63cb4cc626d1a005ecf67c19e5cd (diff)
CTAN sync 202101190301
Diffstat (limited to 'fonts/logix')
-rw-r--r--fonts/logix/CHANGELOG20
-rw-r--r--fonts/logix/README55
-rw-r--r--fonts/logix/doc/logix.pdfbin460285 -> 462783 bytes
-rw-r--r--fonts/logix/doc/logix.tex301
-rw-r--r--fonts/logix/fonts/logix.eotbin393086 -> 411069 bytes
-rw-r--r--fonts/logix/fonts/logix.ttfbin1139764 -> 1174964 bytes
-rw-r--r--fonts/logix/fonts/logix.woffbin476832 -> 497756 bytes
-rw-r--r--fonts/logix/fonts/logix.woff2bin308540 -> 338580 bytes
-rw-r--r--fonts/logix/fonts/logixMono.eotbin0 -> 29958 bytes
-rw-r--r--fonts/logix/fonts/logixMono.ttfbin0 -> 69572 bytes
-rw-r--r--fonts/logix/fonts/logixMono.woffbin0 -> 36120 bytes
-rw-r--r--fonts/logix/fonts/logixMono.woff2bin0 -> 31884 bytes
-rw-r--r--fonts/logix/opentype/logix.otfbin493864 -> 550812 bytes
-rw-r--r--fonts/logix/opentype/logixMono.otfbin0 -> 63800 bytes
-rw-r--r--fonts/logix/source/logix.math120
-rw-r--r--fonts/logix/source/logix.vfcbin4673690 -> 4893441 bytes
-rw-r--r--fonts/logix/source/logixMono.vfcbin0 -> 546215 bytes
-rw-r--r--fonts/logix/tex/logix.sty76
18 files changed, 372 insertions, 200 deletions
diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index b7e4aea101..c7a75b3fd0 100644
--- a/fonts/logix/CHANGELOG
+++ b/fonts/logix/CHANGELOG
@@ -1,3 +1,23 @@
+2021-01-17 v1.08
+
+ 1. The \OpnTurn and \ClsTurn symbols have been renamed to \OpenForce and \ClsForce,
+ respectively, to match existing usage.
+
+2020-09-18 v1.07
+
+ 1. The normal sans serif script was moved from the Latin-1 area to the Private Use Area
+ removing the last overlap between Logix symbols and Unicode symbols.
+
+ 2. The remaining glpyhs in the Latin-1 area were not useful and were removed.
+
+ 3. Modified glyphs of the highly regarded BitStream Vera mono font have been incorporated.
+ The modifications were make to make the glyphs more consistent with the STIX2 Math
+ font. Thus the Logix font can be directly used as a monospace font.
+
+ 4. Some older applications may not display correctly when using the Logix. Therefore,
+ the monospace glpyhs are also entirely contained in a new Logix Mono font which
+ does not contain any other symbols, making it a smaller, lightweight font.
+
2020-05-24 v1.06
1. Four symbols were added
diff --git a/fonts/logix/README b/fonts/logix/README
index b603f25072..8a79e7cee9 100644
--- a/fonts/logix/README
+++ b/fonts/logix/README
@@ -1,6 +1,6 @@
The logix package.
-This is the README for the logix package, version 2020-05-24 v1.06.
+This is the README for the logix package, version 2021-01-17 v1.08.
This package provides supplemental symbols for use in logic and mathematics
which are largely not present in Unicode. Some symbols are in Unicode but
@@ -67,6 +67,50 @@ Licenses:
and version 1.3c or later is part of all distributions of LaTeX version
2005-12-01 or later.
+
+ This font contains modified symbols from the Bitstream Vera Sans Mono font,
+ Release 1.10, according to the following license.
+
+ Copyright (c) 2003 by Bitstream, Inc.
+ All Rights Reserved.
+ Bitstream Vera is a trademark of Bitstream, Inc.
+
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of the fonts accompanying this license ("Fonts") and associated documentation
+ files (the "Font Software"), to reproduce and distribute the Font Software,
+ including without limitation the rights to use, copy, merge, publish, distribute,
+ and/or sell copies of the Font Software, and to permit persons to whom the Font
+ Software is furnished to do so, subject to the following conditions:
+
+ The above copyright and trademark notices and this permission notice shall be
+ included in all copies of one or more of the Font Software typefaces.
+
+ The Font Software may be modified, altered, or added to, and in particular the
+ designs of glyphs or characters in the Fonts may be modified and additional
+ glyphs or characters may be added to the Fonts, only if the fonts are renamed
+ to names not containing either the words "Bitstream" or the word "Vera".
+
+ This License becomes null and void to the extent applicable to Fonts or Font
+ Software that has been modified and is distributed under the "Bitstream Vera"
+ names.
+
+ The Font Software may be sold as part of a larger software package but no copy
+ of one or more of the Font Software typefaces may be sold by itself.
+
+ THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
+ OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT,
+ TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL BITSTREAM OR THE GNOME FOUNDATION
+ BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL,
+ SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO
+ USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
+
+ Except as contained in this notice, the names of Gnome, the Gnome Foundation,
+ and Bitstream Inc., shall not be used in advertising or otherwise to promote
+ the sale, use or other dealings in this Font Software without prior written
+ authorization from the Gnome Foundation or Bitstream Inc., respectively. For
+ further information, contact: fonts at gnome dot org.
This work has the LPPL maintenance status `maintained'.
@@ -90,11 +134,12 @@ For example:
\setmainfont{STIX Two Text} % AMS STIX2 used for main font.
\setmathfont{STIX Two Math} % AMS STIX2 used for math font.
+ \setmonofont{Logix} % Only if using Logix for listings.
-This distribution also contains logix.vfc, which is the master font file used to
-derive the actual font files. It is not needed for LaTeX usage, but is provided
-should I become unable to maintain the package, and it is picked up by another
-maintainer. This is a FontLab (currently version 7.0.1) source file.
+This distribution also contains logix.vfc and logixMono.vfc, which are the master
+font files used to build the actual font files. It is not needed for LaTeX usage,
+but is provided should I become unable to maintain the package, and it is picked
+up by another maintainer. This is a FontLab (currently version 7.1.4) source file.
As briefly mentioned above, the various web font files (.eot, .ttf, .woff and
.woff2) are provided so that any user who wishes to use the font on a web page
diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index 4d70dd3092..c3c2751ce7 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 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}
diff --git a/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot
index b7a27296c2..c90600a846 100644
--- a/fonts/logix/fonts/logix.eot
+++ b/fonts/logix/fonts/logix.eot
Binary files differ
diff --git a/fonts/logix/fonts/logix.ttf b/fonts/logix/fonts/logix.ttf
index 93e82a5069..505a0decef 100644
--- a/fonts/logix/fonts/logix.ttf
+++ b/fonts/logix/fonts/logix.ttf
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff b/fonts/logix/fonts/logix.woff
index 70a1d13c7e..ee032c4d57 100644
--- a/fonts/logix/fonts/logix.woff
+++ b/fonts/logix/fonts/logix.woff
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff2 b/fonts/logix/fonts/logix.woff2
index d566dacf9e..6ded5b52d6 100644
--- a/fonts/logix/fonts/logix.woff2
+++ b/fonts/logix/fonts/logix.woff2
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.eot b/fonts/logix/fonts/logixMono.eot
new file mode 100644
index 0000000000..37ee55554a
--- /dev/null
+++ b/fonts/logix/fonts/logixMono.eot
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.ttf b/fonts/logix/fonts/logixMono.ttf
new file mode 100644
index 0000000000..a6e004ac59
--- /dev/null
+++ b/fonts/logix/fonts/logixMono.ttf
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.woff b/fonts/logix/fonts/logixMono.woff
new file mode 100644
index 0000000000..21bac4ba52
--- /dev/null
+++ b/fonts/logix/fonts/logixMono.woff
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.woff2 b/fonts/logix/fonts/logixMono.woff2
new file mode 100644
index 0000000000..537dfd036b
--- /dev/null
+++ b/fonts/logix/fonts/logixMono.woff2
Binary files differ
diff --git a/fonts/logix/opentype/logix.otf b/fonts/logix/opentype/logix.otf
index 1fd8d0d25c..d33f9e5699 100644
--- a/fonts/logix/opentype/logix.otf
+++ b/fonts/logix/opentype/logix.otf
Binary files differ
diff --git a/fonts/logix/opentype/logixMono.otf b/fonts/logix/opentype/logixMono.otf
new file mode 100644
index 0000000000..eb50b5e720
--- /dev/null
+++ b/fonts/logix/opentype/logixMono.otf
Binary files differ
diff --git a/fonts/logix/source/logix.math b/fonts/logix/source/logix.math
index 4883986e88..8ed3aeb95f 100644
--- a/fonts/logix/source/logix.math
+++ b/fonts/logix/source/logix.math
@@ -225,7 +225,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<Glyph value="OpnAnglBar"/>
<Glyph value="OpnCeil"/>
<Glyph value="OpnFloor"/>
- <Glyph value="OpnTurn"/>
+ <Glyph value="OpnForce"/>
<Glyph value="ClsBar"/>
<Glyph value="ClsGrp"/>
<Glyph value="ClsParn"/>
@@ -254,7 +254,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<Glyph value="ClsAnglBar"/>
<Glyph value="ClsCeil"/>
<Glyph value="ClsFloor"/>
- <Glyph value="ClsTurn"/>
+ <Glyph value="ClsForce"/>
<Glyph value="BndBar"/>
<Glyph value="OpnDblBracA"/>
<Glyph value="OpnDblBracB"/>
@@ -570,30 +570,30 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<Glyph value="ClsFloorJ"/>
<Glyph value="ClsFloorK"/>
<Glyph value="ClsFloorL"/>
- <Glyph value="OpnTurnA"/>
- <Glyph value="OpnTurnB"/>
- <Glyph value="OpnTurnC"/>
- <Glyph value="OpnTurnD"/>
- <Glyph value="OpnTurnE"/>
- <Glyph value="OpnTurnF"/>
- <Glyph value="OpnTurnG"/>
- <Glyph value="OpnTurnH"/>
- <Glyph value="OpnTurnI"/>
- <Glyph value="OpnTurnJ"/>
- <Glyph value="OpnTurnK"/>
- <Glyph value="OpnTurnL"/>
- <Glyph value="ClsTurnA"/>
- <Glyph value="ClsTurnB"/>
- <Glyph value="ClsTurnC"/>
- <Glyph value="ClsTurnD"/>
- <Glyph value="ClsTurnE"/>
- <Glyph value="ClsTurnF"/>
- <Glyph value="ClsTurnG"/>
- <Glyph value="ClsTurnH"/>
- <Glyph value="ClsTurnI"/>
- <Glyph value="ClsTurnJ"/>
- <Glyph value="ClsTurnK"/>
- <Glyph value="ClsTurnL"/>
+ <Glyph value="OpnForceA"/>
+ <Glyph value="OpnForceB"/>
+ <Glyph value="OpnForceC"/>
+ <Glyph value="OpnForceD"/>
+ <Glyph value="OpnForceE"/>
+ <Glyph value="OpnForceF"/>
+ <Glyph value="OpnForceG"/>
+ <Glyph value="OpnForceH"/>
+ <Glyph value="OpnForceI"/>
+ <Glyph value="OpnForceJ"/>
+ <Glyph value="OpnForceK"/>
+ <Glyph value="OpnForceL"/>
+ <Glyph value="ClsForceA"/>
+ <Glyph value="ClsForceB"/>
+ <Glyph value="ClsForceC"/>
+ <Glyph value="ClsForceD"/>
+ <Glyph value="ClsForceE"/>
+ <Glyph value="ClsForceF"/>
+ <Glyph value="ClsForceG"/>
+ <Glyph value="ClsForceH"/>
+ <Glyph value="ClsForceI"/>
+ <Glyph value="ClsForceJ"/>
+ <Glyph value="ClsForceK"/>
+ <Glyph value="ClsForceL"/>
<Glyph value="ClsAnglBarA"/>
<Glyph value="ClsAnglBarB"/>
<Glyph value="ClsAnglBarC"/>
@@ -1159,7 +1159,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<Glyph value="OpnAnglBar"/>
<Glyph value="OpnCeil"/>
<Glyph value="OpnFloor"/>
- <Glyph value="OpnTurn"/>
+ <Glyph value="OpnForce"/>
<Glyph value="ClsBar"/>
<Glyph value="ClsGrp"/>
<Glyph value="ClsParn"/>
@@ -1188,7 +1188,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<Glyph value="ClsAnglBar"/>
<Glyph value="ClsCeil"/>
<Glyph value="ClsFloor"/>
- <Glyph value="ClsTurn"/>
+ <Glyph value="ClsForce"/>
<Glyph value="BndBar"/>
<Glyph value="OpnCurvAngl"/>
<Glyph value="ClsCurvAngl"/>
@@ -1867,24 +1867,24 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<GlyphAssembly>
<ItalicsCorrection><Value value="0"/></ItalicsCorrection>
<!-- PartCount=3 -->
- <PartRecords index="0"><glyph value="OpnTurnExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
- <PartRecords index="1"><glyph value="OpnTurnMid"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
- <PartRecords index="2"><glyph value="OpnTurnExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
+ <PartRecords index="0"><glyph value="OpnForceExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
+ <PartRecords index="1"><glyph value="OpnForceMid"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
+ <PartRecords index="2"><glyph value="OpnForceExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
</GlyphAssembly>
<!-- VariantCount=13 -->
- <MathGlyphVariantRecord index="0"> <VariantGlyph value="OpnTurn"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="1"> <VariantGlyph value="OpnTurnA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="2"> <VariantGlyph value="OpnTurnB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="3"> <VariantGlyph value="OpnTurnC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="4"> <VariantGlyph value="OpnTurnD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="5"> <VariantGlyph value="OpnTurnE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="6"> <VariantGlyph value="OpnTurnF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="7"> <VariantGlyph value="OpnTurnG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="8"> <VariantGlyph value="OpnTurnH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="9"> <VariantGlyph value="OpnTurnI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="10"><VariantGlyph value="OpnTurnJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="11"><VariantGlyph value="OpnTurnK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="12"><VariantGlyph value="OpnTurnL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="0"> <VariantGlyph value="OpnForce"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="1"> <VariantGlyph value="OpnForceA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="2"> <VariantGlyph value="OpnForceB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="3"> <VariantGlyph value="OpnForceC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="4"> <VariantGlyph value="OpnForceD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="5"> <VariantGlyph value="OpnForceE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="6"> <VariantGlyph value="OpnForceF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="7"> <VariantGlyph value="OpnForceG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="8"> <VariantGlyph value="OpnForceH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="9"> <VariantGlyph value="OpnForceI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="10"><VariantGlyph value="OpnForceJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="11"><VariantGlyph value="OpnForceK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="12"><VariantGlyph value="OpnForceL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
</VertGlyphConstruction>
<VertGlyphConstruction index="29">
<GlyphAssembly>
@@ -2550,24 +2550,24 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except
<GlyphAssembly>
<ItalicsCorrection><Value value="0"/></ItalicsCorrection>
<!-- PartCount=3 -->
- <PartRecords index="0"><glyph value="ClsTurnExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
- <PartRecords index="1"><glyph value="ClsTurnMid"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
- <PartRecords index="2"><glyph value="ClsTurnExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
+ <PartRecords index="0"><glyph value="ClsForceExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
+ <PartRecords index="1"><glyph value="ClsForceMid"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
+ <PartRecords index="2"><glyph value="ClsForceExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="375"/> <PartFlags value="1"/></PartRecords>
</GlyphAssembly>
<!-- VariantCount=13 -->
- <MathGlyphVariantRecord index="0"> <VariantGlyph value="ClsTurn"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="1"> <VariantGlyph value="ClsTurnA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="2"> <VariantGlyph value="ClsTurnB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="3"> <VariantGlyph value="ClsTurnC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="4"> <VariantGlyph value="ClsTurnD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="5"> <VariantGlyph value="ClsTurnE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="6"> <VariantGlyph value="ClsTurnF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="7"> <VariantGlyph value="ClsTurnG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="8"> <VariantGlyph value="ClsTurnH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="9"> <VariantGlyph value="ClsTurnI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="10"><VariantGlyph value="ClsTurnJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="11"><VariantGlyph value="ClsTurnK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
- <MathGlyphVariantRecord index="12"><VariantGlyph value="ClsTurnL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="0"> <VariantGlyph value="ClsForce"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="1"> <VariantGlyph value="ClsForceA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="2"> <VariantGlyph value="ClsForceB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="3"> <VariantGlyph value="ClsForceC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="4"> <VariantGlyph value="ClsForceD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="5"> <VariantGlyph value="ClsForceE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="6"> <VariantGlyph value="ClsForceF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="7"> <VariantGlyph value="ClsForceG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="8"> <VariantGlyph value="ClsForceH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="9"> <VariantGlyph value="ClsForceI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="10"><VariantGlyph value="ClsForceJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="11"><VariantGlyph value="ClsForceK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="12"><VariantGlyph value="ClsForceL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
</VertGlyphConstruction>
<VertGlyphConstruction index="58">
<GlyphAssembly>
diff --git a/fonts/logix/source/logix.vfc b/fonts/logix/source/logix.vfc
index 1098013f4e..3135b6659c 100644
--- a/fonts/logix/source/logix.vfc
+++ b/fonts/logix/source/logix.vfc
Binary files differ
diff --git a/fonts/logix/source/logixMono.vfc b/fonts/logix/source/logixMono.vfc
new file mode 100644
index 0000000000..240e9c38bc
--- /dev/null
+++ b/fonts/logix/source/logixMono.vfc
Binary files differ
diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index 51327b880a..a96b11b51e 100644
--- a/fonts/logix/tex/logix.sty
+++ b/fonts/logix/tex/logix.sty
@@ -1,6 +1,6 @@
-% Copyright (c) 2001..2020 by Michael Lee Finney.
+% Copyright (c) 2001..2021 by Michael Lee Finney.
%
-% logix.sty - 2020-05-24 v1.06
+% logix.sty - 2021-01-17 v1.08
%
% This work may be distributed and/or modified under the conditions of the
% LaTeX Project Public License, either version 1.3 of this license or (at your
@@ -28,9 +28,9 @@
\NeedsTeXFormat{LaTeX2e}[2020/02/02]
\ProvidesPackage{logix}
- [2020-05-24 v1.06 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+ [2021-01-17 v1.08 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
\ProvidesFile{logix.otf}
- [2020-05-24 v1.06 (Michael Lee Finney) OpenType Unicode font.]
+ [2021-01-17 v1.08 (Michael Lee Finney) OpenType Unicode font.]
\RequirePackage{iftex}
\RequirePackage[bold-style=ISO]{unicode-math}
\RequirePackage{arydshln}
@@ -172,7 +172,7 @@
\newcommand \Line[4]{%
\ifx&##2&%
##1. \hspace{0.25em} & & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\%
- \else%
+ \else%
##1 \hspace{0.35em} & ##2. \hspace{0.25em} & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\%
\fi%
}
@@ -293,7 +293,7 @@
\newcommand \OpnDblParn {\lgl{E31B}\relax} % Open Double Parenthesis
\newcommand \OpnCeil {\lgl{E31C}\relax} % Open Ceiling
\newcommand \OpnFloor {\lgl{E31D}\relax} % Open Floor
- \newcommand \OpnTurn {\lgl{E31E}\relax} % Open Turnstile
+ \newcommand \OpnForce {\lgl{E31E}\relax} % Open Turnstile
\newcommand \OpnCntx {\lgx{E31F}\relax} % Open Context Quote
\newcommand \OpnDblGrp {\lgl{E320}\relax} % Open Double Group Brace
\newcommand \OpnDblBar {\lgl{E321}\relax} % Open Double Vertical Bar
@@ -329,7 +329,7 @@
\newcommand \OpnDblParnS {\left\OpnDblParn\relax} % Stretchy Open Double Parenthesis
\newcommand \OpnCeilS {\left\OpnCeil\relax} % Stretchy Open Ceiling
\newcommand \OpnFloorS {\left\OpnFloor\relax} % Stretchy Open Floor
- \newcommand \OpnTurnS {\left\OpnTurn\relax} % Stretchy Open Turnstile
+ \newcommand \OpnForceS {\left\OpnForce\relax} % Stretchy Open Turnstile
\newcommand \OpnCntxS {\left\OpnCntx\relax} % Stretchy Open Context Quote
\newcommand \OpnDblGrpS {\left\OpnDblGrp\relax} % Stretchy Open Double Group Brace
\newcommand \OpnDblBarS {\left\OpnDblBar\relax} % Stretchy Open Double Vertical Bar
@@ -365,7 +365,7 @@
\newcommand \ClsDblParn {\lgl{E35B}\relax} % Close Double Parenthesis
\newcommand \ClsCeil {\lgr{E35C}\relax} % Close Ceiling
\newcommand \ClsFloor {\lgr{E35D}\relax} % Close Floor
- \newcommand \ClsTurn {\lgr{E35E}\relax} % Close Turnstile
+ \newcommand \ClsForce {\lgr{E35E}\relax} % Close Turnstile
\newcommand \ClsCntx {\lgx{E35F}\relax} % Close Context Quote
\newcommand \ClsDblGrp {\lgr{E360}\relax} % Close Double Group Brace
\newcommand \ClsDblBar {\lgr{E361}\relax} % Close Double Vertical Bar
@@ -401,7 +401,7 @@
\newcommand \ClsDblParnS {\right\ClsDblParn\relax} % Stretchy Close Double Parenthesis
\newcommand \ClsCeilS {\right\ClsCeil\relax} % Stretchy Close Ceiling
\newcommand \ClsFloorS {\right\ClsFloor\relax} % Stretchy Close Floor
- \newcommand \ClsTurnS {\right\ClsTurn\relax} % Stretchy Close Turnstile
+ \newcommand \ClsForceS {\right\ClsForce\relax} % Stretchy Close Turnstile
\newcommand \ClsCntxS {\right\ClsCntx\relax} % Stretchy Close Context Quote
\newcommand \ClsDblGrpS {\right\ClsDblGrp\relax} % Stretchy Close Double Group Brace
\newcommand \ClsDblBarS {\right\ClsDblBar\relax} % Stretchy Close Vertical Double Bar
@@ -663,7 +663,7 @@
\newcommand \Circumflex {\lgx{E03F}\relax} % ASCII Circumflex
\newcommand \Numbr {\lgx{E04F}\relax} % Number sign
\newcommand \Underscore {\lgx{E0AF}\relax} % Underscore
- \newcommand \Tild {\lgx{007E}\relax} % Tilde E64C
+ \newcommand \Tild {\lgx{007E}\relax} % Tilde
\newcommand \SingleQuote {\lgx{E08B}\relax} % Single quote
\newcommand \DoubleQuote {\lgx{E09B}\relax} % Double quote
\newcommand \TripleQuote {\lgx{E0AB}\relax} % Triple quote
@@ -972,8 +972,8 @@
\defineDelimiter{ClsCeil} {EEF0}
\defineDelimiter{OpnFloor} {EF00}
\defineDelimiter{ClsFloor} {EF10}
- \defineDelimiter{OpnTurn} {EF20}
- \defineDelimiter{ClsTurn} {EF30}
+ \defineDelimiter{OpnForce} {EF20}
+ \defineDelimiter{ClsForce} {EF30}
\defineDelimiter{OpnBar} {EF40}
\defineDelimiter{ClsBar} {EF50}
\defineDelimiter{BndBar} {EF60}
@@ -1200,11 +1200,11 @@
\newcommand \ClsFloorBtm {\lgx{EF1C}} % ClsFloor bottom
\newcommand \ClsFloorExt {\lgx{EF1D}} % ClsFloor extender
- \newcommand \OpnTurnMid {\lgx{EF2C}} % OpnTurn middle
- \newcommand \OpnTurnExt {\lgx{EF2D}} % OpnTurn extender
+ \newcommand \OpnForceMid {\lgx{EF2C}} % OpnForce middle
+ \newcommand \OpnForceExt {\lgx{EF2D}} % OpnForce extender
- \newcommand \ClsTurnMid {\lgx{EF3C}} % ClsTurn middle
- \newcommand \ClsTurnExt {\lgx{EF3D}} % ClsTurn extender
+ \newcommand \ClsForceMid {\lgx{EF3C}} % ClsForce middle
+ \newcommand \ClsForceExt {\lgx{EF3D}} % ClsForce extender
\newcommand \OpnBarBtm {\lgx{EF4C}} % OpnBar bottom
\newcommand \OpnBarExt {\lgx{EF4D}} % OpnBar extender
@@ -2056,8 +2056,7 @@
% bold font has the symSlu and mathSlu macros. Unlike the unicode-math package,
% these scripts do not provide the \partial and \nabla symbols. Also unlike the
% unicode-math package, the Greek scripts do not change due to context. The symmni
-% and mathmni macros space out adjacent letters unlike the the other macros and
-% are raised by 0.433em to match the Knt symbols.
+% and mathmni macros space out adjacent letters unlike the the other macros.
%
% Synonyms for some of the symXxx macros are provided for use in logic.
%
@@ -2065,26 +2064,27 @@
% \propi \symsai Italic sans-serif variables.
% \meta \symSau Bold sans-serif variables.
% \metai \symSai Bold, italic sans-serif variables.
-%
+%
% \bnch \symslu Upright slab-serif variables.
% \bnchi \symsli Italic slab-serif variables.
% \bnchb \symSlu Bold slab-serif variables.
% \bnchbi \symSli Bold, italic slab-serif variables.
-%
+%
% \vrbl \symsru Upright serif variables.
% \vrbli \symsri Italic serif variables.
% \vrblb \symSru Bold serif variables.
% \vrblbi \symSri Bold, italic serif variables.
-%
+%
% \vrblc \symcli Calligraphic variables.
% \vrblC \symCli Calligraphic bold variables.
%
% \vrblf \symfru Fraktur variables.
% \vrblF \symFru Bold, Fraktur variables.
%
-% \vrbld \symblu Blackboard / double struck variables
-%
% \mono \symmnu Monospace slab-serif variables.
+% \monoi \symmni Monospace, italic slab-serif variables.
+%
+% \vrbld \symblu Blackboard / double struck variables
%
\newcommand \defineLatinScriptMacro[3] {%
@@ -2154,16 +2154,16 @@
\Umathcode "7A = "#3 \symLogix \numexpr "#2 + "7A\relax}
\newcommand \defineLatinScript[3] {%
-\expandafter\def\csname #1zero\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "30}}% Latin digit 0
-\expandafter\def\csname #1one\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "31}}% Latin digit 1
-\expandafter\def\csname #1two\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "32}}% Latin digit 2
-\expandafter\def\csname #1three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3
-\expandafter\def\csname #1four\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "34}}% Latin digit 4
-\expandafter\def\csname #1five\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "35}}% Latin digit 5
-\expandafter\def\csname #1six\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "36}}% Latin digit 6
-\expandafter\def\csname #1seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7
-\expandafter\def\csname #1eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8
-\expandafter\def\csname #1nine\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "39}}% Latin digit 9
+\expandafter\def\csname #1Zero\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "30}}% Latin digit 0
+\expandafter\def\csname #1One\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "31}}% Latin digit 1
+\expandafter\def\csname #1Two\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "32}}% Latin digit 2
+\expandafter\def\csname #1Three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3
+\expandafter\def\csname #1Four\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "34}}% Latin digit 4
+\expandafter\def\csname #1Five\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "35}}% Latin digit 5
+\expandafter\def\csname #1Six\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "36}}% Latin digit 6
+\expandafter\def\csname #1Seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7
+\expandafter\def\csname #1Eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8
+\expandafter\def\csname #1Nine\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "39}}% Latin digit 9
%
\expandafter\def\csname #1A\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "41}}% Latin letter A
\expandafter\def\csname #1B\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "42}}% Latin letter B
@@ -2337,8 +2337,8 @@
% Sans serif font.
- \newcommand \sauNbrBase {0000}
- \newcommand \sauLtrBase {0000}
+ \newcommand \sauNbrBase {F0F0}
+ \newcommand \sauLtrBase {F640}
\defineLatinScript{sau}{\sauNbrBase}{\sauLtrBase}
@@ -2517,7 +2517,7 @@
\newcommand \vrblc[1] {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}}
-% Calligraphic script boldfont.
+% Calligraphic script bold font.
\newcommand \CliNbrBase {F500}
\newcommand \CliLtrBase {F540}
@@ -2583,6 +2583,10 @@
\newcommand \symmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
\newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}}
+ \defineLatinScript{Monoi}{\mnuNbrBase}{\mnuLtrBase}
+
+ \newcommand \monoi[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
+
% Blackboard font.
\newcommand \bluNbrBase {F600}