summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-06-24 21:02:30 +0000
committerKarl Berry <karl@freefriends.org>2020-06-24 21:02:30 +0000
commit6596627aaab230cc4a331dd121f46a831ee540c2 (patch)
tree0ff5bae264f50657cc8c70f07cea5693c7ddc6f1
parentcf5df100ef322bec28122992b958aecc0dfdb48f (diff)
logix (24jun20)
git-svn-id: svn://tug.org/texlive/trunk@55650 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/fonts/logix/CHANGELOG70
-rw-r--r--Master/texmf-dist/doc/fonts/logix/README14
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.eotbin377084 -> 392838 bytes
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.math97
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.pdfbin424651 -> 459766 bytes
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.tex778
-rw-r--r--Master/texmf-dist/doc/fonts/logix/logix.vfcbin3603260 -> 4668233 bytes
-rw-r--r--Master/texmf-dist/fonts/opentype/public/logix/logix.otfbin447364 -> 493900 bytes
-rw-r--r--Master/texmf-dist/fonts/opentype/public/logix/logix.woffbin459968 -> 476784 bytes
-rw-r--r--Master/texmf-dist/fonts/opentype/public/logix/logix.woff2bin284336 -> 308204 bytes
-rw-r--r--Master/texmf-dist/fonts/truetype/public/logix/logix.ttfbin1068560 -> 1140760 bytes
-rw-r--r--Master/texmf-dist/tex/latex/logix/logix.sty278
12 files changed, 731 insertions, 506 deletions
diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG
index 0ceb7521bf6..d4e8d58a250 100644
--- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG
+++ b/Master/texmf-dist/doc/fonts/logix/CHANGELOG
@@ -1,13 +1,73 @@
+2020-05-23 v1.05
+
+ 1. Font loading was tweaked to accomodate a change in the luaotfload package
+ which broke stretchy delimiters in LuaLaTeX.
+
+ 2. Three symbols were renamed.
+
+ \Ng --> \Ngt
+ \DottedCircle --> \DottedCircl
+ \Dts --> \CDots
+
+ 3. Several existing symbols were exported:
+
+ \TFNone
+ \NTrue
+ \TFBoth
+ \NFalse
+ \Bot
+ \Top
+ \VDots
+
+ 4. Two symbols were added
+
+ \TripleQuote
+ \LDots
+
+ 5. A pair of stretchy delimiters were added
+
+ \OpnTrpBar
+ \ClsTrpBar
+
+ 6. A bold calligraphic script was added.
+
+ 7. Since many (most) Unicode fonts do not provide a systematic set of the basic
+ geometric shapes in different sizes, 126 new geometric symbols are provided.
+ Nine sizes (each) for circles, squares, diamonds, right triangle, left
+ triangle, up triangle and down triangle for both white and black variants
+ were added. Unlike the existing geometric symbols which are vertically
+ centered at 0.25 em for use in logic, these are vertically centered at
+ 0.50 em for general use, with side bearings of 0.1 em. The smallest shapes
+ have basic dimension of 0.2 em, and each larger shape increases in size by
+ 0.1 em, up to 1.0 em. These symbols are name:
+
+ \WhiteCircleA ... \WhiteCircleI
+ \BlackCircleA ... \BlackCircleI
+ \WhiteSquareA ... \WhiteSquareI
+ \BlackSquareA ... \BlackSquareI
+ \WhiteDiamondA ... \WhiteDiamondI
+ \BlackDiamondA ... \BlackDiamondI
+ \WhiteRightTriangleA ... \WhiteRightTriangleI
+ \BlackRightTriangleA ... \BlackRightTriangleI
+ \WhiteLeftTriangleA ... \WhiteLeftTriangleI
+ \BlackLeftTriangleA ... \BlackLeftTriangleI
+ \WhiteUpTriangleA ... \WhiteUpTriangleI
+ \BlackUpTriangleA ... \BlackUpTriangleI
+ \WhiteDownTriangleA ... \WhiteDownTriangleI
+ \BlackDownTriangleA ... \BlackDownTriangleI
+
+ 8. The environments for logic proofs were slightly tweaked for improved readability.
+
2020-05-01 v1.04
- 1. Two new Knot symbols were added, KntHDASH and KntVDASH
+ 1. Two new Knot symbols were added, \KntHDASH and \KntVDASH.
2. A few symbols were renamed to avoid conflict with standard Unicode names.
- Comma --> Coma
- Number --> Numbr
- Percent --> Percnt
- Plus --> Pls
+ \Comma --> \Coma
+ \Number --> \Numbr
+ \Percent --> \Percnt
+ \Plus --> \Pls
2020-03-07 v1.03
diff --git a/Master/texmf-dist/doc/fonts/logix/README b/Master/texmf-dist/doc/fonts/logix/README
index 17b059e729b..0831ce54774 100644
--- a/Master/texmf-dist/doc/fonts/logix/README
+++ b/Master/texmf-dist/doc/fonts/logix/README
@@ -1,13 +1,13 @@
The logix package.
-This is the README for the logix package, version 2020-05-01 v1.04.
+This is the README for the logix package, version 2020-05-23 v1.05.
This package provides supplemental symbols for use in logic and mathematics
which are largely not present in Unicode. Some symbols are in Unicode but
are included because they are variants that may look better in some
applications. Logic tends not to have the complex layouts that is common for
more general mathematics, but has different requirements for readability.
-This font is intended to complement, but not replace the AMS STIX2 fonts.
+This font is intended to supplement, but not replace the AMS STIX2 fonts.
However, it may used with any mathematical font since it does not replace or
redefine any symbols. This package also provides an environment for drawing
knots using the \Knt drawing symbols and three environments for Hilbert style
@@ -21,15 +21,15 @@ OpenType font file is usable for LaTeX, the .ttf, .woff, .woff2 and .eot font
files are also supplied in this distribution.
Other than many miscellaneous symbols, there are a large number of arrows,
-geometrical symbols, Knot drawing symbols, 68 stretchy delimiters plus a
-stretchy binding bar, of which 60 are fully stretchable. The remaining 8 are
+geometrical symbols, Knot drawing symbols, 70 stretchy delimiters plus a
+stretchy binding bar, of which 62 are fully stretchable. The remaining 8 are
stretchy up to 5 times the original size. Some of the delimiters are present
in Unicode, but their design in STIX2 does not work as well for logic. In
particular, STIX2 delimiters tend to not extend as far below the baseline
and above the baseline as would be desirable. Also, some STIX2 delimiters
take more horizontal space than is necessary.
-There are twenty scripts, each of which (except for the two Greek scripts)
+There are twenty one scripts, each of which (except for the two Greek scripts)
have matching numeric, lower case and upper case glyphs. All symbols in this
font are designed to be compatible with the STIX2 mathematical font by AMS.
Some of these scripts overlap the Unicode math scripts, but are not intended
@@ -39,8 +39,8 @@ script -- digits or lower case may be missing, or even individual letters
variable naming. Some script variants are omitted. Many of those variants are
useful in logic. The scripts included are sans serif, slab serif, normal serif
(each of these has upright, italic, bold and bold italic versions) as well as
-a calligraphic font, blackboard, fraktur (upright and bold), monospace,
-monospace italic with normal serif, and Greek (upright and italic).
+a calligraphic font (italic and bold), blackboard, fraktur (upright and bold),
+monospace, monospace italic with normal serif, and Greek (upright and italic).
Licenses:
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.eot b/Master/texmf-dist/doc/fonts/logix/logix.eot
index 87b369aa63a..2350c20a795 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.eot
+++ b/Master/texmf-dist/doc/fonts/logix/logix.eot
Binary files differ
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.math b/Master/texmf-dist/doc/fonts/logix/logix.math
index bcdf2173082..4883986e881 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.math
+++ b/Master/texmf-dist/doc/fonts/logix/logix.math
@@ -1,14 +1,14 @@
-This file contains the MATH table which allows stretchy glyphs. The data in this file
-is in the .ttx format and instead of glyph indicies, it uses glyph names which FontLab
-does not currently support. Therefore, edit this file for the MATH data corresponding
-to the current FontLab .vfc master. Then export the FontLab master to .otf
-format. Use
+This file contains the MATH table which allows stretchy glyphs and is considered the
+master for the MATH table data. This file is in the .ttx format and instead of glyph
+indicies, it uses glyph names which FontLab does not currently support. Therefore,
+edit this file for the MATH data corresponding to the current FontLab .vfc master.
+Then export the FontLab master to .otf format (include font names). Use
ttx logix.otf
-to convert logix.otf to logix.ttx. Then insert the remainder of this file starting at
-the <MATH> tag just before the <DSIG> tag in the logix.ttx file. Then delete logix.otf
-and use
+to convert logix.otf to logix.ttx. Note that ttx requires Python 2. Then insert the
+remainder of this file starting at the <MATH> tag just before the <DSIG> tag in the
+logix.ttx file. Then delete logix.otf and use
ttx logix.ttx
@@ -18,6 +18,10 @@ to a temporary buffer. Close logix.otf and open logix.vfc and import the MATH ta
from the temporary buffer. Make sure it is set for export (click button to immediate
left of MATH in the list of tables). Then export all of the various formats.
+Note: FontLab 7 does not import the MATH table or other OpenType tables (except for the
+ .vfc and .vfj files) by default. The "Decompile to XML in Tables" option must be
+ set under "Opent Fonts" in Preferences. This was not necessary in FontLab 6.
+
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
<MATH>
@@ -1096,10 +1100,36 @@ left of MATH in the list of tables). Then export all of the various formats.
<Glyph value="ClsDblBarK"/>
<Glyph value="ClsDblBarL"/>
<Glyph value="OpnDblBarI"/>
+ <Glyph value="OpnTrpBar"/>
+ <Glyph value="OpnTrpBarA"/>
+ <Glyph value="OpnTrpBarB"/>
+ <Glyph value="OpnTrpBarC"/>
+ <Glyph value="OpnTrpBarD"/>
+ <Glyph value="OpnTrpBarE"/>
+ <Glyph value="OpnTrpBarF"/>
+ <Glyph value="OpnTrpBarG"/>
+ <Glyph value="OpnTrpBarH"/>
+ <Glyph value="OpnTrpBarJ"/>
+ <Glyph value="OpnTrpBarK"/>
+ <Glyph value="OpnTrpBarL"/>
+ <Glyph value="ClsTrpBar"/>
+ <Glyph value="ClsTrpBarA"/>
+ <Glyph value="ClsTrpBarB"/>
+ <Glyph value="ClsTrpBarC"/>
+ <Glyph value="ClsTrpBarD"/>
+ <Glyph value="ClsTrpBarE"/>
+ <Glyph value="ClsTrpBarF"/>
+ <Glyph value="ClsTrpBarG"/>
+ <Glyph value="ClsTrpBarH"/>
+ <Glyph value="ClsTrpBarI"/>
+ <Glyph value="ClsTrpBarJ"/>
+ <Glyph value="ClsTrpBarK"/>
+ <Glyph value="ClsTrpBarL"/>
+ <Glyph value="OpnTrpBarI"/>
</ExtendedShapeCoverage>
</MathGlyphInfo>
<MathVariants>
- <MinConnectorOverlap value="50"/>
+ <MinConnectorOverlap value="52"/>
<VertGlyphCoverage Format="1">
<Glyph value="OpnBar"/>
<Glyph value="OpnGrp"/>
@@ -1168,8 +1198,10 @@ left of MATH in the list of tables). Then export all of the various formats.
<Glyph value="ClsDblGrp"/>
<Glyph value="OpnDblBar"/>
<Glyph value="ClsDblBar"/>
+ <Glyph value="OpnTrpBar"/>
+ <Glyph value="ClsTrpBar"/>
</VertGlyphCoverage>
- <!-- VertGlyphCount=66 -->
+ <!-- VertGlyphCount=68 -->
<!-- HorizGlyphCount=0 -->
<VertGlyphConstruction index="0">
<GlyphAssembly>
@@ -2691,6 +2723,7 @@ left of MATH in the list of tables). Then export all of the various formats.
<MathGlyphVariantRecord index="11"><VariantGlyph value="ClsDblGrpK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
<MathGlyphVariantRecord index="12"><VariantGlyph value="ClsDblGrpL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
</VertGlyphConstruction>
+
<VertGlyphConstruction index="65">
<GlyphAssembly>
<ItalicsCorrection><Value value="0"/></ItalicsCorrection>
@@ -2735,5 +2768,49 @@ left of MATH in the list of tables). Then export all of the various formats.
<MathGlyphVariantRecord index="11"><VariantGlyph value="ClsDblBarK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
<MathGlyphVariantRecord index="12"><VariantGlyph value="ClsDblBarL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
</VertGlyphConstruction>
+ <VertGlyphConstruction index="67">
+ <GlyphAssembly>
+ <ItalicsCorrection><Value value="0"/></ItalicsCorrection>
+ <!-- PartCount=2 -->
+ <PartRecords index="0"><glyph value="OpnTrpBarBtm"/><StartConnectorLength value="0"/> <EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
+ <PartRecords index="1"><glyph value="OpnTrpBarExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="400"/> <PartFlags value="1"/></PartRecords>
+ </GlyphAssembly>
+ <!-- VariantCount=13 -->
+ <MathGlyphVariantRecord index="0"> <VariantGlyph value="OpnTrpBar"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="1"> <VariantGlyph value="OpnTrpBarA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="2"> <VariantGlyph value="OpnTrpBarB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="3"> <VariantGlyph value="OpnTrpBarC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="4"> <VariantGlyph value="OpnTrpBarD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="5"> <VariantGlyph value="OpnTrpBarE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="6"> <VariantGlyph value="OpnTrpBarF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="7"> <VariantGlyph value="OpnTrpBarG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="8"> <VariantGlyph value="OpnTrpBarH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="9"> <VariantGlyph value="OpnTrpBarI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="10"><VariantGlyph value="OpnTrpBarJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="11"><VariantGlyph value="OpnTrpBarK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="12"><VariantGlyph value="OpnTrpBarL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
+ </VertGlyphConstruction>
+ <VertGlyphConstruction index="68">
+ <GlyphAssembly>
+ <ItalicsCorrection><Value value="0"/></ItalicsCorrection>
+ <!-- PartCount=2 -->
+ <PartRecords index="0"><glyph value="ClsTrpBarBtm"/><StartConnectorLength value="0"/> <EndConnectorLength value="350"/><FullAdvance value="4250"/><PartFlags value="0"/></PartRecords>
+ <PartRecords index="1"><glyph value="ClsTrpBarExt"/><StartConnectorLength value="350"/><EndConnectorLength value="350"/><FullAdvance value="400"/> <PartFlags value="1"/></PartRecords>
+ </GlyphAssembly>
+ <!-- VariantCount=13 -->
+ <MathGlyphVariantRecord index="0"> <VariantGlyph value="ClsTrpBar"/> <AdvanceMeasurement value="1001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="1"> <VariantGlyph value="ClsTrpBarA"/> <AdvanceMeasurement value="1251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="2"> <VariantGlyph value="ClsTrpBarB"/> <AdvanceMeasurement value="1501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="3"> <VariantGlyph value="ClsTrpBarC"/> <AdvanceMeasurement value="1751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="4"> <VariantGlyph value="ClsTrpBarD"/> <AdvanceMeasurement value="2001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="5"> <VariantGlyph value="ClsTrpBarE"/> <AdvanceMeasurement value="2251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="6"> <VariantGlyph value="ClsTrpBarF"/> <AdvanceMeasurement value="2501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="7"> <VariantGlyph value="ClsTrpBarG"/> <AdvanceMeasurement value="2751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="8"> <VariantGlyph value="ClsTrpBarH"/> <AdvanceMeasurement value="3001"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="9"> <VariantGlyph value="ClsTrpBarI"/> <AdvanceMeasurement value="3251"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="10"><VariantGlyph value="ClsTrpBarJ"/> <AdvanceMeasurement value="3501"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="11"><VariantGlyph value="ClsTrpBarK"/> <AdvanceMeasurement value="3751"/></MathGlyphVariantRecord>
+ <MathGlyphVariantRecord index="12"><VariantGlyph value="ClsTrpBarL"/> <AdvanceMeasurement value="4001"/></MathGlyphVariantRecord>
+ </VertGlyphConstruction>
</MathVariants>
</MATH>
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.pdf b/Master/texmf-dist/doc/fonts/logix/logix.pdf
index e6c781824b5..9c53fdc4347 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.pdf
+++ b/Master/texmf-dist/doc/fonts/logix/logix.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.tex b/Master/texmf-dist/doc/fonts/logix/logix.tex
index a1a1f4c70f3..756f8a1ce9f 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.tex
+++ b/Master/texmf-dist/doc/fonts/logix/logix.tex
@@ -85,31 +85,35 @@
\newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in}
- \section{Introduction: logix 2020-05-01 v1.04}
+ \section{Introduction: logix 2020-05-23 v1.05}
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
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 ASCII code space, are in Unicode's
- Private Use Area. This package does not replace either the text font or the math font.
-
- The logix package includes, in turn, the ifxetex, ifluatex, unicode-math and arydshln
- packages. The unicode-math package includes the fontspec package. The arydsln package
- conflicts with several packages. Documented conflicts are the array, longtable, colortab
- and colortbl packages, which must be loaded before the logix package. Typical use of
- the logix package in a \LaTeX\ source file is:
+ All of the symbols, with the exception of those in the Basic Latin code space, are in
+ Unicode's Private Use Area. This package does not replace either the text font or the
+ math 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
+ fontspec package. The arydsln package conflicts with several packages. Known conflicts
+ 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{verbatim}
\usepackage{array} % Optional, only if otherwise required.
+
\usepackage{logix}
\setmainfont{STIX Two Text}
\setmathfont{STIX Two Math}
\end{verbatim}
\vspace{-0.5em}
- \noindent although the \AmS{} STIX2 fonts may be included prior to the logix package,
- provided that the unicode-math package is loaded first.
+ \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
@@ -125,13 +129,13 @@
permits, the requested symbol can be exported (once a name has been assigned, the requestor
can then make a quick patch to their logix.sty file for immediate usage). Symbol names
in the font file are the same as the \LaTeX\ macro for the symbol with the exception of
- the ASCII code page since those names potentially conflict with existing \LaTeX\ names.
- Otherwise, if a symbol does not have a name, then it is not exported.
-
+ the Basic Latin code page since those names potentially conflict with existing \LaTeX\
+ names. Otherwise, if a symbol does not have a name, then it is not exported.
+
Should you want an entirely new symbol, that is also possible \textemdash\ but may take
more time depending on difficulty and available time. Of course, petitioning the
gatekeepers of Unicode to add any of the symbols here which are not in Unicode and have
- been used in publication is possible, but time-consuming. No assurences are made about
+ been used in publication is possible, but time-consuming. No assurances are made about
the Unicode codepoint (or even font file) for any symbol in the font. Those may change
with updates to this package. Use the provided macro names and not the Unicode codepoints.
@@ -152,23 +156,25 @@
which have a good appearance in mathematical expressions are not as appropriate for
logical expressions.
\clearpage
-
- Symbols in the logix font which are also in Unicode are typically glyph variants that
- are designed to better accommodate formal logic expressions. These may occur in the
- same document as the mathematical variants, and so are not assigned the Unicode
- codepoints of the mathematical variants.
-
- This package provides 34 stretchy delimiters, each of which has a left and right variant.
- There is also a stretchy binding bar, commonly used with set notation. Of those 34
+
+ 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
+ mathematical variants, and so are not assigned the Unicode codepoints of the
+ mathematical variants.
+
+ This package provides 35 stretchy delimiters, each of which has a left and right variant.
+ There is also a stretchy binding bar, commonly used with set notation. Of those 35
delimiters, 4 are only stretchy up to a point (5 times original height). All of the
remaining delimiters may be of arbitrary size. At this time, there are no horizontal
- stretchy operators. However, the function arrow and the logic implication arrows have
+ stretchy operators. However, the function arrow and the logic arrows have
four available lengths. If {\textbackslash}Delim is a stretchy symbol, then
{\textbackslash}DelimX (where X is A\textendash{L} or A\textendash{P}) are explicit
larger sizes of {\textbackslash}Delim. Additionally, {\textbackslash}DelimS is
automatically stretchy, so the use of {\textbackslash}left, {\textbackslash}middle or
{\textbackslash}right is not necessary. In the case of {\textbackslash}middle, a
- {\textbackslash}left and {\textbackslash}right are still required in the expression.
+ {\textbackslash}left and {\textbackslash}right are still required in the expression
+ as long as "Opn" delimiters are on the left, "Cls" delimiters are on the right and
+ the binding bar is in the middle.
A large set of arrows is provided for potential function variants. Arrows are provided
to distinguish between 8 types of logic. The distinctions are largely for naming purposes,
@@ -183,11 +189,14 @@
collection of punctuation symbols. Operators for choice, least and greatest fixed points
are provided. A number of modal operators are provided, but are by no means comprehensive.
As with arrows, modal operators are frequently reused so names are merely suggestive and
- convenient. There are many other geometric symbols which are suitable for, and (often
- have been used for), other modal operators. Explicit names for some of those could be
- provided. Operators are provided to work with \enquote{bunches} which are like lists or
- sets but without the packaging. Ordering operators (and their negations) are provided
- \textemdash\ however there are additional ordering operators which are not exported.
+ convenient. There are many other geometric symbols which are suitable for, and often
+ have been used for, other modal operators. Explicit names for some of those could be
+ provided. For the basic geometric shapes: circle, square, diamond and triangles and for
+ both black and white variants, explicitly sized symbols are provided ranging from 0.2 em
+ to 1.0em in 0.1 em increments. Operators are provided to work with \enquote{bunches}
+ which are like lists or sets but without the packaging. Ordering operators (and their
+ negations) are provided \textemdash\ however there are additional ordering operators
+ not exported.
\section{Scripts}
@@ -195,9 +204,10 @@
Unicode is lacking in this area \textemdash\ it does not always provide either all
symbols for a script (e.g. missing digits) or all variants for a script (e.g. normal,
oblique, bold and bold oblique). Slab serif scripts are not provided by Unicode at
- all. To alleviate this, 20 supplemental scripts are provided. None of these scripts
+ 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.
+ contain only digits and letters. Since these are largely used as single letters, or
+ very short words, kerning is not implemented at this time.
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
@@ -210,17 +220,17 @@
sa & Sans serif & sau, sai, Sau, Sai & bl & Blackboard & blu \\
sl & Slab serif & slu, sli, Slu, Sli & fr & Fraktur & fru, Fru \\
sr & Normal serif & sru, sri, Sru, Sri & mn & Monospace & mnu, mni \\
- cl & Calligraphic & cli & gr & Greek & gru, gri \\
+ cl & Calligraphic & cli, Cli & gr & Greek & gru, gri \\
\end{tabular}
+ \clearpage
There is a macro defined for each script and each digit or letter, where the name of the
macro is the 3-character identifier of the script, as defined above, followed by the name
of the digit (zero, one, two, three, four, five, six, seven, eight or nine) or by the
name of the letter (a{\textendash}z or A{\textendash}Z). Greek scripts do not have digits,
and the name of the letter is used instead (e.g. alpha, beta, \textellipsis). For example,
{\textbackslash}SluX is a slab serif, bold upper case '\SluX'.
- \clearpage
-
+
There is a special script variant \enquote{Knt} which is the same as the \enquote{mni}
script, except that it is raised above the normal baseline. It is intended for use with
the Knt symbols.
@@ -255,11 +265,12 @@
\begin{tabular}{ L{13em} L{2.75em} L{4.75em} L{5em} L{3.5em} }
Calligraphic font & cli & {\textbackslash}symcli & {\textbackslash}mathcli & {\textbackslash}vrblc \\
- Blackboard font & blu & {\textbackslash}symblu & {\textbackslash}mathblu & {\textbackslash}vrbld \\
+ Calligraphic bold font & Cli & {\textbackslash}symCli & {\textbackslash}mathCli & {\textbackslash}vrblC \\
Fraktur font & fru & {\textbackslash}symfru & {\textbackslash}mathfru & {\textbackslash}vrblf \\
Fraktur bold font & Fru & {\textbackslash}symFru & {\textbackslash}mathFru & {\textbackslash}vrblF \\
Monospace font & mnu & {\textbackslash}symmnu & {\textbackslash}mathmnu & {\textbackslash}mono \\
Monospace italic, serif font & mni & {\textbackslash}symmni & {\textbackslash}mathmni & \\
+ Blackboard font & blu & {\textbackslash}symblu & {\textbackslash}mathblu & {\textbackslash}vrbld \\
Greek font & gru & {\textbackslash}symgru & {\textbackslash}mathgru & \\
Greek, italic font & gri & {\textbackslash}symgri & {\textbackslash}mathgri & \\
\end{tabular}
@@ -286,6 +297,7 @@
\end{verbatim}
\vspace{-0.75em}
+ \clearpage
\noindent which produces the following knot diagram for the Trefoil knot.
Note that the second row, fourth column contains two symbols whose combined
width satisfies the width constraints.
@@ -301,7 +313,6 @@
\end{addmargin}
\end{flushleft}
\vspace{-0.25em}
- \clearpage
\noindent This example is the Square Knot using the Knt script for line labeling.
\vspace{-0.25em}
@@ -395,7 +406,7 @@
\begin{verbatim}
\begin{KnotGrid}
\KntNN \KntNN \KntLTSC \KntTSN \KntTRSC \KntNN \KntNN \\
- \KntNN \KntRSN \KntNN \KntTCS \KntNN \KntLSN \KntNN \\
+ \KntNN \KntRSN \KntNN \KntTCS \KntNN \KntLSN \KntNN \\
\KntNN \KntNN \KntVXSUSO \KntNN \KntVXSUSO \KntNN \KntNN \\
\KntNN \KntRBSC \KntNN \KntVXSOSU \KntNN \KntBLSC \KntNN \\
\KntLTSC \KntNN \KntNN \KntVXSOSU \KntNN \KntNN \KntTRSC \\
@@ -415,7 +426,7 @@
\begin{addmargin}[0.25in]{0.em}
\begin{KnotGrid}
\KntNN \KntNN \KntLTSC \KntTSN \KntTRSC \KntNN \KntNN \\
- \KntNN \KntRSN \KntNN \KntTCS \KntNN \KntLSN \KntNN \\
+ \KntNN \KntRSN \KntNN \KntTCS \KntNN \KntLSN \KntNN \\
\KntNN \KntNN \KntVXSUSO \KntNN \KntVXSUSO \KntNN \KntNN \\
\KntNN \KntRBSC \KntNN \KntVXSOSU \KntNN \KntBLSC \KntNN \\
\KntLTSC \KntNN \KntNN \KntVXSOSU \KntNN \KntNN \KntTRSC \\
@@ -428,7 +439,7 @@
\end{addmargin}
\end{flushleft}
- \noindent This final example, is the rational link corresponding to the rational number $4117\, /\, 17426$.
+ \noindent The final example is the rational link corresponding to the rational number $4117\, /\, 17426$.
\vspace{-0.50em}
\begin{flushleft}
@@ -461,8 +472,8 @@
sized both horizontally and vertically to assist. The knot symbols are typeset
in math mode so that spaces are ignored. This allows the grid structure to be
explicit, making readability and maintenance easier. In the first example above
- (the Trefoil knot), the fourth grid column is 0.5em wide, but in the second row
- an 0.25em width symbol is used, which must then be padded with an 0.25em space.
+ (the Trefoil knot), the fourth grid column is 0.5 em wide, but in the second row
+ an 0.25 em width symbol is used, which must then be padded with an 0.25 em space.
\noindent In order to keep names shortish, the following abbreviations are used for
Knt symbols
@@ -485,23 +496,22 @@
\LaTeX\ has more than adequate support for traditional mathematical proofs.
Conversely, in logic, object proofs are written either as a linear sequence
- (usually Hilbert systems) or as a tree (usually Natural Deduction or Gentzen
+ (usually Hilbert style proofs) or as a tree (usually Natural Deduction or Gentzen
systems), but linear proofs can be used with most systems of logic. Tree style
proofs have support in several other packages. However, linear proofs do not.
This package supplies three environments to support linear proofs to alleviate
this deficiency.
Logic definitions typically have a name with an optional number (e.g. \enquote{Ax. 3}
- or \enquote{Conjunction}), an expression and, optionally, a brief comment. Sometimes
- a definition stands alone and other times several definitions are associated in a
- group. The LogixDefn environment provides structured formatting for logic
- definitions, either singly or as a group. The LogixDefn environment does not have
- any required parameters and has an optional parameter. That parameter must be a
- horizontal length. If present, all of the definition expressions must fit within
- that length and its presence indicates that a comment may optionally follow each
- expression. The length should be sufficient to allow adequate space between the
- longest expression and the start of the comments to avoid the expressions
- overlapping the comments.
+ or \enquote{Conjunction}), an expression and, optionally, a brief comment. A definition
+ may stand alone or multiple definitions may be grouped. The LogixDefn environment
+ provides structured formatting for logic definitions, either singly or as a group.
+ The LogixDefn environment does not have required parameters, but does have an
+ optional parameter. That parameter must be a horizontal length. If present, all of
+ the definition expressions must fit within that length and its presence indicates
+ that a comment may optionally follow each expression. The length should be sufficient
+ to allow adequate space between the longest expression and the start of the comments,
+ and to avoid the expressions overlapping the comments.
The LogixDefn environment defines the nested Line macro, which has three parameters
if the optional LogixDefn parameter is not present, and otherwise four. The
@@ -530,7 +540,7 @@
\end{verbatim}
\begin{flushleft}
- which is typeset as shown below.
+ which are typeset as shown below.
\vspace{0.25em}
\begin{addmargin}[0.25in]{0.em}
@@ -561,11 +571,11 @@
name (and any associated number) of the theorem, a possibly empty set of postulates
which are assumed only for the purpose of the proof (e.g. assuming the Axiom of
Choice (AC) for a specific theorem when working in ZF instead of ZFC).
-
+
\clearpage
- Thus, postulates are distinguished from axioms which are assumed to hold for all
- theorems in a system whereas a postulate holds only for a specific proof. The third
- parameter is the statement (the theorem's expression) of the proof.
+ Postulates are distinguished from axioms. An axiom is assumed to hold for all
+ theorems in a system whereas a postulate is only assumed to hold for a specific
+ proof. The third parameter is the statement (the theorem's expression) of the proof.
The LogixProof environment defines the Dash and Line nested macros. These are
identical except that the Dash macro is followed by a dashed line separator and
@@ -579,7 +589,7 @@
justifies the proof step in some manner. The second style starts with a line
number, then the justifying theorem or axiom name, then a list of previous line
numbers of the proof that justify the proof step, followed by the expression for
- the proof line and, finally, an optional comment.
+ the proof line and finally, an optional comment.
The Dash and Line macros accommodate both proof styles. The first parameter for each
of these macros is the line number. It is typeset in math mode so that subscripts
@@ -620,7 +630,8 @@
\vspace{-1.50em}
\begin{flushleft}
- which is typeset as shown below.
+ which are typeset as shown below. The first example assumes that the
+ Axiom of Choice holds within the context of the proof.
\vspace{0.25em}
\begin{addmargin}[0.25in]{0.em}
@@ -643,11 +654,11 @@
\end{flushleft}
\clearpage
- \begin{flushleft}
- A more realistic example of using the LogixProof environment is shown below
- (note the use of implication arrow lengths to indicate depth of expression
- nesting \textemdash\ this is not automatic).
+ A more realistic example of using the LogixProof environment is shown below.
+ (Note the use of arrow lengths to indicate depth of expression nesting.
+ This is not automatic.)
+ \begin{flushleft}
\begin{addmargin}[0.25in]{0.em}
\begin{LogixProof} {Th 43} {} {\OpnParn\prop{p} \SImpl \prop{q}\ClsParn \LImpl \OpnParn\prop{p} \Impl \OpnParn\prop{r} \SImpl \prop{q}\ClsParn\ClsParn}
\Dash{1} {Th 14} {} {\OpnParn\prop{p} \SImpl \prop{q}\ClsParn \Impl \OpnParn\prop{p} \SImpl \prop{q}\ClsParn}
@@ -661,12 +672,13 @@
\end{flushleft}
\vspace{-0.25em}
- Additionally, the LogixSeqnt environment is provided. It is identical to the
- LogixProof environment except that there are two expressions associated with
- each proof line. The first may be empty and contains the premises for a sequent
- and the second 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.
+ In addition to the LogixProof environment, the LogixSeqnt environment is
+ also provided. It is identical to the LogixProof environment with the exception
+ that there are two expressions associated with each proof line instead of one.
+ The first may be empty and contains the premises for a sequent and the second
+ 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{verbatim}
@@ -695,7 +707,7 @@
\vspace{-1.50em}
\begin{flushleft}
- which is typeset as shown below.
+ which are typeset as shown below.
\vspace{0.25em}
\begin{addmargin}[0.25in]{0.em}
@@ -761,14 +773,13 @@
ctan@metachaos.net
- \noindent Please allow a few days before emailing a second time. There
- is no spam filter on this email account. Under normal circumstances,
- this email account is checked at least daily.
+ \noindent Please allow a few days before emailing a second time. Under normal
+ circumstances, this email account is checked at least daily.
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 source file.
+ create the actual font files. It is not needed for \LaTeX\ usage, but is provided
+ should the author become unable to maintain the package, and it is picked up by
+ another maintainer. This is a FontLab source file.
In addition, and also not required for \LaTeX\ usage, the various web font files
(.eot, .ttf, .woff and .woff2) are included in the distribution so that users who
@@ -797,6 +808,7 @@
Open Floor & {\textbackslash}OpnFloor & \scalebox{1.50}{\OpnFloor} \\ \hline
Open Turnstile & {\textbackslash}OpnTurn & \scalebox{1.50}{\OpnTurn} \\ \hline
Open Double Vertical Bar & {\textbackslash}OpnDblBar & \scalebox{1.50}{\OpnDblBar} \\ \hline
+ Open Triple Vertical Bar & {\textbackslash}OpnTrpBar & \scalebox{1.50}{\OpnTrpBar} \\ \hline
Open Double Group Brace & {\textbackslash}OpnDblGrp & \scalebox{1.50}{\OpnDblGrp} \\ \hline
Open Double Parenthesis & {\textbackslash}OpnDblParn & \scalebox{1.50}{\OpnDblParn} \\ \hline
Open Double Curly Brace & {\textbackslash}OpnDblBrac & \scalebox{1.50}{\OpnDblBrac} \\ \hline
@@ -835,6 +847,7 @@
Close Floor & {\textbackslash}ClsFloor & \scalebox{1.50}{\ClsFloor} \\ \hline
Close Turnstile & {\textbackslash}ClsTurn & \scalebox{1.50}{\ClsTurn} \\ \hline
Close Double Vertical Bar & {\textbackslash}ClsDblBar & \scalebox{1.50}{\ClsDblBar} \\ \hline
+ Close Triple Vertical Bar & {\textbackslash}ClsTrpBar & \scalebox{1.50}{\ClsTrpBar} \\ \hline
Close Double Group Brace & {\textbackslash}ClsDblGrp & \scalebox{1.50}{\ClsDblGrp} \\ \hline
Close Double Parenthesis & {\textbackslash}ClsDblParn & \scalebox{1.50}{\ClsDblParn} \\ \hline
Close Double Curly Brace & {\textbackslash}ClsDblBrac & \scalebox{1.50}{\ClsDblBrac} \\ \hline
@@ -1156,7 +1169,7 @@
Bitwise AND operator / Logical Conjunction & {\textbackslash}Nd & \scalebox{1.50}{\Nd} \\ \hline
Bitwise OR operator / Logical Disjunction & {\textbackslash}Or & \scalebox{1.50}{\Or} \\ \hline
Bitwise NOT operator / Logical Negation & {\textbackslash}Nt & \scalebox{1.50}{\Nt} \\ \hline
- Classical Logical Negation & {\textbackslash}Ng & \scalebox{1.50}{\Ng} \\ \hline
+ Classical Logical Negation & {\textbackslash}Ngt & \scalebox{1.50}{\Ngt} \\ \hline
Bitwise NAND operator & {\textbackslash}Nand & \scalebox{1.50}{\Nand} \\ \hline
Bitwise NOR operator & {\textbackslash}Nor & \scalebox{1.50}{\Nor} \\ \hline
Bitwise XOR operator & {\textbackslash}Xor & \scalebox{1.50}{\Xor} \\ \hline
@@ -1168,15 +1181,22 @@
\end{symbolListA}
\begin{symbolListA}
- Logical Coherence & {\textbackslash}LcgCohrnc & \scalebox{1.50}{\LcgCohrnc} \\ \hline
- Bunch Coherence & {\textbackslash}BncCohrnc & \scalebox{1.50}{\BncCohrnc} \\ \hline
+ True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline
+ False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline
+ Not True & {\textbackslash}NTrue & \scalebox{1.50}{\NTrue} \\ \hline
+ Not False & {\textbackslash}NFalse & \scalebox{1.50}{\NFalse} \\ \hline
+ Lattice top & {\textbackslash}Top & \scalebox{1.50}{\Top} \\ \hline
+ Neither true nor false & {\textbackslash}TFNone & \scalebox{1.50}{\TFNone} \\ \hline
+ Both true and false & {\textbackslash}TFBoth & \scalebox{1.50}{\TFBoth} \\ \hline
+ Lattice bottom & {\textbackslash}Bot & \scalebox{1.50}{\Bot} \\ \hline
\end{symbolListA}
\begin{symbolListA}
- True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline
- False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline
+ Logical Coherence & {\textbackslash}LcgCohrnc & \scalebox{1.50}{\LcgCohrnc} \\ \hline
+ Bunch Coherence & {\textbackslash}BncCohrnc & \scalebox{1.50}{\BncCohrnc} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Quantified Conjunction & {\textbackslash}QuantCon & \scalebox{1.50}{\QuantCon} \\ \hline
Quantified Disjuntion & {\textbackslash}QuantDis & \scalebox{1.50}{\QuantDis} \\ \hline
@@ -1189,7 +1209,6 @@
Map Abstraction & {\textbackslash}BndMap & \scalebox{1.50}{\BndMap} \\ \hline
\end{symbolListA}
- \clearpage
\begin{symbolListA}
Dot & {\textbackslash}Dt & \scalebox{1.50}{\Dt} \\ \hline
Comma & {\textbackslash}Coma & \scalebox{1.50}{\Coma} \\ \hline
@@ -1197,7 +1216,9 @@
Colon & {\textbackslash}Cln & \scalebox{1.50}{\Cln} \\ \hline
Thus & {\textbackslash}Thus & \scalebox{1.50}{\Thus} \\ \hline
Since & {\textbackslash}Since & \scalebox{1.50}{\Since} \\ \hline
- Dots (ellipsis) & {\textbackslash}Dts & \scalebox{1.50}{\Dts} \\ \hline
+ Vertical Dots (vertical ellipsis) & {\textbackslash}VDots & \scalebox{1.50}{\VDots} \\ \hline
+ Centered Horizontal Dots (horizontal ellipsis) & {\textbackslash}CDots & \scalebox{1.50}{\CDots} \\ \hline
+ Baseline Horizontal Dots (horizontal ellipsis) & {\textbackslash}LDots & \scalebox{1.50}{\LDots} \\ \hline
Binding Dot & {\textbackslash}BndDot & \scalebox{1.50}{\BndDot} \\ \hline
Binding Bar & {\textbackslash}BndBar & \scalebox{1.50}{\BndBar} \\ \hline
Long Vertical Bar & {\textbackslash}LngVrtBar & \scalebox{1.50}{\LngVrtBar} \\ \hline
@@ -1215,6 +1236,7 @@
Right (forward) slash & {\textbackslash}RightSlash & \scalebox{1.50}{\RightSlash} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Single dagger & {\textbackslash}Dagger & \scalebox{1.50}{\Dagger} \\ \hline
Double horizontal dagger & {\textbackslash}Ddagger & \scalebox{1.50}{\Ddagger} \\ \hline
@@ -1225,6 +1247,7 @@
\begin{symbolListA}
Single quote & {\textbackslash}SingleQuote & \scalebox{1.50}{\SingleQuote} \\ \hline
Double quote & {\textbackslash}DoubleQuote & \scalebox{1.50}{\DoubleQuote} \\ \hline
+ Triple quote & {\textbackslash}TripleQuote & \scalebox{1.50}{\TripleQuote} \\ \hline
Back quote (grave) & {\textbackslash}BackQuote & \scalebox{1.50}{\BackQuote} \\ \hline
\end{symbolListA}
@@ -1234,7 +1257,6 @@
Shift for accents & {\textbackslash}ShftAccent & \scalebox{1.50}{\ShftAccent} \\ \hline
\end{symbolListA}
- \clearpage
\begin{symbolListA}
Replace All Bound Variables (right) & {\textbackslash}RplcAllBndRight & \scalebox{1.50}{\RplcAllBndRight} \\ \hline
Replace All Bound Variables (left) & {\textbackslash}RplcAllBndLeft & \scalebox{1.50}{\RplcAllBndLeft} \\ \hline
@@ -1253,6 +1275,7 @@
Extended Least Fixed Point & {\textbackslash}ExLstFix & \scalebox{1.50}{\ExLstFix} \\ \hline
Extended Greatest Fixed Point & {\textbackslash}ExGrtFix & \scalebox{1.50}{\ExGrtFix} \\ \hline
First Ordinal (omega) & {\textbackslash}FrstOrd & \scalebox{1.50}{\FrstOrd} \\ \hline
+ Infinity & {\textbackslash}Infin & \scalebox{1.50}{\Infin} \\ \hline
\end{symbolListA}
\begin{symbolListA}
@@ -1266,6 +1289,7 @@
Null Set & {\textbackslash}NullSet & \scalebox{1.50}{\NullSet} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Logical Necessity & {\textbackslash}LogNec & \scalebox{1.50}{\LogNec} \\ \hline
Logical Possibility & {\textbackslash}LogPos & \scalebox{1.50}{\LogPos} \\ \hline
@@ -1277,17 +1301,6 @@
\end{symbolListA}
\begin{symbolListA}
- Necessity & {\textbackslash}Nec & \scalebox{1.50}{\Nec} \\ \hline
- Possibility & {\textbackslash}Pos & \scalebox{1.50}{\Pos} \\ \hline
- Next & {\textbackslash}Next & \scalebox{1.50}{\Next} \\ \hline
- Future & {\textbackslash}Futr & \scalebox{1.50}{\Futr} \\ \hline
- Past & {\textbackslash}Past & \scalebox{1.50}{\Past} \\ \hline
- Contingency & {\textbackslash}Cont & \scalebox{1.50}{\Cont} \\ \hline
- Non-contingency & {\textbackslash}NonCont & \scalebox{1.50}{\NonCont} \\ \hline
- \end{symbolListA}
-
- \clearpage
- \begin{symbolListA}
Factual Necessity & {\textbackslash}FacNec & \scalebox{1.50}{\FacNec} \\ \hline
Factual Possibility & {\textbackslash}FacPos & \scalebox{1.50}{\FacPos} \\ \hline
Factual Next & {\textbackslash}FacNext & \scalebox{1.50}{\FacNext} \\ \hline
@@ -1298,6 +1311,16 @@
\end{symbolListA}
\begin{symbolListA}
+ Necessity & {\textbackslash}Nec & \scalebox{1.50}{\Nec} \\ \hline
+ Possibility & {\textbackslash}Pos & \scalebox{1.50}{\Pos} \\ \hline
+ Next & {\textbackslash}Next & \scalebox{1.50}{\Next} \\ \hline
+ Future & {\textbackslash}Futr & \scalebox{1.50}{\Futr} \\ \hline
+ Past & {\textbackslash}Past & \scalebox{1.50}{\Past} \\ \hline
+ Contingency & {\textbackslash}Cont & \scalebox{1.50}{\Cont} \\ \hline
+ Non-contingency & {\textbackslash}NonCont & \scalebox{1.50}{\NonCont} \\ \hline
+ \end{symbolListA}
+
+ \begin{symbolListA}
Bunch Meet & {\textbackslash}BnchMeet & \scalebox{1.50}{\BnchMeet} \\ \hline
Bunch Join & {\textbackslash}BnchJoin & \scalebox{1.50}{\BnchJoin} \\ \hline
\end{symbolListA}
@@ -1316,6 +1339,7 @@
Weak Subbunch Negated & {\textbackslash}NotWkSbnch & \scalebox{1.50}{\NotWkSbnch} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Map Meet & {\textbackslash}MapMeet & \scalebox{1.50}{\MapMeet} \\ \hline
Map Join & {\textbackslash}MapJoin & \scalebox{1.50}{\MapJoin} \\ \hline
@@ -1342,7 +1366,6 @@
Subset Negated & {\textbackslash}NotSbset & \scalebox{1.50}{\NotSbset} \\ \hline
\end{symbolListA}
- \clearpage
\begin{symbolListA}
Bunch Meet Quantifier & {\textbackslash}QuantBnchMeet & \scalebox{1.50}{\QuantBnchMeet} \\ \hline
Bunch Join Quantifier & {\textbackslash}QuantBnchJoin & \scalebox{1.50}{\QuantBnchJoin} \\ \hline
@@ -1368,6 +1391,7 @@
Not Greater Than or Equal & {\textbackslash}NotGre & \scalebox{1.50}{\NotGre} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Precedes & {\textbackslash}Pre & \scalebox{1.50}{\Pre} \\ \hline
Precedes or Equal & {\textbackslash}Preq & \scalebox{1.50}{\Preq} \\ \hline
@@ -1392,7 +1416,6 @@
Times & {\textbackslash}Times & \scalebox{1.50}{\Times} \\ \hline
\end{symbolListA}
- \clearpage
\begin{symbolListA}
Append & {\textbackslash}Append & \scalebox{1.50}{\Append} \\ \hline
Concatenation & {\textbackslash}Concat & \scalebox{1.50}{\Concat} \\ \hline
@@ -1404,6 +1427,7 @@
Circled Star & {\textbackslash}CircStar & \scalebox{1.50}{\CircStar} \\ \hline
\end{symbolListA}
+ \clearpage
\begin{symbolListA}
Full height, full width space & {\textbackslash}KntNN & \scalebox{1.50}{\fbox{\KntNN}} \\ \hline
Full height, three quarter width space & {\textbackslash}KntNE & \scalebox{1.50}{\fbox{\KntNE}} \\ \hline
@@ -1781,7 +1805,7 @@
Dotted square & {\textbackslash}DottedSquare & \scalebox{1.50}{\DottedSquare} \\ \hline
Dotted square round corners & {\textbackslash}DottedSquareRoundCorners & \scalebox{1.50}{\DottedSquareRoundCorners} \\ \hline
Dotted diamond & {\textbackslash}DottedDiamond & \scalebox{1.50}{\DottedDiamond} \\ \hline
- Dotted circle & {\textbackslash}DottedCircle & \scalebox{1.50}{\DottedCircle} \\ \hline
+ Dotted circle & {\textbackslash}DottedCircl & \scalebox{1.50}{\DottedCircl} \\ \hline
Dotted right triangle & {\textbackslash}DottedRightTriangle & \scalebox{1.50}{\DottedRightTriangle} \\ \hline
Dotted left triangle & {\textbackslash}DottedLeftTriangle & \scalebox{1.50}{\DottedLeftTriangle} \\ \hline
Dotted down triangle & {\textbackslash}DottedDownTriangle & \scalebox{1.50}{\DottedDownTriangle} \\ \hline
@@ -1918,6 +1942,178 @@
Crossed very small square & {\textbackslash}CrossedVerySmallSquare & \scalebox{1.50}{\CrossedVerySmallSquare} \\ \hline
\end{symbolListX}
+ \begin{symbolListX}
+ 0.20 em White Circle & {\textbackslash}WhiteCircleA & \scalebox{1.50}{\WhiteCircleA} \\ \hline
+ 0.30 em White Circle & {\textbackslash}WhiteCircleB & \scalebox{1.50}{\WhiteCircleB} \\ \hline
+ 0.40 em White Circle & {\textbackslash}WhiteCircleC & \scalebox{1.50}{\WhiteCircleC} \\ \hline
+ 0.50 em White Circle & {\textbackslash}WhiteCircleD & \scalebox{1.50}{\WhiteCircleD} \\ \hline
+ 0.60 em White Circle & {\textbackslash}WhiteCircleE & \scalebox{1.50}{\WhiteCircleE} \\ \hline
+ 0.70 em White Circle & {\textbackslash}WhiteCircleF & \scalebox{1.50}{\WhiteCircleF} \\ \hline
+ 0.80 em White Circle & {\textbackslash}WhiteCircleG & \scalebox{1.50}{\WhiteCircleG} \\ \hline
+ 0.90 em White Circle & {\textbackslash}WhiteCircleH & \scalebox{1.50}{\WhiteCircleH} \\ \hline
+ 1.00 em White Circle & {\textbackslash}WhiteCircleI & \scalebox{1.50}{\WhiteCircleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em Black Circle & {\textbackslash}BlackCircleA & \scalebox{1.50}{\BlackCircleA} \\ \hline
+ 0.30 em Black Circle & {\textbackslash}BlackCircleB & \scalebox{1.50}{\BlackCircleB} \\ \hline
+ 0.40 em Black Circle & {\textbackslash}BlackCircleC & \scalebox{1.50}{\BlackCircleC} \\ \hline
+ 0.50 em Black Circle & {\textbackslash}BlackCircleD & \scalebox{1.50}{\BlackCircleD} \\ \hline
+ 0.60 em Black Circle & {\textbackslash}BlackCircleE & \scalebox{1.50}{\BlackCircleE} \\ \hline
+ 0.70 em Black Circle & {\textbackslash}BlackCircleF & \scalebox{1.50}{\BlackCircleF} \\ \hline
+ 0.80 em Black Circle & {\textbackslash}BlackCircleG & \scalebox{1.50}{\BlackCircleG} \\ \hline
+ 0.90 em Black Circle & {\textbackslash}BlackCircleH & \scalebox{1.50}{\BlackCircleH} \\ \hline
+ 1.00 em Black Circle & {\textbackslash}BlackCircleI & \scalebox{1.50}{\BlackCircleI} \\ \hline
+ \end{symbolListX}
+
+ \clearpage
+ \begin{symbolListX}
+ 0.20 em White Square & {\textbackslash}WhiteSquareA & \scalebox{1.50}{\WhiteSquareA} \\ \hline
+ 0.30 em White Square & {\textbackslash}WhiteSquareB & \scalebox{1.50}{\WhiteSquareB} \\ \hline
+ 0.40 em White Square & {\textbackslash}WhiteSquareC & \scalebox{1.50}{\WhiteSquareC} \\ \hline
+ 0.50 em White Square & {\textbackslash}WhiteSquareD & \scalebox{1.50}{\WhiteSquareD} \\ \hline
+ 0.60 em White Square & {\textbackslash}WhiteSquareE & \scalebox{1.50}{\WhiteSquareE} \\ \hline
+ 0.70 em White Square & {\textbackslash}WhiteSquareF & \scalebox{1.50}{\WhiteSquareF} \\ \hline
+ 0.80 em White Square & {\textbackslash}WhiteSquareG & \scalebox{1.50}{\WhiteSquareG} \\ \hline
+ 0.90 em White Square & {\textbackslash}WhiteSquareH & \scalebox{1.50}{\WhiteSquareH} \\ \hline
+ 1.00 em White Square & {\textbackslash}WhiteSquareI & \scalebox{1.50}{\WhiteSquareI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em Black Square & {\textbackslash}BlackSquareA & \scalebox{1.50}{\BlackSquareA} \\ \hline
+ 0.30 em Black Square & {\textbackslash}BlackSquareB & \scalebox{1.50}{\BlackSquareB} \\ \hline
+ 0.40 em Black Square & {\textbackslash}BlackSquareC & \scalebox{1.50}{\BlackSquareC} \\ \hline
+ 0.50 em Black Square & {\textbackslash}BlackSquareD & \scalebox{1.50}{\BlackSquareD} \\ \hline
+ 0.60 em Black Square & {\textbackslash}BlackSquareE & \scalebox{1.50}{\BlackSquareE} \\ \hline
+ 0.70 em Black Square & {\textbackslash}BlackSquareF & \scalebox{1.50}{\BlackSquareF} \\ \hline
+ 0.80 em Black Square & {\textbackslash}BlackSquareG & \scalebox{1.50}{\BlackSquareG} \\ \hline
+ 0.90 em Black Square & {\textbackslash}BlackSquareH & \scalebox{1.50}{\BlackSquareH} \\ \hline
+ 1.00 em Black Square & {\textbackslash}BlackSquareI & \scalebox{1.50}{\BlackSquareI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em White Diamond & {\textbackslash}WhiteDiamondA & \scalebox{1.50}{\WhiteDiamondA} \\ \hline
+ 0.30 em White Diamond & {\textbackslash}WhiteDiamondB & \scalebox{1.50}{\WhiteDiamondB} \\ \hline
+ 0.40 em White Diamond & {\textbackslash}WhiteDiamondC & \scalebox{1.50}{\WhiteDiamondC} \\ \hline
+ 0.50 em White Diamond & {\textbackslash}WhiteDiamondD & \scalebox{1.50}{\WhiteDiamondD} \\ \hline
+ 0.60 em White Diamond & {\textbackslash}WhiteDiamondE & \scalebox{1.50}{\WhiteDiamondE} \\ \hline
+ 0.70 em White Diamond & {\textbackslash}WhiteDiamondF & \scalebox{1.50}{\WhiteDiamondF} \\ \hline
+ 0.80 em White Diamond & {\textbackslash}WhiteDiamondG & \scalebox{1.50}{\WhiteDiamondG} \\ \hline
+ 0.90 em White Diamond & {\textbackslash}WhiteDiamondH & \scalebox{1.50}{\WhiteDiamondH} \\ \hline
+ 1.00 em White Diamond & {\textbackslash}WhiteDiamondI & \scalebox{1.50}{\WhiteDiamondI} \\ \hline
+ \end{symbolListX}
+
+ \clearpage
+ \begin{symbolListX}
+ 0.20 em Black Diamond & {\textbackslash}BlackDiamondA & \scalebox{1.50}{\BlackDiamondA} \\ \hline
+ 0.30 em Black Diamond & {\textbackslash}BlackDiamondB & \scalebox{1.50}{\BlackDiamondB} \\ \hline
+ 0.40 em Black Diamond & {\textbackslash}BlackDiamondC & \scalebox{1.50}{\BlackDiamondC} \\ \hline
+ 0.50 em Black Diamond & {\textbackslash}BlackDiamondD & \scalebox{1.50}{\BlackDiamondD} \\ \hline
+ 0.60 em Black Diamond & {\textbackslash}BlackDiamondE & \scalebox{1.50}{\BlackDiamondE} \\ \hline
+ 0.70 em Black Diamond & {\textbackslash}BlackDiamondF & \scalebox{1.50}{\BlackDiamondF} \\ \hline
+ 0.80 em Black Diamond & {\textbackslash}BlackDiamondG & \scalebox{1.50}{\BlackDiamondG} \\ \hline
+ 0.90 em Black Diamond & {\textbackslash}BlackDiamondH & \scalebox{1.50}{\BlackDiamondH} \\ \hline
+ 1.00 em Black Diamond & {\textbackslash}BlackDiamondI & \scalebox{1.50}{\BlackDiamondI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em White Right Triangle & {\textbackslash}WhiteRightTriangleA & \scalebox{1.50}{\WhiteRightTriangleA} \\ \hline
+ 0.30 em White Right Triangle & {\textbackslash}WhiteRightTriangleB & \scalebox{1.50}{\WhiteRightTriangleB} \\ \hline
+ 0.40 em White Right Triangle & {\textbackslash}WhiteRightTriangleC & \scalebox{1.50}{\WhiteRightTriangleC} \\ \hline
+ 0.50 em White Right Triangle & {\textbackslash}WhiteRightTriangleD & \scalebox{1.50}{\WhiteRightTriangleD} \\ \hline
+ 0.60 em White Right Triangle & {\textbackslash}WhiteRightTriangleE & \scalebox{1.50}{\WhiteRightTriangleE} \\ \hline
+ 0.70 em White Right Triangle & {\textbackslash}WhiteRightTriangleF & \scalebox{1.50}{\WhiteRightTriangleF} \\ \hline
+ 0.80 em White Right Triangle & {\textbackslash}WhiteRightTriangleG & \scalebox{1.50}{\WhiteRightTriangleG} \\ \hline
+ 0.90 em White Right Triangle & {\textbackslash}WhiteRightTriangleH & \scalebox{1.50}{\WhiteRightTriangleH} \\ \hline
+ 1.00 em White Right Triangle & {\textbackslash}WhiteRightTriangleI & \scalebox{1.50}{\WhiteRightTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em Black Right Triangle & {\textbackslash}BlackRightTriangleA & \scalebox{1.50}{\BlackRightTriangleA} \\ \hline
+ 0.30 em Black Right Triangle & {\textbackslash}BlackRightTriangleB & \scalebox{1.50}{\BlackRightTriangleB} \\ \hline
+ 0.40 em Black Right Triangle & {\textbackslash}BlackRightTriangleC & \scalebox{1.50}{\BlackRightTriangleC} \\ \hline
+ 0.50 em Black Right Triangle & {\textbackslash}BlackRightTriangleD & \scalebox{1.50}{\BlackRightTriangleD} \\ \hline
+ 0.60 em Black Right Triangle & {\textbackslash}BlackRightTriangleE & \scalebox{1.50}{\BlackRightTriangleE} \\ \hline
+ 0.70 em Black Right Triangle & {\textbackslash}BlackRightTriangleF & \scalebox{1.50}{\BlackRightTriangleF} \\ \hline
+ 0.80 em Black Right Triangle & {\textbackslash}BlackRightTriangleG & \scalebox{1.50}{\BlackRightTriangleG} \\ \hline
+ 0.90 em Black Right Triangle & {\textbackslash}BlackRightTriangleH & \scalebox{1.50}{\BlackRightTriangleH} \\ \hline
+ 1.00 em Black Right Triangle & {\textbackslash}BlackRightTriangleI & \scalebox{1.50}{\BlackRightTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \clearpage
+ \begin{symbolListX}
+ 0.20 em White Left Triangle & {\textbackslash}WhiteLeftTriangleA & \scalebox{1.50}{\WhiteLeftTriangleA} \\ \hline
+ 0.30 em White Left Triangle & {\textbackslash}WhiteLeftTriangleB & \scalebox{1.50}{\WhiteLeftTriangleB} \\ \hline
+ 0.40 em White Left Triangle & {\textbackslash}WhiteLeftTriangleC & \scalebox{1.50}{\WhiteLeftTriangleC} \\ \hline
+ 0.50 em White Left Triangle & {\textbackslash}WhiteLeftTriangleD & \scalebox{1.50}{\WhiteLeftTriangleD} \\ \hline
+ 0.60 em White Left Triangle & {\textbackslash}WhiteLeftTriangleE & \scalebox{1.50}{\WhiteLeftTriangleE} \\ \hline
+ 0.70 em White Left Triangle & {\textbackslash}WhiteLeftTriangleF & \scalebox{1.50}{\WhiteLeftTriangleF} \\ \hline
+ 0.80 em White Left Triangle & {\textbackslash}WhiteLeftTriangleG & \scalebox{1.50}{\WhiteLeftTriangleG} \\ \hline
+ 0.90 em White Left Triangle & {\textbackslash}WhiteLeftTriangleH & \scalebox{1.50}{\WhiteLeftTriangleH} \\ \hline
+ 1.00 em White Left Triangle & {\textbackslash}WhiteLeftTriangleI & \scalebox{1.50}{\WhiteLeftTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em Black Left Triangle & {\textbackslash}BlackLeftTriangleA & \scalebox{1.50}{\BlackLeftTriangleA} \\ \hline
+ 0.30 em Black Left Triangle & {\textbackslash}BlackLeftTriangleB & \scalebox{1.50}{\BlackLeftTriangleB} \\ \hline
+ 0.40 em Black Left Triangle & {\textbackslash}BlackLeftTriangleC & \scalebox{1.50}{\BlackLeftTriangleC} \\ \hline
+ 0.50 em Black Left Triangle & {\textbackslash}BlackLeftTriangleD & \scalebox{1.50}{\BlackLeftTriangleD} \\ \hline
+ 0.60 em Black Left Triangle & {\textbackslash}BlackLeftTriangleE & \scalebox{1.50}{\BlackLeftTriangleE} \\ \hline
+ 0.70 em Black Left Triangle & {\textbackslash}BlackLeftTriangleF & \scalebox{1.50}{\BlackLeftTriangleF} \\ \hline
+ 0.80 em Black Left Triangle & {\textbackslash}BlackLeftTriangleG & \scalebox{1.50}{\BlackLeftTriangleG} \\ \hline
+ 0.90 em Black Left Triangle & {\textbackslash}BlackLeftTriangleH & \scalebox{1.50}{\BlackLeftTriangleH} \\ \hline
+ 1.00 em Black Left Triangle & {\textbackslash}BlackLeftTriangleI & \scalebox{1.50}{\BlackLeftTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em White Up Triangle & {\textbackslash}WhiteUpTriangleA & \scalebox{1.50}{\WhiteUpTriangleA} \\ \hline
+ 0.30 em White Up Triangle & {\textbackslash}WhiteUpTriangleB & \scalebox{1.50}{\WhiteUpTriangleB} \\ \hline
+ 0.40 em White Up Triangle & {\textbackslash}WhiteUpTriangleC & \scalebox{1.50}{\WhiteUpTriangleC} \\ \hline
+ 0.50 em White Up Triangle & {\textbackslash}WhiteUpTriangleD & \scalebox{1.50}{\WhiteUpTriangleD} \\ \hline
+ 0.60 em White Up Triangle & {\textbackslash}WhiteUpTriangleE & \scalebox{1.50}{\WhiteUpTriangleE} \\ \hline
+ 0.70 em White Up Triangle & {\textbackslash}WhiteUpTriangleF & \scalebox{1.50}{\WhiteUpTriangleF} \\ \hline
+ 0.80 em White Up Triangle & {\textbackslash}WhiteUpTriangleG & \scalebox{1.50}{\WhiteUpTriangleG} \\ \hline
+ 0.90 em White Up Triangle & {\textbackslash}WhiteUpTriangleH & \scalebox{1.50}{\WhiteUpTriangleH} \\ \hline
+ 1.00 em White Up Triangle & {\textbackslash}WhiteUpTriangleI & \scalebox{1.50}{\WhiteUpTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \clearpage
+ \begin{symbolListX}
+ 0.20 em Black Up TriangleA & {\textbackslash}BlackUpTriangleA & \scalebox{1.50}{\BlackUpTriangleA} \\ \hline
+ 0.30 em Black Up TriangleB & {\textbackslash}BlackUpTriangleB & \scalebox{1.50}{\BlackUpTriangleB} \\ \hline
+ 0.40 em Black Up TriangleC & {\textbackslash}BlackUpTriangleC & \scalebox{1.50}{\BlackUpTriangleC} \\ \hline
+ 0.50 em Black Up TriangleD & {\textbackslash}BlackUpTriangleD & \scalebox{1.50}{\BlackUpTriangleD} \\ \hline
+ 0.60 em Black Up TriangleE & {\textbackslash}BlackUpTriangleE & \scalebox{1.50}{\BlackUpTriangleE} \\ \hline
+ 0.70 em Black Up TriangleF & {\textbackslash}BlackUpTriangleF & \scalebox{1.50}{\BlackUpTriangleF} \\ \hline
+ 0.80 em Black Up TriangleG & {\textbackslash}BlackUpTriangleG & \scalebox{1.50}{\BlackUpTriangleG} \\ \hline
+ 0.90 em Black Up TriangleH & {\textbackslash}BlackUpTriangleH & \scalebox{1.50}{\BlackUpTriangleH} \\ \hline
+ 1.00 em Black Up TriangleI & {\textbackslash}BlackUpTriangleI & \scalebox{1.50}{\BlackUpTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em White Down Triangle & {\textbackslash}WhiteDownTriangleA & \scalebox{1.50}{\WhiteDownTriangleA} \\ \hline
+ 0.30 em White Down Triangle & {\textbackslash}WhiteDownTriangleB & \scalebox{1.50}{\WhiteDownTriangleB} \\ \hline
+ 0.40 em White Down Triangle & {\textbackslash}WhiteDownTriangleC & \scalebox{1.50}{\WhiteDownTriangleC} \\ \hline
+ 0.50 em White Down Triangle & {\textbackslash}WhiteDownTriangleD & \scalebox{1.50}{\WhiteDownTriangleD} \\ \hline
+ 0.60 em White Down Triangle & {\textbackslash}WhiteDownTriangleE & \scalebox{1.50}{\WhiteDownTriangleE} \\ \hline
+ 0.70 em White Down Triangle & {\textbackslash}WhiteDownTriangleF & \scalebox{1.50}{\WhiteDownTriangleF} \\ \hline
+ 0.80 em White Down Triangle & {\textbackslash}WhiteDownTriangleG & \scalebox{1.50}{\WhiteDownTriangleG} \\ \hline
+ 0.90 em White Down Triangle & {\textbackslash}WhiteDownTriangleH & \scalebox{1.50}{\WhiteDownTriangleH} \\ \hline
+ 1.00 em White Down Triangle & {\textbackslash}WhiteDownTriangleI & \scalebox{1.50}{\WhiteDownTriangleI} \\ \hline
+ \end{symbolListX}
+
+ \begin{symbolListX}
+ 0.20 em Black Down Triangle & {\textbackslash}BlackDownTriangleA & \scalebox{1.50}{\BlackDownTriangleA} \\ \hline
+ 0.30 em Black Down Triangle & {\textbackslash}BlackDownTriangleB & \scalebox{1.50}{\BlackDownTriangleB} \\ \hline
+ 0.40 em Black Down Triangle & {\textbackslash}BlackDownTriangleC & \scalebox{1.50}{\BlackDownTriangleC} \\ \hline
+ 0.50 em Black Down Triangle & {\textbackslash}BlackDownTriangleD & \scalebox{1.50}{\BlackDownTriangleD} \\ \hline
+ 0.60 em Black Down Triangle & {\textbackslash}BlackDownTriangleE & \scalebox{1.50}{\BlackDownTriangleE} \\ \hline
+ 0.70 em Black Down Triangle & {\textbackslash}BlackDownTriangleF & \scalebox{1.50}{\BlackDownTriangleF} \\ \hline
+ 0.80 em Black Down Triangle & {\textbackslash}BlackDownTriangleG & \scalebox{1.50}{\BlackDownTriangleG} \\ \hline
+ 0.90 em Black Down Triangle & {\textbackslash}BlackDownTriangleH & \scalebox{1.50}{\BlackDownTriangleH} \\ \hline
+ 1.00 em Black Down Triangle & {\textbackslash}BlackDownTriangleI & \scalebox{1.50}{\BlackDownTriangleI} \\ \hline
+ \end{symbolListX}
+
\clearpage
\begin{symbolListD}
{\textbackslash}OpnBarS, {\textbackslash}OpnBar[A-L] & \OpnBarS \frac{1}{2+\frac{3}{4}} \ClsBarS & \OpnBarS \testFrac \ClsBarS & \OpnBar ~ \OpnBarA ~ \OpnBarB ~ \OpnBarC ~ \OpnBarD ~ \OpnBarE ~ \OpnBarF ~ \OpnBarG ~ \OpnBarH ~ \OpnBarI ~ \OpnBarJ ~ \OpnBarK ~ \OpnBarL \delEnd \\ \hline
@@ -1981,50 +2177,56 @@
\clearpage
\begin{symbolListD}
+ {\textbackslash}OpnTrpBarS, {\textbackslash}OpnTrpBar[A-L] & \OpnTrpBarS \frac{1}{2+\frac{3}{4}} \ClsTrpBarS & \OpnTrpBarS \testFrac \ClsTrpBarS & \OpnTrpBar ~ \OpnTrpBarA ~ \OpnTrpBarB ~ \OpnTrpBarC ~ \OpnTrpBarD ~ \OpnTrpBarE ~ \OpnTrpBarF ~ \OpnTrpBarG ~ \OpnTrpBarH ~ \OpnTrpBarI ~ \OpnTrpBarJ ~ \OpnTrpBarK ~ \OpnTrpBarL \delEnd \\ \hline
+ {\textbackslash}ClsTrpBarS, {\textbackslash}ClsTrpBar[A-L] & \OpnTrpBarS \frac{1}{2+\frac{3}{4}} \ClsTrpBarS & \OpnTrpBarS \testFrac \ClsTrpBarS & \ClsTrpBar ~ \ClsTrpBarA ~ \ClsTrpBarB ~ \ClsTrpBarC ~ \ClsTrpBarD ~ \ClsTrpBarE ~ \ClsTrpBarF ~ \ClsTrpBarG ~ \ClsTrpBarH ~ \ClsTrpBarI ~ \ClsTrpBarJ ~ \ClsTrpBarK ~ \ClsTrpBarL \delEnd \\ \hline
{\textbackslash}OpnDblGrpS, {\textbackslash}OpnDblGrp[A-L] & \OpnDblGrpS \frac{1}{2+\frac{3}{4}} \ClsDblGrpS & \OpnDblGrpS \testFrac \ClsDblGrpS & \OpnDblGrp ~ \OpnDblGrpA ~ \OpnDblGrpB ~ \OpnDblGrpC ~ \OpnDblGrpD ~ \OpnDblGrpE ~ \OpnDblGrpF ~ \OpnDblGrpG ~ \OpnDblGrpH ~ \OpnDblGrpI ~ \OpnDblGrpJ ~ \OpnDblGrpK ~ \OpnDblGrpL \delEnd \\ \hline
{\textbackslash}ClsDblGrpS, {\textbackslash}ClsDblGrp[A-L] & \OpnDblGrpS \frac{1}{2+\frac{3}{4}} \ClsDblGrpS & \OpnDblGrpS \testFrac \ClsDblGrpS & \ClsDblGrp ~ \ClsDblGrpA ~ \ClsDblGrpB ~ \ClsDblGrpC ~ \ClsDblGrpD ~ \ClsDblGrpE ~ \ClsDblGrpF ~ \ClsDblGrpG ~ \ClsDblGrpH ~ \ClsDblGrpI ~ \ClsDblGrpJ ~ \ClsDblGrpK ~ \ClsDblGrpL \delEnd \\ \hline
{\textbackslash}OpnDblParnS, {\textbackslash}OpnDblParn[A-L] & \OpnDblParnS \frac{1}{2+\frac{3}{4}} \ClsDblParnS & \OpnDblParnS \testFrac \ClsDblParnS & \OpnDblParn ~ \OpnDblParnA ~ \OpnDblParnB ~ \OpnDblParnC ~ \OpnDblParnD ~ \OpnDblParnE ~ \OpnDblParnF ~ \OpnDblParnG ~ \OpnDblParnH ~ \OpnDblParnI ~ \OpnDblParnJ ~ \OpnDblParnK ~ \OpnDblParnL \delEnd \\ \hline
{\textbackslash}ClsDblParnS, {\textbackslash}ClsDblParn[A-L] & \OpnDblParnS \frac{1}{2+\frac{3}{4}} \ClsDblParnS & \OpnDblParnS \testFrac \ClsDblParnS & \ClsDblParn ~ \ClsDblParnA ~ \ClsDblParnB ~ \ClsDblParnC ~ \ClsDblParnD ~ \ClsDblParnE ~ \ClsDblParnF ~ \ClsDblParnG ~ \ClsDblParnH ~ \ClsDblParnI ~ \ClsDblParnJ ~ \ClsDblParnK ~ \ClsDblParnL \delEnd \\ \hline
- {\textbackslash}OpnDblBracS, {\textbackslash}OpnDblBrac[A-L] & \OpnDblBracS \frac{1}{2+\frac{3}{4}} \ClsDblBracS & \OpnDblBracS \testFrac \ClsDblBracS & \OpnDblBrac ~ \OpnDblBracA ~ \OpnDblBracB ~ \OpnDblBracC ~ \OpnDblBracD ~ \OpnDblBracE ~ \OpnDblBracF ~ \OpnDblBracG ~ \OpnDblBracH ~ \OpnDblBracI ~ \OpnDblBracJ ~ \OpnDblBracK ~ \OpnDblBracL \delEnd \\ \hline
- {\textbackslash}ClsDblBracS, {\textbackslash}ClsDblBrac[A-L] & \OpnDblBracS \frac{1}{2+\frac{3}{4}} \ClsDblBracS & \OpnDblBracS \testFrac \ClsDblBracS & \ClsDblBrac ~ \ClsDblBracA ~ \ClsDblBracB ~ \ClsDblBracC ~ \ClsDblBracD ~ \ClsDblBracE ~ \ClsDblBracF ~ \ClsDblBracG ~ \ClsDblBracH ~ \ClsDblBracI ~ \ClsDblBracJ ~ \ClsDblBracK ~ \ClsDblBracL \delEnd \\ \hline
\end{symbolListD}
\clearpage
\begin{symbolListD}
+ {\textbackslash}OpnDblBracS, {\textbackslash}OpnDblBrac[A-L] & \OpnDblBracS \frac{1}{2+\frac{3}{4}} \ClsDblBracS & \OpnDblBracS \testFrac \ClsDblBracS & \OpnDblBrac ~ \OpnDblBracA ~ \OpnDblBracB ~ \OpnDblBracC ~ \OpnDblBracD ~ \OpnDblBracE ~ \OpnDblBracF ~ \OpnDblBracG ~ \OpnDblBracH ~ \OpnDblBracI ~ \OpnDblBracJ ~ \OpnDblBracK ~ \OpnDblBracL \delEnd \\ \hline
+ {\textbackslash}ClsDblBracS, {\textbackslash}ClsDblBrac[A-L] & \OpnDblBracS \frac{1}{2+\frac{3}{4}} \ClsDblBracS & \OpnDblBracS \testFrac \ClsDblBracS & \ClsDblBrac ~ \ClsDblBracA ~ \ClsDblBracB ~ \ClsDblBracC ~ \ClsDblBracD ~ \ClsDblBracE ~ \ClsDblBracF ~ \ClsDblBracG ~ \ClsDblBracH ~ \ClsDblBracI ~ \ClsDblBracJ ~ \ClsDblBracK ~ \ClsDblBracL \delEnd \\ \hline
{\textbackslash}OpnDblAnglS, {\textbackslash}OpnDblAngl[A-P] & \OpnDblAnglS \frac{1}{2+\frac{3}{4}} \ClsDblAnglS & \OpnDblAnglS \testFrac \ClsDblAnglS & \OpnDblAngl ~ \OpnDblAnglA ~ \OpnDblAnglB ~ \OpnDblAnglC ~ \OpnDblAnglD ~ \OpnDblAnglE ~ \OpnDblAnglF ~ \OpnDblAnglG ~ \OpnDblAnglH ~ \OpnDblAnglI ~ \OpnDblAnglJ ~ \OpnDblAnglK ~ \OpnDblAnglL ~ \OpnDblAnglM ~ \OpnDblAnglN ~ \OpnDblAnglO ~ \OpnDblAnglP \delEnd \\ \hline
{\textbackslash}ClsDblAnglS, {\textbackslash}ClsDblAngl[A-P] & \OpnDblAnglS \frac{1}{2+\frac{3}{4}} \ClsDblAnglS & \OpnDblAnglS \testFrac \ClsDblAnglS & \ClsDblAngl ~ \ClsDblAnglA ~ \ClsDblAnglB ~ \ClsDblAnglC ~ \ClsDblAnglD ~ \ClsDblAnglE ~ \ClsDblAnglF ~ \ClsDblAnglG ~ \ClsDblAnglH ~ \ClsDblAnglI ~ \ClsDblAnglJ ~ \ClsDblAnglK ~ \ClsDblAnglL ~ \ClsDblAnglM ~ \ClsDblAnglN ~ \ClsDblAnglO ~ \ClsDblAnglP \delEnd \\ \hline
{\textbackslash}OpnSqrParnS, {\textbackslash}OpnSqrParn[A-L] & \OpnSqrParnS \frac{1}{2+\frac{3}{4}} \ClsSqrParnS & \OpnSqrParnS \testFrac \ClsSqrParnS & \OpnSqrParn ~ \OpnSqrParnA ~ \OpnSqrParnB ~ \OpnSqrParnC ~ \OpnSqrParnD ~ \OpnSqrParnE ~ \OpnSqrParnF ~ \OpnSqrParnG ~ \OpnSqrParnH ~ \OpnSqrParnI ~ \OpnSqrParnJ ~ \OpnSqrParnK ~ \OpnSqrParnL \delEnd \\ \hline
{\textbackslash}ClsSqrParnS, {\textbackslash}ClsSqrParn[A-L] & \OpnSqrParnS \frac{1}{2+\frac{3}{4}} \ClsSqrParnS & \OpnSqrParnS \testFrac \ClsSqrParnS & \ClsSqrParn ~ \ClsSqrParnA ~ \ClsSqrParnB ~ \ClsSqrParnC ~ \ClsSqrParnD ~ \ClsSqrParnE ~ \ClsSqrParnF ~ \ClsSqrParnG ~ \ClsSqrParnH ~ \ClsSqrParnI ~ \ClsSqrParnJ ~ \ClsSqrParnK ~ \ClsSqrParnL \delEnd \\ \hline
- {\textbackslash}OpnParnBarS, {\textbackslash}OpnParnBar[A-L] & \OpnParnBarS \frac{1}{2+\frac{3}{4}} \ClsParnBarS & \OpnParnBarS \testFrac \ClsParnBarS & \OpnParnBar ~ \OpnParnBarA ~ \OpnParnBarB ~ \OpnParnBarC ~ \OpnParnBarD ~ \OpnParnBarE ~ \OpnParnBarF ~ \OpnParnBarG ~ \OpnParnBarH ~ \OpnParnBarI ~ \OpnParnBarJ ~ \OpnParnBarK ~ \OpnParnBarL \delEnd \\ \hline
- {\textbackslash}ClsParnBarS, {\textbackslash}ClsParnBar[A-L] & \OpnParnBarS \frac{1}{2+\frac{3}{4}} \ClsParnBarS & \OpnParnBarS \testFrac \ClsParnBarS & \ClsParnBar ~ \ClsParnBarA ~ \ClsParnBarB ~ \ClsParnBarC ~ \ClsParnBarD ~ \ClsParnBarE ~ \ClsParnBarF ~ \ClsParnBarG ~ \ClsParnBarH ~ \ClsParnBarI ~ \ClsParnBarJ ~ \ClsParnBarK ~ \ClsParnBarL \delEnd \\ \hline
\end{symbolListD}
\clearpage
\begin{symbolListD}
+ {\textbackslash}OpnParnBarS, {\textbackslash}OpnParnBar[A-L] & \OpnParnBarS \frac{1}{2+\frac{3}{4}} \ClsParnBarS & \OpnParnBarS \testFrac \ClsParnBarS & \OpnParnBar ~ \OpnParnBarA ~ \OpnParnBarB ~ \OpnParnBarC ~ \OpnParnBarD ~ \OpnParnBarE ~ \OpnParnBarF ~ \OpnParnBarG ~ \OpnParnBarH ~ \OpnParnBarI ~ \OpnParnBarJ ~ \OpnParnBarK ~ \OpnParnBarL \delEnd \\ \hline
+ {\textbackslash}ClsParnBarS, {\textbackslash}ClsParnBar[A-L] & \OpnParnBarS \frac{1}{2+\frac{3}{4}} \ClsParnBarS & \OpnParnBarS \testFrac \ClsParnBarS & \ClsParnBar ~ \ClsParnBarA ~ \ClsParnBarB ~ \ClsParnBarC ~ \ClsParnBarD ~ \ClsParnBarE ~ \ClsParnBarF ~ \ClsParnBarG ~ \ClsParnBarH ~ \ClsParnBarI ~ \ClsParnBarJ ~ \ClsParnBarK ~ \ClsParnBarL \delEnd \\ \hline
{\textbackslash}OpnBracBarS, {\textbackslash}OpnBracBar[A-L] & \OpnBracBarS \frac{1}{2+\frac{3}{4}} \ClsBracBarS & \OpnBracBarS \testFrac \ClsBracBarS & \OpnBracBar ~ \OpnBracBarA ~ \OpnBracBarB ~ \OpnBracBarC ~ \OpnBracBarD ~ \OpnBracBarE ~ \OpnBracBarF ~ \OpnBracBarG ~ \OpnBracBarH ~ \OpnBracBarI ~ \OpnBracBarJ ~ \OpnBracBarK ~ \OpnBracBarL \delEnd \\ \hline
{\textbackslash}ClsBracBarS, {\textbackslash}ClsBracBar[A-L] & \OpnBracBarS \frac{1}{2+\frac{3}{4}} \ClsBracBarS & \OpnBracBarS \testFrac \ClsBracBarS & \ClsBracBar ~ \ClsBracBarA ~ \ClsBracBarB ~ \ClsBracBarC ~ \ClsBracBarD ~ \ClsBracBarE ~ \ClsBracBarF ~ \ClsBracBarG ~ \ClsBracBarH ~ \ClsBracBarI ~ \ClsBracBarJ ~ \ClsBracBarK ~ \ClsBracBarL \delEnd \\ \hline
{\textbackslash}OpnBrknBracBarS, {\textbackslash}OpnBrknBracBar[A-L] & \OpnBrknBracBarS \frac{1}{2+\frac{3}{4}} \ClsBrknBracBarS & \OpnBrknBracBarS \testFrac \ClsBrknBracBarS & \OpnBrknBracBar ~ \OpnBrknBracBarA ~ \OpnBrknBracBarB ~ \OpnBrknBracBarC ~ \OpnBrknBracBarD ~ \OpnBrknBracBarE ~ \OpnBrknBracBarF ~ \OpnBrknBracBarG ~ \OpnBrknBracBarH ~ \OpnBrknBracBarI ~ \OpnBrknBracBarJ ~ \OpnBrknBracBarK ~ \OpnBrknBracBarL \delEnd \\ \hline
{\textbackslash}ClsBrknBracBarS, {\textbackslash}ClsBrknBracBar[A-L] & \OpnBrknBracBarS \frac{1}{2+\frac{3}{4}} \ClsBrknBracBarS & \OpnBrknBracBarS \testFrac \ClsBrknBracBarS & \ClsBrknBracBar ~ \ClsBrknBracBarA ~ \ClsBrknBracBarB ~ \ClsBrknBracBarC ~ \ClsBrknBracBarD ~ \ClsBrknBracBarE ~ \ClsBrknBracBarF ~ \ClsBrknBracBarG ~ \ClsBrknBracBarH ~ \ClsBrknBracBarI ~ \ClsBrknBracBarJ ~ \ClsBrknBracBarK ~ \ClsBrknBracBarL \delEnd \\ \hline
- {\textbackslash}OpnCircBracBarS, {\textbackslash}OpnCircBracBar[A-L] & \OpnCircBracBarS \frac{1}{2+\frac{3}{4}} \ClsCircBracBarS & \OpnCircBracBarS \testFrac \ClsCircBracBarS & \OpnCircBracBar ~ \OpnCircBracBarA ~ \OpnCircBracBarB ~ \OpnCircBracBarC ~ \OpnCircBracBarD ~ \OpnCircBracBarE ~ \OpnCircBracBarF ~ \OpnCircBracBarG ~ \OpnCircBracBarH ~ \OpnCircBracBarI ~ \OpnCircBracBarJ ~ \OpnCircBracBarK ~ \OpnCircBracBarL \delEnd \\ \hline
- {\textbackslash}ClsCircBracBarS, {\textbackslash}ClsCircBracBar[A-L] & \OpnCircBracBarS \frac{1}{2+\frac{3}{4}} \ClsCircBracBarS & \OpnCircBracBarS \testFrac \ClsCircBracBarS & \ClsCircBracBar ~ \ClsCircBracBarA ~ \ClsCircBracBarB ~ \ClsCircBracBarC ~ \ClsCircBracBarD ~ \ClsCircBracBarE ~ \ClsCircBracBarF ~ \ClsCircBracBarG ~ \ClsCircBracBarH ~ \ClsCircBracBarI ~ \ClsCircBracBarJ ~ \ClsCircBracBarK ~ \ClsCircBracBarL \delEnd \\ \hline
\end{symbolListD}
\clearpage
\begin{symbolListD}
+ {\textbackslash}OpnCircBracBarS, {\textbackslash}OpnCircBracBar[A-L] & \OpnCircBracBarS \frac{1}{2+\frac{3}{4}} \ClsCircBracBarS & \OpnCircBracBarS \testFrac \ClsCircBracBarS & \OpnCircBracBar ~ \OpnCircBracBarA ~ \OpnCircBracBarB ~ \OpnCircBracBarC ~ \OpnCircBracBarD ~ \OpnCircBracBarE ~ \OpnCircBracBarF ~ \OpnCircBracBarG ~ \OpnCircBracBarH ~ \OpnCircBracBarI ~ \OpnCircBracBarJ ~ \OpnCircBracBarK ~ \OpnCircBracBarL \delEnd \\ \hline
+ {\textbackslash}ClsCircBracBarS, {\textbackslash}ClsCircBracBar[A-L] & \OpnCircBracBarS \frac{1}{2+\frac{3}{4}} \ClsCircBracBarS & \OpnCircBracBarS \testFrac \ClsCircBracBarS & \ClsCircBracBar ~ \ClsCircBracBarA ~ \ClsCircBracBarB ~ \ClsCircBracBarC ~ \ClsCircBracBarD ~ \ClsCircBracBarE ~ \ClsCircBracBarF ~ \ClsCircBracBarG ~ \ClsCircBracBarH ~ \ClsCircBracBarI ~ \ClsCircBracBarJ ~ \ClsCircBracBarK ~ \ClsCircBracBarL \delEnd \\ \hline
{\textbackslash}OpnBrktBarS, {\textbackslash}OpnBrktBar[A-L] & \OpnBrktBarS \frac{1}{2+\frac{3}{4}} \ClsBrktBarS & \OpnBrktBarS \testFrac \ClsBrktBarS & \OpnBrktBar ~ \OpnBrktBarA ~ \OpnBrktBarB ~ \OpnBrktBarC ~ \OpnBrktBarD ~ \OpnBrktBarE ~ \OpnBrktBarF ~ \OpnBrktBarG ~ \OpnBrktBarH ~ \OpnBrktBarI ~ \OpnBrktBarJ ~ \OpnBrktBarK ~ \OpnBrktBarL \delEnd \\ \hline
{\textbackslash}ClsBrktBarS, {\textbackslash}ClsBrktBar[A-L] & \OpnBrktBarS \frac{1}{2+\frac{3}{4}} \ClsBrktBarS & \OpnBrktBarS \testFrac \ClsBrktBarS & \ClsBrktBar ~ \ClsBrktBarA ~ \ClsBrktBarB ~ \ClsBrktBarC ~ \ClsBrktBarD ~ \ClsBrktBarE ~ \ClsBrktBarF ~ \ClsBrktBarG ~ \ClsBrktBarH ~ \ClsBrktBarI ~ \ClsBrktBarJ ~ \ClsBrktBarK ~ \ClsBrktBarL \delEnd \\ \hline
{\textbackslash}OpnBrknBrktBarS, {\textbackslash}OpnBrknBrktBar[A-L] & \OpnBrknBrktBarS \frac{1}{2+\frac{3}{4}} \ClsBrknBrktBarS & \OpnBrknBrktBarS \testFrac \ClsBrknBrktBarS & \OpnBrknBrktBar ~ \OpnBrknBrktBarA ~ \OpnBrknBrktBarB ~ \OpnBrknBrktBarC ~ \OpnBrknBrktBarD ~ \OpnBrknBrktBarE ~ \OpnBrknBrktBarF ~ \OpnBrknBrktBarG ~ \OpnBrknBrktBarH ~ \OpnBrknBrktBarI ~ \OpnBrknBrktBarJ ~ \OpnBrknBrktBarK ~ \OpnBrknBrktBarL \delEnd \\ \hline
{\textbackslash}ClsBrknBrktBarS, {\textbackslash}ClsBrknBrktBar[A-L] & \OpnBrknBrktBarS \frac{1}{2+\frac{3}{4}} \ClsBrknBrktBarS & \OpnBrknBrktBarS \testFrac \ClsBrknBrktBarS & \ClsBrknBrktBar ~ \ClsBrknBrktBarA ~ \ClsBrknBrktBarB ~ \ClsBrknBrktBarC ~ \ClsBrknBrktBarD ~ \ClsBrknBrktBarE ~ \ClsBrknBrktBarF ~ \ClsBrknBrktBarG ~ \ClsBrknBrktBarH ~ \ClsBrknBrktBarI ~ \ClsBrknBrktBarJ ~ \ClsBrknBrktBarK ~ \ClsBrknBrktBarL \delEnd \\ \hline
- {\textbackslash}OpnCircBrktBarS, {\textbackslash}OpnCircBrktBar[A-L] & \OpnCircBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCircBrktBarS & \OpnCircBrktBarS \testFrac \ClsCircBrktBarS & \OpnCircBrktBar ~ \OpnCircBrktBarA ~ \OpnCircBrktBarB ~ \OpnCircBrktBarC ~ \OpnCircBrktBarD ~ \OpnCircBrktBarE ~ \OpnCircBrktBarF ~ \OpnCircBrktBarG ~ \OpnCircBrktBarH ~ \OpnCircBrktBarI ~ \OpnCircBrktBarJ ~ \OpnCircBrktBarK ~ \OpnCircBrktBarL \delEnd \\ \hline
- {\textbackslash}ClsCircBrktBarS, {\textbackslash}ClsCircBrktBar[A-L] & \OpnCircBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCircBrktBarS & \OpnCircBrktBarS \testFrac \ClsCircBrktBarS & \ClsCircBrktBar ~ \ClsCircBrktBarA ~ \ClsCircBrktBarB ~ \ClsCircBrktBarC ~ \ClsCircBrktBarD ~ \ClsCircBrktBarE ~ \ClsCircBrktBarF ~ \ClsCircBrktBarG ~ \ClsCircBrktBarH ~ \ClsCircBrktBarI ~ \ClsCircBrktBarJ ~ \ClsCircBrktBarK ~ \ClsCircBrktBarL \delEnd \\ \hline
\end{symbolListD}
\clearpage
\begin{symbolListD}
+ {\textbackslash}OpnCircBrktBarS, {\textbackslash}OpnCircBrktBar[A-L] & \OpnCircBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCircBrktBarS & \OpnCircBrktBarS \testFrac \ClsCircBrktBarS & \OpnCircBrktBar ~ \OpnCircBrktBarA ~ \OpnCircBrktBarB ~ \OpnCircBrktBarC ~ \OpnCircBrktBarD ~ \OpnCircBrktBarE ~ \OpnCircBrktBarF ~ \OpnCircBrktBarG ~ \OpnCircBrktBarH ~ \OpnCircBrktBarI ~ \OpnCircBrktBarJ ~ \OpnCircBrktBarK ~ \OpnCircBrktBarL \delEnd \\ \hline
+ {\textbackslash}ClsCircBrktBarS, {\textbackslash}ClsCircBrktBar[A-L] & \OpnCircBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCircBrktBarS & \OpnCircBrktBarS \testFrac \ClsCircBrktBarS & \ClsCircBrktBar ~ \ClsCircBrktBarA ~ \ClsCircBrktBarB ~ \ClsCircBrktBarC ~ \ClsCircBrktBarD ~ \ClsCircBrktBarE ~ \ClsCircBrktBarF ~ \ClsCircBrktBarG ~ \ClsCircBrktBarH ~ \ClsCircBrktBarI ~ \ClsCircBrktBarJ ~ \ClsCircBrktBarK ~ \ClsCircBrktBarL \delEnd \\ \hline
{\textbackslash}OpnCrlyBrktBarS, {\textbackslash}OpnCrlyBrktBar[A-L] & \OpnCrlyBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCrlyBrktBarS & \OpnCrlyBrktBarS \testFrac \ClsCrlyBrktBarS & \OpnCrlyBrktBar ~ \OpnCrlyBrktBarA ~ \OpnCrlyBrktBarB ~ \OpnCrlyBrktBarC ~ \OpnCrlyBrktBarD ~ \OpnCrlyBrktBarE ~ \OpnCrlyBrktBarF ~ \OpnCrlyBrktBarG ~ \OpnCrlyBrktBarH ~ \OpnCrlyBrktBarI ~ \OpnCrlyBrktBarJ ~ \OpnCrlyBrktBarK ~ \OpnCrlyBrktBarL \delEnd \\ \hline
{\textbackslash}ClsCrlyBrktBarS, {\textbackslash}ClsCrlyBrktBar[A-L] & \OpnCrlyBrktBarS \frac{1}{2+\frac{3}{4}} \ClsCrlyBrktBarS & \OpnCrlyBrktBarS \testFrac \ClsCrlyBrktBarS & \ClsCrlyBrktBar ~ \ClsCrlyBrktBarA ~ \ClsCrlyBrktBarB ~ \ClsCrlyBrktBarC ~ \ClsCrlyBrktBarD ~ \ClsCrlyBrktBarE ~ \ClsCrlyBrktBarF ~ \ClsCrlyBrktBarG ~ \ClsCrlyBrktBarH ~ \ClsCrlyBrktBarI ~ \ClsCrlyBrktBarJ ~ \ClsCrlyBrktBarK ~ \ClsCrlyBrktBarL \delEnd \\ \hline
{\textbackslash}OpnTortoiseBarS, {\textbackslash}OpnTortoiseBar[A-L] & \OpnTortoiseBarS \frac{1}{2+\frac{3}{4}} \ClsTortoiseBarS & \OpnTortoiseBarS \testFrac \ClsTortoiseBarS & \OpnTortoiseBar ~ \OpnTortoiseBarA ~ \OpnTortoiseBarB ~ \OpnTortoiseBarC ~ \OpnTortoiseBarD ~ \OpnTortoiseBarE ~ \OpnTortoiseBarF ~ \OpnTortoiseBarG ~ \OpnTortoiseBarH ~ \OpnTortoiseBarI ~ \OpnTortoiseBarJ ~ \OpnTortoiseBarK ~ \OpnTortoiseBarL \delEnd \\ \hline
{\textbackslash}ClsTortoiseBarS, {\textbackslash}ClsTortoiseBar[A-L] & \OpnTortoiseBarS \frac{1}{2+\frac{3}{4}} \ClsTortoiseBarS & \OpnTortoiseBarS \testFrac \ClsTortoiseBarS & \ClsTortoiseBar ~ \ClsTortoiseBarA ~ \ClsTortoiseBarB ~ \ClsTortoiseBarC ~ \ClsTortoiseBarD ~ \ClsTortoiseBarE ~ \ClsTortoiseBarF ~ \ClsTortoiseBarG ~ \ClsTortoiseBarH ~ \ClsTortoiseBarI ~ \ClsTortoiseBarJ ~ \ClsTortoiseBarK ~ \ClsTortoiseBarL \delEnd \\ \hline
+ \end{symbolListD}
+
+ \clearpage
+ \begin{symbolListD}
{\textbackslash}OpnAnglBarS, {\textbackslash}OpnAnglBar[A-P] & \OpnAnglBarS \frac{1}{2+\frac{3}{4}} \ClsAnglBarS & \OpnAnglBarS \testFrac \ClsAnglBarS & \OpnAnglBar ~ \OpnAnglBarA ~ \OpnAnglBarB ~ \OpnAnglBarC ~ \OpnAnglBarD ~ \OpnAnglBarE ~ \OpnAnglBarF ~ \OpnAnglBarG ~ \OpnAnglBarH ~ \OpnAnglBarI ~ \OpnAnglBarJ ~ \OpnAnglBarK ~ \OpnAnglBarL ~ \OpnAnglBarM ~ \OpnAnglBarN ~ \OpnAnglBarO ~ \OpnAnglBarP \delEnd \\ \hline
{\textbackslash}ClsAnglBarS, {\textbackslash}ClsAnglBar[A-P] & \OpnAnglBarS \frac{1}{2+\frac{3}{4}} \ClsAnglBarS & \OpnAnglBarS \testFrac \ClsAnglBarS & \ClsAnglBar ~ \ClsAnglBarA ~ \ClsAnglBarB ~ \ClsAnglBarC ~ \ClsAnglBarD ~ \ClsAnglBarE ~ \ClsAnglBarF ~ \ClsAnglBarG ~ \ClsAnglBarH ~ \ClsAnglBarI ~ \ClsAnglBarJ ~ \ClsAnglBarK ~ \ClsAnglBarL ~ \ClsAnglBarM ~ \ClsAnglBarN ~ \ClsAnglBarO ~ \ClsAnglBarP \delEnd \\ \hline
\end{symbolListD}
@@ -2189,24 +2391,6 @@
\mathsau{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Propzero~\Propone~\Proptwo~\Propthree~\Propfour~\Propfive~\Propsix~\Propseven~\Propeight~\Propnine \\
-% \Propa~\Propb~\Propc~\Propd~\Prope~\Propf~\Propg~\Proph~\Propi~\Propj~\Propk~\Propl~\Propm~\Propn~\Propo~\Propp~\Propq~\Propr~\Props~\Propt~\Propu~\Propv~\Propw~\Propx~\Propy~\Propz \\
-% \PropA~\PropB~\PropC~\PropD~\PropE~\PropF~\PropG~\PropH~\PropI~\PropJ~\PropK~\PropL~\PropM~\PropN~\PropO~\PropP~\PropQ~\PropR~\PropS~\PropT~\PropU~\PropV~\PropW~\PropX~\PropY~\PropZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \prop{0}~\prop{1}~\prop{2}~\prop{3}~\prop{4}~\prop{5}~\prop{6}~\prop{7}~\prop{8}~\prop{9} \\
-% \prop{a}~\prop{b}~\prop{c}~\prop{d}~\prop{e}~\prop{f}~\prop{g}~\prop{h}~\prop{i}~\prop{j}~\prop{k}~\prop{l}~\prop{m}~\prop{n}~\prop{o}~\prop{p}~\prop{q}~\prop{r}~\prop{s}~\prop{t}~\prop{u}~\prop{v}~\prop{w}~\prop{x}~\prop{y}~\prop{z} \\
-% \prop{A}~\prop{B}~\prop{C}~\prop{D}~\prop{E}~\prop{F}~\prop{G}~\prop{H}~\prop{I}~\prop{J}~\prop{K}~\prop{L}~\prop{M}~\prop{N}~\prop{O}~\prop{P}~\prop{Q}~\prop{R}~\prop{S}~\prop{T}~\prop{U}~\prop{V}~\prop{W}~\prop{X}~\prop{Y}~\prop{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \prop{0 1 2 3 4 5 6 7 8 9} \\
-% \prop{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \prop{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symsai\{<alphanum>\} -- sans-serif, oblique script
\end{flushleft}
@@ -2230,25 +2414,6 @@
\mathsai{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Propizero~\Propione~\Propitwo~\Propithree~\Propifour~\Propifive~\Propisix~\Propiseven~\Propieight~\Propinine \\
-% \Propia~\Propib~\Propic~\Propid~\Propie~\Propif~\Propig~\Propih~\Propii~\Propij~\Propik~\Propil~\Propim~\Propin~\Propio~\Propip~\Propiq~\Propir~\Propis~\Propit~\Propiu~\Propiv~\Propiw~\Propix~\Propiy~\Propiz \\
-% \PropiA~\PropiB~\PropiC~\PropiD~\PropiE~\PropiF~\PropiG~\PropiH~\PropiI~\PropiJ~\PropiK~\PropiL~\PropiM~\PropiN~\PropiO~\PropiP~\PropiQ~\PropiR~\PropiS~\PropiT~\PropiU~\PropiV~\PropiW~\PropiX~\PropiY~\PropiZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \propi{0}~\propi{1}~\propi{2}~\propi{3}~\propi{4}~\propi{5}~\propi{6}~\propi{7}~\propi{8}~\propi{9} \\
-% \propi{a}~\propi{b}~\propi{c}~\propi{d}~\propi{e}~\propi{f}~\propi{g}~\propi{h}~\propi{i}~\propi{j}~\propi{k}~\propi{l}~\propi{m}~\propi{n}~\propi{o}~\propi{p}~\propi{q}~\propi{r}~\propi{s}~\propi{t}~\propi{u}~\propi{v}~\propi{w}~\propi{x}~\propi{y}~\propi{z} \\
-% \propi{A}~\propi{B}~\propi{C}~\propi{D}~\propi{E}~\propi{F}~\propi{G}~\propi{H}~\propi{I}~\propi{J}~\propi{K}~\propi{L}~\propi{M}~\propi{N}~\propi{O}~\propi{P}~\propi{Q}~\propi{R}~\propi{S}~\propi{T}~\propi{U}~\propi{V}~\propi{W}~\propi{X}~\propi{Y}~\propi{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \propi{0 1 2 3 4 5 6 7 8 9} \\
-% \propi{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \propi{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
-% \clearpage
\begin{flushleft}
Logical Variable: {\textbackslash}symSau\{<alphanum>\} -- sans-serif, bold script
\end{flushleft}
@@ -2272,24 +2437,6 @@
\mathSau{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Metazero~\Metaone~\Metatwo~\Metathree~\Metafour~\Metafive~\Metasix~\Metaseven~\Metaeight~\Metanine \\
-% \Metaa~\Metab~\Metac~\Metad~\Metae~\Metaf~\Metag~\Metah~\Metai~\Metaj~\Metak~\Metal~\Metam~\Metan~\Metao~\Metap~\Metaq~\Metar~\Metas~\Metat~\Metau~\Metav~\Metaw~\Metax~\Metay~\Metaz \\
-% \MetaA~\MetaB~\MetaC~\MetaD~\MetaE~\MetaF~\MetaG~\MetaH~\MetaI~\MetaJ~\MetaK~\MetaL~\MetaM~\MetaN~\MetaO~\MetaP~\MetaQ~\MetaR~\MetaS~\MetaT~\MetaU~\MetaV~\MetaW~\MetaX~\MetaY~\MetaZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \meta{0}~\meta{1}~\meta{2}~\meta{3}~\meta{4}~\meta{5}~\meta{6}~\meta{7}~\meta{8}~\meta{9} \\
-% \meta{a}~\meta{b}~\meta{c}~\meta{d}~\meta{e}~\meta{f}~\meta{g}~\meta{h}~\meta{i}~\meta{j}~\meta{k}~\meta{l}~\meta{m}~\meta{n}~\meta{o}~\meta{p}~\meta{q}~\meta{r}~\meta{s}~\meta{t}~\meta{u}~\meta{v}~\meta{w}~\meta{x}~\meta{y}~\meta{z} \\
-% \meta{A}~\meta{B}~\meta{C}~\meta{D}~\meta{E}~\meta{F}~\meta{G}~\meta{H}~\meta{I}~\meta{J}~\meta{K}~\meta{L}~\meta{M}~\meta{N}~\meta{O}~\meta{P}~\meta{Q}~\meta{R}~\meta{S}~\meta{T}~\meta{U}~\meta{V}~\meta{W}~\meta{X}~\meta{Y}~\meta{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \meta{0 1 2 3 4 5 6 7 8 9} \\
-% \meta{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \meta{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symSai\{<alphanum>\} -- sans-serif, bold, oblique script
\end{flushleft}
@@ -2313,24 +2460,6 @@
\mathSai{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Metaizero~\Metaione~\Metaitwo~\Metaithree~\Metaifour~\Metaifive~\Metaisix~\Metaiseven~\Metaieight~\Metainine \\
-% \Metaia~\Metaib~\Metaic~\Metaid~\Metaie~\Metaif~\Metaig~\Metaih~\Metaii~\Metaij~\Metaik~\Metail~\Metaim~\Metain~\Metaio~\Metaip~\Metaiq~\Metair~\Metais~\Metait~\Metaiu~\Metaiv~\Metaiw~\Metaix~\Metaiy~\Metaiz \\
-% \MetaiA~\MetaiB~\MetaiC~\MetaiD~\MetaiE~\MetaiF~\MetaiG~\MetaiH~\MetaiI~\MetaiJ~\MetaiK~\MetaiL~\MetaiM~\MetaiN~\MetaiO~\MetaiP~\MetaiQ~\MetaiR~\MetaiS~\MetaiT~\MetaiU~\MetaiV~\MetaiW~\MetaiX~\MetaiY~\MetaiZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \metai{0}~\metai{1}~\metai{2}~\metai{3}~\metai{4}~\metai{5}~\metai{6}~\metai{7}~\metai{8}~\metai{9} \\
-% \metai{a}~\metai{b}~\metai{c}~\metai{d}~\metai{e}~\metai{f}~\metai{g}~\metai{h}~\metai{i}~\metai{j}~\metai{k}~\metai{l}~\metai{m}~\metai{n}~\metai{o}~\metai{p}~\metai{q}~\metai{r}~\metai{s}~\metai{t}~\metai{u}~\metai{v}~\metai{w}~\metai{x}~\metai{y}~\metai{z} \\
-% \metai{A}~\metai{B}~\metai{C}~\metai{D}~\metai{E}~\metai{F}~\metai{G}~\metai{H}~\metai{I}~\metai{J}~\metai{K}~\metai{L}~\metai{M}~\metai{N}~\metai{O}~\metai{P}~\metai{Q}~\metai{R}~\metai{S}~\metai{T}~\metai{U}~\metai{V}~\metai{W}~\metai{X}~\metai{Y}~\metai{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \metai{0 1 2 3 4 5 6 7 8 9} \\
-% \metai{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \metai{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\clearpage
\begin{flushleft}
Logical Variable: {\textbackslash}symslu\{<alphanum>\} -- slab-serif script
@@ -2355,24 +2484,6 @@
\mathslu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Bnchzero~\Bnchone~\Bnchtwo~\Bnchthree~\Bnchfour~\Bnchfive~\Bnchsix~\Bnchseven~\Bncheight~\Bnchnine \\
-% \Bncha~\Bnchb~\Bnchc~\Bnchd~\Bnche~\Bnchf~\Bnchg~\Bnchh~\Bnchi~\Bnchj~\Bnchk~\Bnchl~\Bnchm~\Bnchn~\Bncho~\Bnchp~\Bnchq~\Bnchr~\Bnchs~\Bncht~\Bnchu~\Bnchv~\Bnchw~\Bnchx~\Bnchy~\Bnchz \\
-% \BnchA~\BnchB~\BnchC~\BnchD~\BnchE~\BnchF~\BnchG~\BnchH~\BnchI~\BnchJ~\BnchK~\BnchL~\BnchM~\BnchN~\BnchO~\BnchP~\BnchQ~\BnchR~\BnchS~\BnchT~\BnchU~\BnchV~\BnchW~\BnchX~\BnchY~\BnchZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnch{0}~\bnch{1}~\bnch{2}~\bnch{3}~\bnch{4}~\bnch{5}~\bnch{6}~\bnch{7}~\bnch{8}~\bnch{9} \\
-% \bnch{a}~\bnch{b}~\bnch{c}~\bnch{d}~\bnch{e}~\bnch{f}~\bnch{g}~\bnch{h}~\bnch{i}~\bnch{j}~\bnch{k}~\bnch{l}~\bnch{m}~\bnch{n}~\bnch{o}~\bnch{p}~\bnch{q}~\bnch{r}~\bnch{s}~\bnch{t}~\bnch{u}~\bnch{v}~\bnch{w}~\bnch{x}~\bnch{y}~\bnch{z} \\
-% \bnch{A}~\bnch{B}~\bnch{C}~\bnch{D}~\bnch{E}~\bnch{F}~\bnch{G}~\bnch{H}~\bnch{I}~\bnch{J}~\bnch{K}~\bnch{L}~\bnch{M}~\bnch{N}~\bnch{O}~\bnch{P}~\bnch{Q}~\bnch{R}~\bnch{S}~\bnch{T}~\bnch{U}~\bnch{V}~\bnch{W}~\bnch{X}~\bnch{Y}~\bnch{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnch{0 1 2 3 4 5 6 7 8 9} \\
-% \bnch{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \bnch{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symsli\{<alphanum>\} -- slab-serif, oblique script
\end{flushleft}
@@ -2396,25 +2507,6 @@
\mathsli{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Bnchizero~\Bnchione~\Bnchitwo~\Bnchithree~\Bnchifour~\Bnchifive~\Bnchisix~\Bnchiseven~\Bnchieight~\Bnchinine \\
-% \Bnchia~\Bnchib~\Bnchic~\Bnchid~\Bnchie~\Bnchif~\Bnchig~\Bnchih~\Bnchii~\Bnchij~\Bnchik~\Bnchil~\Bnchim~\Bnchin~\Bnchio~\Bnchip~\Bnchiq~\Bnchir~\Bnchis~\Bnchit~\Bnchiu~\Bnchiv~\Bnchiw~\Bnchix~\Bnchiy~\Bnchiz \\
-% \BnchiA~\BnchiB~\BnchiC~\BnchiD~\BnchiE~\BnchiF~\BnchiG~\BnchiH~\BnchiI~\BnchiJ~\BnchiK~\BnchiL~\BnchiM~\BnchiN~\BnchiO~\BnchiP~\BnchiQ~\BnchiR~\BnchiS~\BnchiT~\BnchiU~\BnchiV~\BnchiW~\BnchiX~\BnchiY~\BnchiZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchi{0}~\bnchi{1}~\bnchi{2}~\bnchi{3}~\bnchi{4}~\bnchi{5}~\bnchi{6}~\bnchi{7}~\bnchi{8}~\bnchi{9} \\
-% \bnchi{a}~\bnchi{b}~\bnchi{c}~\bnchi{d}~\bnchi{e}~\bnchi{f}~\bnchi{g}~\bnchi{h}~\bnchi{i}~\bnchi{j}~\bnchi{k}~\bnchi{l}~\bnchi{m}~\bnchi{n}~\bnchi{o}~\bnchi{p}~\bnchi{q}~\bnchi{r}~\bnchi{s}~\bnchi{t}~\bnchi{u}~\bnchi{v}~\bnchi{w}~\bnchi{x}~\bnchi{y}~\bnchi{z} \\
-% \bnchi{A}~\bnchi{B}~\bnchi{C}~\bnchi{D}~\bnchi{E}~\bnchi{F}~\bnchi{G}~\bnchi{H}~\bnchi{I}~\bnchi{J}~\bnchi{K}~\bnchi{L}~\bnchi{M}~\bnchi{N}~\bnchi{O}~\bnchi{P}~\bnchi{Q}~\bnchi{R}~\bnchi{S}~\bnchi{T}~\bnchi{U}~\bnchi{V}~\bnchi{W}~\bnchi{X}~\bnchi{Y}~\bnchi{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchi{0 1 2 3 4 5 6 7 8 9} \\
-% \bnchi{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \bnchi{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
-% \clearpage
\begin{flushleft}
Logical Variable: {\textbackslash}symSlu\{<alphanum>\} -- slab-serif, bold script
\end{flushleft}
@@ -2438,24 +2530,6 @@
\mathSlu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Bnchbzero~\Bnchbone~\Bnchbtwo~\Bnchbthree~\Bnchbfour~\Bnchbfive~\Bnchbsix~\Bnchbseven~\Bnchbeight~\Bnchbnine \\
-% \Bnchba~\Bnchbb~\Bnchbc~\Bnchbd~\Bnchbe~\Bnchbf~\Bnchbg~\Bnchbh~\Bnchbi~\Bnchbj~\Bnchbk~\Bnchbl~\Bnchbm~\Bnchbn~\Bnchbo~\Bnchbp~\Bnchbq~\Bnchbr~\Bnchbs~\Bnchbt~\Bnchbu~\Bnchbv~\Bnchbw~\Bnchbx~\Bnchby~\Bnchbz \\
-% \BnchbA~\BnchbB~\BnchbC~\BnchbD~\BnchbE~\BnchbF~\BnchbG~\BnchbH~\BnchbI~\BnchbJ~\BnchbK~\BnchbL~\BnchbM~\BnchbN~\BnchbO~\BnchbP~\BnchbQ~\BnchbR~\BnchbS~\BnchbT~\BnchbU~\BnchbV~\BnchbW~\BnchbX~\BnchbY~\BnchbZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchb{0}~\bnchb{1}~\bnchb{2}~\bnchb{3}~\bnchb{4}~\bnchb{5}~\bnchb{6}~\bnchb{7}~\bnchb{8}~\bnchb{9} \\
-% \bnchb{a}~\bnchb{b}~\bnchb{c}~\bnchb{d}~\bnchb{e}~\bnchb{f}~\bnchb{g}~\bnchb{h}~\bnchb{i}~\bnchb{j}~\bnchb{k}~\bnchb{l}~\bnchb{m}~\bnchb{n}~\bnchb{o}~\bnchb{p}~\bnchb{q}~\bnchb{r}~\bnchb{s}~\bnchb{t}~\bnchb{u}~\bnchb{v}~\bnchb{w}~\bnchb{x}~\bnchb{y}~\bnchb{z} \\
-% \bnchb{A}~\bnchb{B}~\bnchb{C}~\bnchb{D}~\bnchb{E}~\bnchb{F}~\bnchb{G}~\bnchb{H}~\bnchb{I}~\bnchb{J}~\bnchb{K}~\bnchb{L}~\bnchb{M}~\bnchb{N}~\bnchb{O}~\bnchb{P}~\bnchb{Q}~\bnchb{R}~\bnchb{S}~\bnchb{T}~\bnchb{U}~\bnchb{V}~\bnchb{W}~\bnchb{X}~\bnchb{Y}~\bnchb{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchb{0 1 2 3 4 5 6 7 8 9} \\
-% \bnchb{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \bnchb{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symSli\{<alphanum>\} -- slab-serif, bold, oblique script
\end{flushleft}
@@ -2479,24 +2553,6 @@
\mathSli{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Bnchbizero~\Bnchbione~\Bnchbitwo~\Bnchbithree~\Bnchbifour~\Bnchbifive~\Bnchbisix~\Bnchbiseven~\Bnchbieight~\Bnchbinine \\
-% \Bnchbia~\Bnchbib~\Bnchbic~\Bnchbid~\Bnchbie~\Bnchbif~\Bnchbig~\Bnchbih~\Bnchbii~\Bnchbij~\Bnchbik~\Bnchbil~\Bnchbim~\Bnchbin~\Bnchbio~\Bnchbip~\Bnchbiq~\Bnchbir~\Bnchbis~\Bnchbit~\Bnchbiu~\Bnchbiv~\Bnchbiw~\Bnchbix~\Bnchbiy~\Bnchbiz \\
-% \BnchbiA~\BnchbiB~\BnchbiC~\BnchbiD~\BnchbiE~\BnchbiF~\BnchbiG~\BnchbiH~\BnchbiI~\BnchbiJ~\BnchbiK~\BnchbiL~\BnchbiM~\BnchbiN~\BnchbiO~\BnchbiP~\BnchbiQ~\BnchbiR~\BnchbiS~\BnchbiT~\BnchbiU~\BnchbiV~\BnchbiW~\BnchbiX~\BnchbiY~\BnchbiZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchbi{0}~\bnchbi{1}~\bnchbi{2}~\bnchbi{3}~\bnchbi{4}~\bnchbi{5}~\bnchbi{6}~\bnchbi{7}~\bnchbi{8}~\bnchbi{9} \\
-% \bnchbi{a}~\bnchbi{b}~\bnchbi{c}~\bnchbi{d}~\bnchbi{e}~\bnchbi{f}~\bnchbi{g}~\bnchbi{h}~\bnchbi{i}~\bnchbi{j}~\bnchbi{k}~\bnchbi{l}~\bnchbi{m}~\bnchbi{n}~\bnchbi{o}~\bnchbi{p}~\bnchbi{q}~\bnchbi{r}~\bnchbi{s}~\bnchbi{t}~\bnchbi{u}~\bnchbi{v}~\bnchbi{w}~\bnchbi{x}~\bnchbi{y}~\bnchbi{z} \\
-% \bnchbi{A}~\bnchbi{B}~\bnchbi{C}~\bnchbi{D}~\bnchbi{E}~\bnchbi{F}~\bnchbi{G}~\bnchbi{H}~\bnchbi{I}~\bnchbi{J}~\bnchbi{K}~\bnchbi{L}~\bnchbi{M}~\bnchbi{N}~\bnchbi{O}~\bnchbi{P}~\bnchbi{Q}~\bnchbi{R}~\bnchbi{S}~\bnchbi{T}~\bnchbi{U}~\bnchbi{V}~\bnchbi{W}~\bnchbi{X}~\bnchbi{Y}~\bnchbi{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \bnchbi{0 1 2 3 4 5 6 7 8 9} \\
-% \bnchbi{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \bnchbi{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\clearpage
\begin{flushleft}
Logical Variable: {\textbackslash}symsru\{<alphanum>\} -- serif scipt
@@ -2521,24 +2577,6 @@
\mathsru{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblzero~\Vrblone~\Vrbltwo~\Vrblthree~\Vrblfour~\Vrblfive~\Vrblsix~\Vrblseven~\Vrbleight~\Vrblnine \\
-% \Vrbla~\Vrblb~\Vrblc~\Vrbld~\Vrble~\Vrblf~\Vrblg~\Vrblh~\Vrbli~\Vrblj~\Vrblk~\Vrbll~\Vrblm~\Vrbln~\Vrblo~\Vrblp~\Vrblq~\Vrblr~\Vrbls~\Vrblt~\Vrblu~\Vrblv~\Vrblw~\Vrblx~\Vrbly~\Vrblz \\
-% \VrblA~\VrblB~\VrblC~\VrblD~\VrblE~\VrblF~\VrblG~\VrblH~\VrblI~\VrblJ~\VrblK~\VrblL~\VrblM~\VrblN~\VrblO~\VrblP~\VrblQ~\VrblR~\VrblS~\VrblT~\VrblU~\VrblV~\VrblW~\VrblX~\VrblY~\VrblZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbl{0}~\vrbl{1}~\vrbl{2}~\vrbl{3}~\vrbl{4}~\vrbl{5}~\vrbl{6}~\vrbl{7}~\vrbl{8}~\vrbl{9} \\
-% \vrbl{a}~\vrbl{b}~\vrbl{c}~\vrbl{d}~\vrbl{e}~\vrbl{f}~\vrbl{g}~\vrbl{h}~\vrbl{i}~\vrbl{j}~\vrbl{k}~\vrbl{l}~\vrbl{m}~\vrbl{n}~\vrbl{o}~\vrbl{p}~\vrbl{q}~\vrbl{r}~\vrbl{s}~\vrbl{t}~\vrbl{u}~\vrbl{v}~\vrbl{w}~\vrbl{x}~\vrbl{y}~\vrbl{z} \\
-% \vrbl{A}~\vrbl{B}~\vrbl{C}~\vrbl{D}~\vrbl{E}~\vrbl{F}~\vrbl{G}~\vrbl{H}~\vrbl{I}~\vrbl{J}~\vrbl{K}~\vrbl{L}~\vrbl{M}~\vrbl{N}~\vrbl{O}~\vrbl{P}~\vrbl{Q}~\vrbl{R}~\vrbl{S}~\vrbl{T}~\vrbl{U}~\vrbl{V}~\vrbl{W}~\vrbl{X}~\vrbl{Y}~\vrbl{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbl{0 1 2 3 4 5 6 7 8 9} \\
-% \vrbl{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrbl{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symsri\{<alphanum>\} -- serif, italic script
\end{flushleft}
@@ -2562,25 +2600,6 @@
\mathsri{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblizero~\Vrblione~\Vrblitwo~\Vrblithree~\Vrblifour~\Vrblifive~\Vrblisix~\Vrbliseven~\Vrblieight~\Vrblinine \\
-% \Vrblia~\Vrblib~\Vrblic~\Vrblid~\Vrblie~\Vrblif~\Vrblig~\Vrblih~\Vrblii~\Vrblij~\Vrblik~\Vrblil~\Vrblim~\Vrblin~\Vrblio~\Vrblip~\Vrbliq~\Vrblir~\Vrblis~\Vrblit~\Vrbliu~\Vrbliv~\Vrbliw~\Vrblix~\Vrbliy~\Vrbliz \\
-% \VrbliA~\VrbliB~\VrbliC~\VrbliD~\VrbliE~\VrbliF~\VrbliG~\VrbliH~\VrbliI~\VrbliJ~\VrbliK~\VrbliL~\VrbliM~\VrbliN~\VrbliO~\VrbliP~\VrbliQ~\VrbliR~\VrbliS~\VrbliT~\VrbliU~\VrbliV~\VrbliW~\VrbliX~\VrbliY~\VrbliZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbli{0}~\vrbli{1}~\vrbli{2}~\vrbli{3}~\vrbli{4}~\vrbli{5}~\vrbli{6}~\vrbli{7}~\vrbli{8}~\vrbli{9} \\
-% \vrbli{a}~\vrbli{b}~\vrbli{c}~\vrbli{d}~\vrbli{e}~\vrbli{f}~\vrbli{g}~\vrbli{h}~\vrbli{i}~\vrbli{j}~\vrbli{k}~\vrbli{l}~\vrbli{m}~\vrbli{n}~\vrbli{o}~\vrbli{p}~\vrbli{q}~\vrbli{r}~\vrbli{s}~\vrbli{t}~\vrbli{u}~\vrbli{v}~\vrbli{w}~\vrbli{x}~\vrbli{y}~\vrbli{z} \\
-% \vrbli{A}~\vrbli{B}~\vrbli{C}~\vrbli{D}~\vrbli{E}~\vrbli{F}~\vrbli{G}~\vrbli{H}~\vrbli{I}~\vrbli{J}~\vrbli{K}~\vrbli{L}~\vrbli{M}~\vrbli{N}~\vrbli{O}~\vrbli{P}~\vrbli{Q}~\vrbli{R}~\vrbli{S}~\vrbli{T}~\vrbli{U}~\vrbli{V}~\vrbli{W}~\vrbli{X}~\vrbli{Y}~\vrbli{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbli{0 1 2 3 4 5 6 7 8 9} \\
-% \vrbli{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrbli{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
-% \clearpage
\begin{flushleft}
Logical Variable: {\textbackslash}symSru\{<alphanum>\} -- serif, bold script
\end{flushleft}
@@ -2604,24 +2623,6 @@
\mathSru{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblbzero~\Vrblbone~\Vrblbtwo~\Vrblbthree~\Vrblbfour~\Vrblbfive~\Vrblbsix~\Vrblbseven~\Vrblbeight~\Vrblbnine \\
-% \Vrblba~\Vrblbb~\Vrblbc~\Vrblbd~\Vrblbe~\Vrblbf~\Vrblbg~\Vrblbh~\Vrblbi~\Vrblbj~\Vrblbk~\Vrblbl~\Vrblbm~\Vrblbn~\Vrblbo~\Vrblbp~\Vrblbq~\Vrblbr~\Vrblbs~\Vrblbt~\Vrblbu~\Vrblbv~\Vrblbw~\Vrblbx~\Vrblby~\Vrblbz \\
-% \VrblbA~\VrblbB~\VrblbC~\VrblbD~\VrblbE~\VrblbF~\VrblbG~\VrblbH~\VrblbI~\VrblbJ~\VrblbK~\VrblbL~\VrblbM~\VrblbN~\VrblbO~\VrblbP~\VrblbQ~\VrblbR~\VrblbS~\VrblbT~\VrblbU~\VrblbV~\VrblbW~\VrblbX~\VrblbY~\VrblbZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblb{0}~\vrblb{1}~\vrblb{2}~\vrblb{3}~\vrblb{4}~\vrblb{5}~\vrblb{6}~\vrblb{7}~\vrblb{8}~\vrblb{9} \\
-% \vrblb{a}~\vrblb{b}~\vrblb{c}~\vrblb{d}~\vrblb{e}~\vrblb{f}~\vrblb{g}~\vrblb{h}~\vrblb{i}~\vrblb{j}~\vrblb{k}~\vrblb{l}~\vrblb{m}~\vrblb{n}~\vrblb{o}~\vrblb{p}~\vrblb{q}~\vrblb{r}~\vrblb{s}~\vrblb{t}~\vrblb{u}~\vrblb{v}~\vrblb{w}~\vrblb{x}~\vrblb{y}~\vrblb{z} \\
-% \vrblb{A}~\vrblb{B}~\vrblb{C}~\vrblb{D}~\vrblb{E}~\vrblb{F}~\vrblb{G}~\vrblb{H}~\vrblb{I}~\vrblb{J}~\vrblb{K}~\vrblb{L}~\vrblb{M}~\vrblb{N}~\vrblb{O}~\vrblb{P}~\vrblb{Q}~\vrblb{R}~\vrblb{S}~\vrblb{T}~\vrblb{U}~\vrblb{V}~\vrblb{W}~\vrblb{X}~\vrblb{Y}~\vrblb{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblb{0 1 2 3 4 5 6 7 8 9} \\
-% \vrblb{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrblb{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symSri\{<alphanum>\} -- serif, bold, italic script
\end{flushleft}
@@ -2645,27 +2646,9 @@
\mathSri{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblbizero~\Vrblbione~\Vrblbitwo~\Vrblbithree~\Vrblbifour~\Vrblbifive~\Vrblbisix~\Vrblbiseven~\Vrblbieight~\Vrblbinine \\
-% \Vrblbia~\Vrblbib~\Vrblbic~\Vrblbid~\Vrblbie~\Vrblbif~\Vrblbig~\Vrblbih~\Vrblbii~\Vrblbij~\Vrblbik~\Vrblbil~\Vrblbim~\Vrblbin~\Vrblbio~\Vrblbip~\Vrblbiq~\Vrblbir~\Vrblbis~\Vrblbit~\Vrblbiu~\Vrblbiv~\Vrblbiw~\Vrblbix~\Vrblbiy~\Vrblbiz \\
-% \VrblbiA~\VrblbiB~\VrblbiC~\VrblbiD~\VrblbiE~\VrblbiF~\VrblbiG~\VrblbiH~\VrblbiI~\VrblbiJ~\VrblbiK~\VrblbiL~\VrblbiM~\VrblbiN~\VrblbiO~\VrblbiP~\VrblbiQ~\VrblbiR~\VrblbiS~\VrblbiT~\VrblbiU~\VrblbiV~\VrblbiW~\VrblbiX~\VrblbiY~\VrblbiZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblbi{0}~\vrblbi{1}~\vrblbi{2}~\vrblbi{3}~\vrblbi{4}~\vrblbi{5}~\vrblbi{6}~\vrblbi{7}~\vrblbi{8}~\vrblbi{9} \\
-% \vrblbi{a}~\vrblbi{b}~\vrblbi{c}~\vrblbi{d}~\vrblbi{e}~\vrblbi{f}~\vrblbi{g}~\vrblbi{h}~\vrblbi{i}~\vrblbi{j}~\vrblbi{k}~\vrblbi{l}~\vrblbi{m}~\vrblbi{n}~\vrblbi{o}~\vrblbi{p}~\vrblbi{q}~\vrblbi{r}~\vrblbi{s}~\vrblbi{t}~\vrblbi{u}~\vrblbi{v}~\vrblbi{w}~\vrblbi{x}~\vrblbi{y}~\vrblbi{z} \\
-% \vrblbi{A}~\vrblbi{B}~\vrblbi{C}~\vrblbi{D}~\vrblbi{E}~\vrblbi{F}~\vrblbi{G}~\vrblbi{H}~\vrblbi{I}~\vrblbi{J}~\vrblbi{K}~\vrblbi{L}~\vrblbi{M}~\vrblbi{N}~\vrblbi{O}~\vrblbi{P}~\vrblbi{Q}~\vrblbi{R}~\vrblbi{S}~\vrblbi{T}~\vrblbi{U}~\vrblbi{V}~\vrblbi{W}~\vrblbi{X}~\vrblbi{Y}~\vrblbi{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblbi{0 1 2 3 4 5 6 7 8 9} \\
-% \vrblbi{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrblbi{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\clearpage
\begin{flushleft}
- Map Variable: {\textbackslash}symcli\{<alphanum>\} -- calligraphic script
+ Map Variable: {\textbackslash}symcli\{<alphanum>\} -- calligraphic bold script
\end{flushleft}
\vspace{-0.15em}
@@ -2687,66 +2670,29 @@
\mathcli{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblczero~\Vrblcone~\Vrblctwo~\Vrblcthree~\Vrblcfour~\Vrblcfive~\Vrblcsix~\Vrblcseven~\Vrblceight~\Vrblcnine \\
-% \Vrblca~\Vrblcb~\Vrblcc~\Vrblcd~\Vrblce~\Vrblcf~\Vrblcg~\Vrblch~\Vrblci~\Vrblcj~\Vrblck~\Vrblcl~\Vrblcm~\Vrblcn~\Vrblco~\Vrblcp~\Vrblcq~\Vrblcr~\Vrblcs~\Vrblct~\Vrblcu~\Vrblcv~\Vrblcw~\Vrblcx~\Vrblcy~\Vrblcz \\
-% \VrblcA~\VrblcB~\VrblcC~\VrblcD~\VrblcE~\VrblcF~\VrblcG~\VrblcH~\VrblcI~\VrblcJ~\VrblcK~\VrblcL~\VrblcM~\VrblcN~\VrblcO~\VrblcP~\VrblcQ~\VrblcR~\VrblcS~\VrblcT~\VrblcU~\VrblcV~\VrblcW~\VrblcX~\VrblcY~\VrblcZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblc{0}~\vrblc{1}~\vrblc{2}~\vrblc{3}~\vrblc{4}~\vrblc{5}~\vrblc{6}~\vrblc{7}~\vrblc{8}~\vrblc{9} \\
-% \vrblc{a}~\vrblc{b}~\vrblc{c}~\vrblc{d}~\vrblc{e}~\vrblc{f}~\vrblc{g}~\vrblc{h}~\vrblc{i}~\vrblc{j}~\vrblc{k}~\vrblc{l}~\vrblc{m}~\vrblc{n}~\vrblc{o}~\vrblc{p}~\vrblc{q}~\vrblc{r}~\vrblc{s}~\vrblc{t}~\vrblc{u}~\vrblc{v}~\vrblc{w}~\vrblc{x}~\vrblc{y}~\vrblc{z} \\
-% \vrblc{A}~\vrblc{B}~\vrblc{C}~\vrblc{D}~\vrblc{E}~\vrblc{F}~\vrblc{G}~\vrblc{H}~\vrblc{I}~\vrblc{J}~\vrblc{K}~\vrblc{L}~\vrblc{M}~\vrblc{N}~\vrblc{O}~\vrblc{P}~\vrblc{Q}~\vrblc{R}~\vrblc{S}~\vrblc{T}~\vrblc{U}~\vrblc{V}~\vrblc{W}~\vrblc{X}~\vrblc{Y}~\vrblc{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblc{0 1 2 3 4 5 6 7 8 9} \\
-% \vrblc{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrblc{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
- Map Variable: {\textbackslash}symblu\{<alphanum>\} -- blackboard / double struck script
+ Map Variable: {\textbackslash}symCli\{<alphanum>\} -- calligraphic bold script
\end{flushleft}
\vspace{-0.15em}
\begin{symbolListC}
- \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 \\
+ \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}
\begin{symbolListC}
- \symblu{0}~\symblu{1}~\symblu{2}~\symblu{3}~\symblu{4}~\symblu{5}~\symblu{6}~\symblu{7}~\symblu{8}~\symblu{9} \\
- \symblu{a}~\symblu{b}~\symblu{c}~\symblu{d}~\symblu{e}~\symblu{f}~\symblu{g}~\symblu{h}~\symblu{i}~\symblu{j}~\symblu{k}~\symblu{l}~\symblu{m}~\symblu{n}~\symblu{o}~\symblu{p}~\symblu{q}~\symblu{r}~\symblu{s}~\symblu{t}~\symblu{u}~\symblu{v}~\symblu{w}~\symblu{x}~\symblu{y}~\symblu{z} \\
- \symblu{A}~\symblu{B}~\symblu{C}~\symblu{D}~\symblu{E}~\symblu{F}~\symblu{G}~\symblu{H}~\symblu{I}~\symblu{J}~\symblu{K}~\symblu{L}~\symblu{M}~\symblu{N}~\symblu{O}~\symblu{P}~\symblu{Q}~\symblu{R}~\symblu{S}~\symblu{T}~\symblu{U}~\symblu{V}~\symblu{W}~\symblu{X}~\symblu{Y}~\symblu{Z} \\
+ \symCli{0}~\symCli{1}~\symCli{2}~\symCli{3}~\symCli{4}~\symCli{5}~\symCli{6}~\symCli{7}~\symCli{8}~\symCli{9} \\
+ \symCli{a}~\symCli{b}~\symCli{c}~\symCli{d}~\symCli{e}~\symCli{f}~\symCli{g}~\symCli{h}~\symCli{i}~\symCli{j}~\symCli{k}~\symCli{l}~\symCli{m}~\symCli{n}~\symCli{o}~\symCli{p}~\symCli{q}~\symCli{r}~\symCli{s}~\symCli{t}~\symCli{u}~\symCli{v}~\symCli{w}~\symCli{x}~\symCli{y}~\symCli{z} \\
+ \symCli{A}~\symCli{B}~\symCli{C}~\symCli{D}~\symCli{E}~\symCli{F}~\symCli{G}~\symCli{H}~\symCli{I}~\symCli{J}~\symCli{K}~\symCli{L}~\symCli{M}~\symCli{N}~\symCli{O}~\symCli{P}~\symCli{Q}~\symCli{R}~\symCli{S}~\symCli{T}~\symCli{U}~\symCli{V}~\symCli{W}~\symCli{X}~\symCli{Y}~\symCli{Z} \\
\end{symbolListC}
\begin{symbolListC}
- \mathblu{0 1 2 3 4 5 6 7 8 9} \\
- \mathblu{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
- \mathblu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
+ \mathCli{0 1 2 3 4 5 6 7 8 9} \\
+ \mathCli{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
+ \mathCli{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrbldzero~\Vrbldone~\Vrbldtwo~\Vrbldthree~\Vrbldfour~\Vrbldfive~\Vrbldsix~\Vrbldseven~\Vrbldeight~\Vrbldnine \\
-% \Vrblda~\Vrbldb~\Vrbldc~\Vrbldd~\Vrblde~\Vrbldf~\Vrbldg~\Vrbldh~\Vrbldi~\Vrbldj~\Vrbldk~\Vrbldl~\Vrbldm~\Vrbldn~\Vrbldo~\Vrbldp~\Vrbldq~\Vrbldr~\Vrblds~\Vrbldt~\Vrbldu~\Vrbldv~\Vrbldw~\Vrbldx~\Vrbldy~\Vrbldz \\
-% \VrbldA~\VrbldB~\VrbldC~\VrbldD~\VrbldE~\VrbldF~\VrbldG~\VrbldH~\VrbldI~\VrbldJ~\VrbldK~\VrbldL~\VrbldM~\VrbldN~\VrbldO~\VrbldP~\VrbldQ~\VrbldR~\VrbldS~\VrbldT~\VrbldU~\VrbldV~\VrbldW~\VrbldX~\VrbldY~\VrbldZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbld{0}~\vrbld{1}~\vrbld{2}~\vrbld{3}~\vrbld{4}~\vrbld{5}~\vrbld{6}~\vrbld{7}~\vrbld{8}~\vrbld{9} \\
-% \vrbld{a}~\vrbld{b}~\vrbld{c}~\vrbld{d}~\vrbld{e}~\vrbld{f}~\vrbld{g}~\vrbld{h}~\vrbld{i}~\vrbld{j}~\vrbld{k}~\vrbld{l}~\vrbld{m}~\vrbld{n}~\vrbld{o}~\vrbld{p}~\vrbld{q}~\vrbld{r}~\vrbld{s}~\vrbld{t}~\vrbld{u}~\vrbld{v}~\vrbld{w}~\vrbld{x}~\vrbld{y}~\vrbld{z} \\
-% \vrbld{A}~\vrbld{B}~\vrbld{C}~\vrbld{D}~\vrbld{E}~\vrbld{F}~\vrbld{G}~\vrbld{H}~\vrbld{I}~\vrbld{J}~\vrbld{K}~\vrbld{L}~\vrbld{M}~\vrbld{N}~\vrbld{O}~\vrbld{P}~\vrbld{Q}~\vrbld{R}~\vrbld{S}~\vrbld{T}~\vrbld{U}~\vrbld{V}~\vrbld{W}~\vrbld{X}~\vrbld{Y}~\vrbld{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrbld{0 1 2 3 4 5 6 7 8 9} \\
-% \vrbld{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrbld{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
-% \clearpage
\begin{flushleft}
Map Variable: {\textbackslash}symfru\{<alphanum>\} -- Fraktur script
\end{flushleft}
@@ -2770,24 +2716,6 @@
\mathfru{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Vrblfzero~\Vrblfone~\Vrblftwo~\Vrblfthree~\Vrblffour~\Vrblffive~\Vrblfsix~\Vrblfseven~\Vrblfeight~\Vrblfnine \\
-% \Vrblfa~\Vrblfb~\Vrblfc~\Vrblfd~\Vrblfe~\Vrblff~\Vrblfg~\Vrblfh~\Vrblfi~\Vrblfj~\Vrblfk~\Vrblfl~\Vrblfm~\Vrblfn~\Vrblfo~\Vrblfp~\Vrblfq~\Vrblfr~\Vrblfs~\Vrblft~\Vrblfu~\Vrblfv~\Vrblfw~\Vrblfx~\Vrblfy~\Vrblfz \\
-% \VrblfA~\VrblfB~\VrblfC~\VrblfD~\VrblfE~\VrblfF~\VrblfG~\VrblfH~\VrblfI~\VrblfJ~\VrblfK~\VrblfL~\VrblfM~\VrblfN~\VrblfO~\VrblfP~\VrblfQ~\VrblfR~\VrblfS~\VrblfT~\VrblfU~\VrblfV~\VrblfW~\VrblfX~\VrblfY~\VrblfZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblf{0}~\vrblf{1}~\vrblf{2}~\vrblf{3}~\vrblf{4}~\vrblf{5}~\vrblf{6}~\vrblf{7}~\vrblf{8}~\vrblf{9} \\
-% \vrblf{a}~\vrblf{b}~\vrblf{c}~\vrblf{d}~\vrblf{e}~\vrblf{f}~\vrblf{g}~\vrblf{h}~\vrblf{i}~\vrblf{j}~\vrblf{k}~\vrblf{l}~\vrblf{m}~\vrblf{n}~\vrblf{o}~\vrblf{p}~\vrblf{q}~\vrblf{r}~\vrblf{s}~\vrblf{t}~\vrblf{u}~\vrblf{v}~\vrblf{w}~\vrblf{x}~\vrblf{y}~\vrblf{z} \\
-% \vrblf{A}~\vrblf{B}~\vrblf{C}~\vrblf{D}~\vrblf{E}~\vrblf{F}~\vrblf{G}~\vrblf{H}~\vrblf{I}~\vrblf{J}~\vrblf{K}~\vrblf{L}~\vrblf{M}~\vrblf{N}~\vrblf{O}~\vrblf{P}~\vrblf{Q}~\vrblf{R}~\vrblf{S}~\vrblf{T}~\vrblf{U}~\vrblf{V}~\vrblf{W}~\vrblf{X}~\vrblf{Y}~\vrblf{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblf{0 1 2 3 4 5 6 7 8 9} \\
-% \vrblf{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrblf{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Map Variable: {\textbackslash}symFru\{<alphanum>\} -- Fraktur, bold script
\end{flushleft}
@@ -2811,24 +2739,6 @@
\mathFru{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \VrblFzero~\VrblFone~\VrblFtwo~\VrblFthree~\VrblFfour~\VrblFfive~\VrblFsix~\VrblFseven~\VrblFeight~\VrblFnine \\
-% \VrblFa~\VrblFb~\VrblFc~\VrblFd~\VrblFe~\VrblFf~\VrblFg~\VrblFh~\VrblFi~\VrblFj~\VrblFk~\VrblFl~\VrblFm~\VrblFn~\VrblFo~\VrblFp~\VrblFq~\VrblFr~\VrblFs~\VrblFt~\VrblFu~\VrblFv~\VrblFw~\VrblFx~\VrblFy~\VrblFz \\
-% \VrblFA~\VrblFB~\VrblFC~\VrblFD~\VrblFE~\VrblFF~\VrblFG~\VrblFH~\VrblFI~\VrblFJ~\VrblFK~\VrblFL~\VrblFM~\VrblFN~\VrblFO~\VrblFP~\VrblFQ~\VrblFR~\VrblFS~\VrblFT~\VrblFU~\VrblFV~\VrblFW~\VrblFX~\VrblFY~\VrblFZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblF{0}~\vrblF{1}~\vrblF{2}~\vrblF{3}~\vrblF{4}~\vrblF{5}~\vrblF{6}~\vrblF{7}~\vrblF{8}~\vrblF{9} \\
-% \vrblF{a}~\vrblF{b}~\vrblF{c}~\vrblF{d}~\vrblF{e}~\vrblF{f}~\vrblF{g}~\vrblF{h}~\vrblF{i}~\vrblF{j}~\vrblF{k}~\vrblF{l}~\vrblF{m}~\vrblF{n}~\vrblF{o}~\vrblF{p}~\vrblF{q}~\vrblF{r}~\vrblF{s}~\vrblF{t}~\vrblF{u}~\vrblF{v}~\vrblF{w}~\vrblF{x}~\vrblF{y}~\vrblF{z} \\
-% \vrblF{A}~\vrblF{B}~\vrblF{C}~\vrblF{D}~\vrblF{E}~\vrblF{F}~\vrblF{G}~\vrblF{H}~\vrblF{I}~\vrblF{J}~\vrblF{K}~\vrblF{L}~\vrblF{M}~\vrblF{N}~\vrblF{O}~\vrblF{P}~\vrblF{Q}~\vrblF{R}~\vrblF{S}~\vrblF{T}~\vrblF{U}~\vrblF{V}~\vrblF{W}~\vrblF{X}~\vrblF{Y}~\vrblF{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \vrblF{0 1 2 3 4 5 6 7 8 9} \\
-% \vrblF{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \vrblF{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\clearpage
\begin{flushleft}
Map Variable: {\textbackslash}symmnu\{<alphanum>\} -- Monospace, slab-serif, upright script
@@ -2852,24 +2762,6 @@
\mathmnu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Monozero~\Monoone~\Monotwo~\Monothree~\Monofour~\Monofive~\Monosix~\Monoseven~\Monoeight~\Mononine \\
-% \Monoa~\Monob~\Monoc~\Monod~\Monoe~\Monof~\Monog~\Monoh~\Monoi~\Monoj~\Monok~\Monol~\Monom~\Monon~\Monoo~\Monop~\Monoq~\Monor~\Monos~\Monot~\Monou~\Monov~\Monow~\Monox~\Monoy~\Monoz \\
-% \MonoA~\MonoB~\MonoC~\MonoD~\MonoE~\MonoF~\MonoG~\MonoH~\MonoI~\MonoJ~\MonoK~\MonoL~\MonoM~\MonoN~\MonoO~\MonoP~\MonoQ~\MonoR~\MonoS~\MonoT~\MonoU~\MonoV~\MonoW~\MonoX~\MonoY~\MonoZ \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \mono{0}~\mono{1}~\mono{2}~\mono{3}~\mono{4}~\mono{5}~\mono{6}~\mono{7}~\mono{8}~\mono{9} \\
-% \mono{a}~\mono{b}~\mono{c}~\mono{d}~\mono{e}~\mono{f}~\mono{g}~\mono{h}~\mono{i}~\mono{j}~\mono{k}~\mono{l}~\mono{m}~\mono{n}~\mono{o}~\mono{p}~\mono{q}~\mono{r}~\mono{s}~\mono{t}~\mono{u}~\mono{v}~\mono{w}~\mono{x}~\mono{y}~\mono{z} \\
-% \mono{A}~\mono{B}~\mono{C}~\mono{D}~\mono{E}~\mono{F}~\mono{G}~\mono{H}~\mono{I}~\mono{J}~\mono{K}~\mono{L}~\mono{M}~\mono{N}~\mono{O}~\mono{P}~\mono{Q}~\mono{R}~\mono{S}~\mono{T}~\mono{U}~\mono{V}~\mono{W}~\mono{X}~\mono{Y}~\mono{Z} \\
-% \end{symbolListC}
-
-% \begin{symbolListC}
-% \mono{0 1 2 3 4 5 6 7 8 9} \\
-% \mono{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
-% \mono{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
-% \end{symbolListC}
-
\begin{flushleft}
Map Variable: {\textbackslash}symmri\{<alphanum>\} -- Monospace serif, italic script
\end{flushleft}
@@ -2893,12 +2785,6 @@
\mathmni{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
\end{symbolListC}
-% \begin{symbolListC}
-% \Kntzero~\Kntone~\Knttwo~\Kntthree~\Kntfour~\Kntfive~\Kntsix~\Kntseven~\Knteight~\Kntnine \\
-% \Knta~\Kntb~\Kntc~\Kntd~\Knte~\Kntf~\Kntg~\Knth~\Knti~\Kntj~\Kntk~\Kntl~\Kntm~\Kntn~\Knto~\Kntp~\Kntq~\Kntr~\Knts~\Kntt~\Kntu~\Kntv~\Kntw~\Kntx~\Knty~\Kntz \\
-% \KntA~\KntB~\KntC~\KntD~\KntE~\KntF~\KntG~\KntH~\KntI~\KntJ~\KntK~\KntL~\KntM~\KntN~\KntO~\KntP~\KntQ~\KntR~\KntS~\KntT~\KntU~\KntV~\KntW~\KntX~\KntY~\KntZ \\
-% \end{symbolListC}
-
\begin{flushleft}
Logical Variable: {\textbackslash}symgru\{<alphanum>\} -- Greek upright script
\end{flushleft}
@@ -2945,4 +2831,28 @@
\symgri{\Uchar "3B5 \Uchar "3D1 \Uchar "3D6 \Uchar "3F1 \Uchar "3C2 \Uchar "3C6} \\
\end{symbolListC}
+ \clearpage
+ \begin{flushleft}
+ Map Variable: {\textbackslash}symblu\{<alphanum>\} -- blackboard / double struck script
+ \end{flushleft}
+ \vspace{-0.15em}
+
+ \begin{symbolListC}
+ \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}
+
+ \begin{symbolListC}
+ \symblu{0}~\symblu{1}~\symblu{2}~\symblu{3}~\symblu{4}~\symblu{5}~\symblu{6}~\symblu{7}~\symblu{8}~\symblu{9} \\
+ \symblu{a}~\symblu{b}~\symblu{c}~\symblu{d}~\symblu{e}~\symblu{f}~\symblu{g}~\symblu{h}~\symblu{i}~\symblu{j}~\symblu{k}~\symblu{l}~\symblu{m}~\symblu{n}~\symblu{o}~\symblu{p}~\symblu{q}~\symblu{r}~\symblu{s}~\symblu{t}~\symblu{u}~\symblu{v}~\symblu{w}~\symblu{x}~\symblu{y}~\symblu{z} \\
+ \symblu{A}~\symblu{B}~\symblu{C}~\symblu{D}~\symblu{E}~\symblu{F}~\symblu{G}~\symblu{H}~\symblu{I}~\symblu{J}~\symblu{K}~\symblu{L}~\symblu{M}~\symblu{N}~\symblu{O}~\symblu{P}~\symblu{Q}~\symblu{R}~\symblu{S}~\symblu{T}~\symblu{U}~\symblu{V}~\symblu{W}~\symblu{X}~\symblu{Y}~\symblu{Z} \\
+ \end{symbolListC}
+
+ \begin{symbolListC}
+ \mathblu{0 1 2 3 4 5 6 7 8 9} \\
+ \mathblu{a b c d e f g h i j k l m n o p q r s t u v w x y z} \\
+ \mathblu{A B C D E F G H I J K L M N O P Q R S T U V W X Y Z} \\
+ \end{symbolListC}
+
\end{document}
diff --git a/Master/texmf-dist/doc/fonts/logix/logix.vfc b/Master/texmf-dist/doc/fonts/logix/logix.vfc
index 2cfa1755a74..ff9f6adb4a8 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.vfc
+++ b/Master/texmf-dist/doc/fonts/logix/logix.vfc
Binary files differ
diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf
index 8bff0ea9b18..915541a3501 100644
--- a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf
+++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf
Binary files differ
diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff
index d01274dc698..8527f12ac05 100644
--- a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff
+++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff
Binary files differ
diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2
index 33f275ee4db..17a080b8860 100644
--- a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2
+++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2
Binary files differ
diff --git a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf
index a07adeeb0cd..db5e2c111f8 100644
--- a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf
+++ b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf
Binary files differ
diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty
index 32ff0d4bea8..28a0a1674c8 100644
--- a/Master/texmf-dist/tex/latex/logix/logix.sty
+++ b/Master/texmf-dist/tex/latex/logix/logix.sty
@@ -1,6 +1,6 @@
% Copyright (c) 2001..2020 by Michael Lee Finney.
%
-% logix.sty - 2020-05-01 v1.04
+% logix.sty - 2020-05-23 v1.05
%
% 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-01 v1.04 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+ [2020-05-23 v1.05 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
\ProvidesFile{logix.otf}
- [2020-05-01 v1.04 (Michael Lee Finney) OpenType Unicode font.]
+ [2020-05-23 v1.05 (Michael Lee Finney) OpenType Unicode font.]
\RequirePackage{iftex}
\RequirePackage[bold-style=ISO]{unicode-math}
\RequirePackage{arydshln}
@@ -48,7 +48,11 @@
% Load / define logix font.
- \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix]
+ \ifluatex
+ \newfontface \logix {logix.otf}[Renderer=Basic,Script=Math,Scale=1.0,NFSSFamily=logix]
+ \else
+ \newfontface \logix {logix.otf}[Scale=1.0,NFSSFamily=logix]
+ \fi
\DeclareSymbolFont{Logix}{TU}{logix}{m}{n}
@@ -183,27 +187,25 @@
\setlength{\dashlinegap}{2pt}
\setlength{\arrayrulewidth}{0.2pt}%
\renewcommand{\arraystretch}{0}%
- \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.30em}}
+ \newcommand \PrfBgn {\-\ \hspace{0.50em}}%
+ \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}%
\ifx&#1&
- \newcommand \parms {4}
\newcommand \Dash[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hdashline}
\newcommand \Line[4] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \PrfEnd \\ \hline}
\else
- \newcommand \parms {5}
\newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hdashline}
\newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & \mathmakebox[#1][l]{##4} $##5$ & \PrfEnd \\ \hline}
\fi
- \noindent\begin{tabular}{
- @{} >{$} r <{$} % Line number, aligned right, left padding 0.35em.
- @{} l % Justification reference, left padding 0.25em.
- @{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
- @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}} % Proposition, right padding 0.25em.
- @{} c @{} }
- \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
- #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd
- \end{tabular}} \\\hline%
- }{%
- \end{tabular} }
+ \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}}
+ \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
+ #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline
+ \noindent\hspace{-0.10em}\begin{tabular}{
+ @{} >{$} r <{$} % Line number, aligned right, left padding 0.35em.
+ @{} l % Justification reference, left padding 0.25em.
+ @{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
+ @{} >{\hspace{0.25em}$} l <{$} @{\hspace{0.25em}} % Proposition, right padding 0.25em.
+ @{} c @{} } }{%
+ \end{tabular} \end{tabular}}
% Environment for logic proofs with sequents.
@@ -212,28 +214,26 @@
\setlength{\dashlinegap}{2pt}
\setlength{\arrayrulewidth}{0.2pt}%
\renewcommand{\arraystretch}{0}%
- \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.30em}}
+ \newcommand \PrfBgn {\-\ \hspace{0.50em}}%
+ \newcommand \PrfEnd {\rule[-0.375em]{0pt}{1.35em}}%
\ifx&#1&
- \newcommand \parms {5}
\newcommand \Dash[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hdashline}
\newcommand \Line[5] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & ##5 & \PrfEnd \\ \hline}
\else
- \newcommand \parms {6}
\newcommand \Dash[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hdashline}
\newcommand \Line[6] { \hspace{0.35em} ##1. & \ifx&##2&\else \hspace{0.25em}##2.\fi & \ifx&##3&\else\hspace{0.25em}{\OpnBrkt}##3{\ClsBrkt}\fi & ##4 & \mathmakebox[#1][l]{##5} $##6$ & \PrfEnd \\ \hline}
\fi
- \noindent\begin{tabular}{
+ \noindent\begin{tabular}{ @{\hspace{0.60em}} l @{\hspace{0.50em}}}
+ \noindent\hspace{-0.50em}\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
+ #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd \end{tabular} \\\hline
+ \noindent\hspace{-0.10em}\begin{tabular}{
@{} >{$} r <{$} % Line number, aligned right, left padding 0.35em.
@{} l % Justification reference, left padding 0.25em.
@{} l @{\hspace{0.25em}} | % Justification line numbers, left padding 0.25em, vertical bar, right padding 0.25em.
@{} >{\hspace{0.25em}$} r <{$} % Sequent assumptions, left padding 0.25em.
@{} >{$\Seq} l <{$} @{\hspace{0.25em}} % Sequent conclusion, right padding 0.25em.
- @{} c @{} }
- \multicolumn{\parms}{@{} l}{\noindent\begin{tabular}{ @{} l @{} l @{} @{\hspace{0.25em}} >{$} l <{$} @{} c @{} }
- #2. & \ifx&#3&\else{\hspace{0.25em}\OpnGrp}#3{\ClsGrp}\fi & #4 & \PrfEnd
- \end{tabular}} \\\hline%
- }{%
- \end{tabular} }
+ @{} c @{} } }{%
+ \end{tabular} \end{tabular}}
% Define the logix math symbols. These symbols have sidebearings defined in the font.
@@ -297,6 +297,7 @@
\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
+ \newcommand \OpnTrpBar {\lgl{E322}\relax} % Open Triple Vertical Bar
\newcommand \OpnBarS {\left\OpnBar\relax} % Stretchy Open Vertical Bar
\newcommand \OpnGrpS {\left\OpnGrp\relax} % Stretchy Open Group Brace
@@ -332,6 +333,7 @@
\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
+ \newcommand \OpnTrpBarS {\left\OpnTrpBar\relax} % Stretchy Open Triple Vertical Bar
\newcommand \ClsBar {\lgr{E340}\relax} % Close Bar
\newcommand \ClsGrp {\lgr{E341}\relax} % Close Group Brace
@@ -367,6 +369,7 @@
\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
+ \newcommand \ClsTrpBar {\lgr{E362}\relax} % Close Triple Vertical Bar
\newcommand \ClsBarS {\right\ClsBar\relax} % Stretchy Close Bar
\newcommand \ClsGrpS {\right\ClsGrp\relax} % Stretchy Close Group Brace
@@ -402,6 +405,7 @@
\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
+ \newcommand \ClsTrpBarS {\right\ClsTrpBar\relax} % Stretchy Close Vertical Triple Bar
\newcommand \MapParInMul {\lgx{EAA0}\relax} % Continuous, Partial, Into Multi-Map
\newcommand \MapParInSng {\lgx{EAA1}\relax} % Continuous, Partial, Into, Singleton Map
@@ -605,7 +609,7 @@
\newcommand \Nd {\lgx{E6A0}\relax} % Bitwise AND operator / Logical Conjunction
\newcommand \Or {\lgx{E6A1}\relax} % Bitwise OR operator / Logical Disjunction
\newcommand \Nt {\lgx{E0C0}\relax} % Bitwise NOT operator / Logical Negation
- \newcommand \Ng {\lgx{E64C}\relax} % Classical Logical Negation
+ \newcommand \Ngt {\lgx{E64C}\relax} % Classical Logical Negation
\newcommand \Nand {\lgx{E6A2}\relax} % Bitwise NAND operator
\newcommand \Nor {\lgx{E6A3}\relax} % Bitwise NOR operator
\newcommand \Xor {\lgx{E6A5}\relax} % Bitwise XOR operator
@@ -613,10 +617,14 @@
\newcommand \LcgCohrnc {\lgx{E068}\relax} % Logical Coherence
\newcommand \BncCohrnc {\lgx{E078}\relax} % Bunch Coherence
+ \newcommand \TFNone {\lgx{E010}\relax} % Neither true nor false
+ \newcommand \NTrue {\lgx{E011}\relax} % Not true
\newcommand \True {\lgx{E012}\relax} % True
+ \newcommand \TFBoth {\lgx{E013}\relax} % Both true and false
\newcommand \False {\lgx{E014}\relax} % False
- \newcommand \Top {\lgx{E017}\relax} % Lattice / type top
+ \newcommand \NFalse {\lgx{E015}\relax} % Nat false
\newcommand \Bot {\lgx{E016}\relax} % Lattice / type bottom
+ \newcommand \Top {\lgx{E017}\relax} % Lattice / type top
\newcommand \QuantCon {\lgx{E891}\relax} % Quantified Conjunction
\newcommand \QuantDis {\lgx{E890}\relax} % Quantified Disjuntion
@@ -634,7 +642,9 @@
\newcommand \Cln {\lgx{E091}\relax} % Colon
\newcommand \Thus {\lgx{E092}\relax} % Thus
\newcommand \Since {\lgx{E093}\relax} % Since
- \newcommand \Dts {\lgx{E096}\relax} % Dots (ellipsis)
+ \newcommand \VDots {\lgx{E094}\relax} % Vertical dots
+ \newcommand \CDots {\lgx{E096}\relax} % Centered Horizontal Dots (ellipsis)
+ \newcommand \LDots {\lgx{E09C}\relax} % Baseline Horizontal Dots (ellipsis)
\newcommand \BndDot {\lgx{E090}\relax} % Binding Dot
\newcommand \BndBar {\lgm{E380}\relax} % Binding Bar
\newcommand \BndBarS {\middle\BndBar\relax} % Stretchy Binding Bar
@@ -647,11 +657,12 @@
\newcommand \At {\lgx{E03E}\relax} % At sign
\newcommand \Circumflex {\lgx{E03F}\relax} % ASCII Circumflex
\newcommand \Numbr {\lgx{E04F}\relax} % Number sign
- \newcommand \Underscore {\lgx{E09E}\relax} % Underscore
+ \newcommand \Underscore {\lgx{E0AF}\relax} % Underscore
\newcommand \Tild {\lgx{007E}\relax} % Tilde E64C
- \newcommand \SingleQuote {\lgx{E09C}\relax} % Single quote
+ \newcommand \SingleQuote {\lgx{E08B}\relax} % Single quote
\newcommand \DoubleQuote {\lgx{E09B}\relax} % Double quote
- \newcommand \BackQuote {\lgx{E09D}\relax} % Back quote (grave)
+ \newcommand \TripleQuote {\lgx{E0AB}\relax} % Triple quote
+ \newcommand \BackQuote {\lgx{E09F}\relax} % Back quote (grave)
\newcommand \LeftSlash {\lgx{E103}\relax} % Left (back) slash
\newcommand \RightSlash {\lgx{E102}\relax} % Right (forward) slash
@@ -674,6 +685,7 @@
\newcommand \ExLstFix {\lgx{E034}\relax} % Extended Least Fixed Point
\newcommand \ExGrtFix {\lgx{E035}\relax} % Extended Greatest Fixed Point
\newcommand \FrstOrd {\lgx{E039}\relax} % First Ordinal (omega)
+ \newcommand \Infin {\lgx{E03A}\relax} % Infinity
\newcommand \LogNec {\lgx{E230}\relax} % Logical Necessity (temporal always or henceforth)
\newcommand \LogPos {\lgx{E232}\relax} % Logical Possibility (temporal sometime or eventually)
@@ -972,6 +984,8 @@
\defineDelimiter{ClsDblGrp} {F080}
\defineDelimiter{OpnDblBar} {F090}
\defineDelimiter{ClsDblBar} {F0A0}
+ \defineDelimiter{OpnTrpBar} {F100}
+ \defineDelimiter{ClsTrpBar} {F110}
\newcommand \OpnGrpBtm {\lgx{EBEC}} % OpnGrp bottom
\newcommand \OpnGrpExt {\lgx{EBED}} % OpnGrp extender
@@ -1224,7 +1238,13 @@
\newcommand \OpnDblBarExt {\lgx{F09D}} % OpnDblBar extender
\newcommand \ClsDblBarBtm {\lgx{F0AC}} % ClsDblBar bottom
- \newcommand \ClsDblBarExt {\lgx{F0aD}} % ClsDblBar extender
+ \newcommand \ClsDblBarExt {\lgx{F0AD}} % ClsDblBar extender
+
+ \newcommand \OpnTrpBarBtm {\lgx{F10C}} % OpnTrpBar bottom
+ \newcommand \OpnTrpBarExt {\lgx{F10D}} % OpnTrpBar extender
+
+ \newcommand \ClsTrpBarBtm {\lgx{F11C}} % ClsTrpBar bottom
+ \newcommand \ClsTrpBarExt {\lgx{F11D}} % ClsTrpBar extender
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
@@ -1667,7 +1687,7 @@
\newcommand \DottedSquare {\lgx{E250}\relax}
\newcommand \DottedSquareRoundCorners {\lgx{E251}\relax}
\newcommand \DottedDiamond {\lgx{E252}\relax}
- \newcommand \DottedCircle {\lgx{E253}\relax}
+ \newcommand \DottedCircl {\lgx{E253}\relax}
\newcommand \DottedRightTriangle {\lgx{E254}\relax}
\newcommand \DottedLeftTriangle {\lgx{E255}\relax}
\newcommand \DottedDownTriangle {\lgx{E256}\relax}
@@ -1819,6 +1839,146 @@
\newcommand \LWhiteRightArrowHead {\lgx{E2EE}\relax}
\newcommand \LWhiteRightCurvedArrowHead {\lgx{E2EF}\relax}
+ \newcommand \WhiteCircleA {\lgx{E3C0}\relax}
+ \newcommand \WhiteCircleB {\lgx{E3D0}\relax}
+ \newcommand \WhiteCircleC {\lgx{E3E0}\relax}
+ \newcommand \WhiteCircleD {\lgx{E3F0}\relax}
+ \newcommand \WhiteCircleE {\lgx{E400}\relax}
+ \newcommand \WhiteCircleF {\lgx{E410}\relax}
+ \newcommand \WhiteCircleG {\lgx{E420}\relax}
+ \newcommand \WhiteCircleH {\lgx{E430}\relax}
+ \newcommand \WhiteCircleI {\lgx{E440}\relax}
+
+ \newcommand \BlackCircleA {\lgx{E3C8}\relax}
+ \newcommand \BlackCircleB {\lgx{E3D8}\relax}
+ \newcommand \BlackCircleC {\lgx{E3E8}\relax}
+ \newcommand \BlackCircleD {\lgx{E3F8}\relax}
+ \newcommand \BlackCircleE {\lgx{E408}\relax}
+ \newcommand \BlackCircleF {\lgx{E418}\relax}
+ \newcommand \BlackCircleG {\lgx{E428}\relax}
+ \newcommand \BlackCircleH {\lgx{E438}\relax}
+ \newcommand \BlackCircleI {\lgx{E448}\relax}
+
+ \newcommand \WhiteSquareA {\lgx{E3C1}\relax}
+ \newcommand \WhiteSquareB {\lgx{E3D1}\relax}
+ \newcommand \WhiteSquareC {\lgx{E3E1}\relax}
+ \newcommand \WhiteSquareD {\lgx{E3F1}\relax}
+ \newcommand \WhiteSquareE {\lgx{E401}\relax}
+ \newcommand \WhiteSquareF {\lgx{E411}\relax}
+ \newcommand \WhiteSquareG {\lgx{E421}\relax}
+ \newcommand \WhiteSquareH {\lgx{E431}\relax}
+ \newcommand \WhiteSquareI {\lgx{E441}\relax}
+
+ \newcommand \BlackSquareA {\lgx{E3C9}\relax}
+ \newcommand \BlackSquareB {\lgx{E3D9}\relax}
+ \newcommand \BlackSquareC {\lgx{E3E9}\relax}
+ \newcommand \BlackSquareD {\lgx{E3F9}\relax}
+ \newcommand \BlackSquareE {\lgx{E409}\relax}
+ \newcommand \BlackSquareF {\lgx{E419}\relax}
+ \newcommand \BlackSquareG {\lgx{E429}\relax}
+ \newcommand \BlackSquareH {\lgx{E439}\relax}
+ \newcommand \BlackSquareI {\lgx{E449}\relax}
+
+ \newcommand \WhiteDiamondA {\lgx{E3C2}\relax}
+ \newcommand \WhiteDiamondB {\lgx{E3D2}\relax}
+ \newcommand \WhiteDiamondC {\lgx{E3E2}\relax}
+ \newcommand \WhiteDiamondD {\lgx{E3F2}\relax}
+ \newcommand \WhiteDiamondE {\lgx{E402}\relax}
+ \newcommand \WhiteDiamondF {\lgx{E412}\relax}
+ \newcommand \WhiteDiamondG {\lgx{E422}\relax}
+ \newcommand \WhiteDiamondH {\lgx{E432}\relax}
+ \newcommand \WhiteDiamondI {\lgx{E442}\relax}
+
+ \newcommand \BlackDiamondA {\lgx{E3CA}\relax}
+ \newcommand \BlackDiamondB {\lgx{E3DA}\relax}
+ \newcommand \BlackDiamondC {\lgx{E3EA}\relax}
+ \newcommand \BlackDiamondD {\lgx{E3FA}\relax}
+ \newcommand \BlackDiamondE {\lgx{E40A}\relax}
+ \newcommand \BlackDiamondF {\lgx{E41A}\relax}
+ \newcommand \BlackDiamondG {\lgx{E42A}\relax}
+ \newcommand \BlackDiamondH {\lgx{E43A}\relax}
+ \newcommand \BlackDiamondI {\lgx{E44A}\relax}
+
+ \newcommand \WhiteRightTriangleA {\lgx{E3C3}\relax}
+ \newcommand \WhiteRightTriangleB {\lgx{E3D3}\relax}
+ \newcommand \WhiteRightTriangleC {\lgx{E3E3}\relax}
+ \newcommand \WhiteRightTriangleD {\lgx{E3F3}\relax}
+ \newcommand \WhiteRightTriangleE {\lgx{E403}\relax}
+ \newcommand \WhiteRightTriangleF {\lgx{E413}\relax}
+ \newcommand \WhiteRightTriangleG {\lgx{E423}\relax}
+ \newcommand \WhiteRightTriangleH {\lgx{E433}\relax}
+ \newcommand \WhiteRightTriangleI {\lgx{E443}\relax}
+
+ \newcommand \BlackRightTriangleA {\lgx{E3CB}\relax}
+ \newcommand \BlackRightTriangleB {\lgx{E3DB}\relax}
+ \newcommand \BlackRightTriangleC {\lgx{E3EB}\relax}
+ \newcommand \BlackRightTriangleD {\lgx{E3FB}\relax}
+ \newcommand \BlackRightTriangleE {\lgx{E40B}\relax}
+ \newcommand \BlackRightTriangleF {\lgx{E41B}\relax}
+ \newcommand \BlackRightTriangleG {\lgx{E42B}\relax}
+ \newcommand \BlackRightTriangleH {\lgx{E43B}\relax}
+ \newcommand \BlackRightTriangleI {\lgx{E44B}\relax}
+
+ \newcommand \WhiteLeftTriangleA {\lgx{E3C4}\relax}
+ \newcommand \WhiteLeftTriangleB {\lgx{E3D4}\relax}
+ \newcommand \WhiteLeftTriangleC {\lgx{E3E4}\relax}
+ \newcommand \WhiteLeftTriangleD {\lgx{E3F4}\relax}
+ \newcommand \WhiteLeftTriangleE {\lgx{E404}\relax}
+ \newcommand \WhiteLeftTriangleF {\lgx{E414}\relax}
+ \newcommand \WhiteLeftTriangleG {\lgx{E424}\relax}
+ \newcommand \WhiteLeftTriangleH {\lgx{E434}\relax}
+ \newcommand \WhiteLeftTriangleI {\lgx{E444}\relax}
+
+ \newcommand \BlackLeftTriangleA {\lgx{E3CC}\relax}
+ \newcommand \BlackLeftTriangleB {\lgx{E3DC}\relax}
+ \newcommand \BlackLeftTriangleC {\lgx{E3EC}\relax}
+ \newcommand \BlackLeftTriangleD {\lgx{E3FC}\relax}
+ \newcommand \BlackLeftTriangleE {\lgx{E40C}\relax}
+ \newcommand \BlackLeftTriangleF {\lgx{E41C}\relax}
+ \newcommand \BlackLeftTriangleG {\lgx{E42C}\relax}
+ \newcommand \BlackLeftTriangleH {\lgx{E43C}\relax}
+ \newcommand \BlackLeftTriangleI {\lgx{E44C}\relax}
+
+ \newcommand \WhiteUpTriangleA {\lgx{E3C5}\relax}
+ \newcommand \WhiteUpTriangleB {\lgx{E3D5}\relax}
+ \newcommand \WhiteUpTriangleC {\lgx{E3E5}\relax}
+ \newcommand \WhiteUpTriangleD {\lgx{E3F5}\relax}
+ \newcommand \WhiteUpTriangleE {\lgx{E405}\relax}
+ \newcommand \WhiteUpTriangleF {\lgx{E415}\relax}
+ \newcommand \WhiteUpTriangleG {\lgx{E425}\relax}
+ \newcommand \WhiteUpTriangleH {\lgx{E435}\relax}
+ \newcommand \WhiteUpTriangleI {\lgx{E445}\relax}
+
+ \newcommand \BlackUpTriangleA {\lgx{E3CD}\relax}
+ \newcommand \BlackUpTriangleB {\lgx{E3DD}\relax}
+ \newcommand \BlackUpTriangleC {\lgx{E3ED}\relax}
+ \newcommand \BlackUpTriangleD {\lgx{E3FD}\relax}
+ \newcommand \BlackUpTriangleE {\lgx{E40D}\relax}
+ \newcommand \BlackUpTriangleF {\lgx{E41D}\relax}
+ \newcommand \BlackUpTriangleG {\lgx{E42D}\relax}
+ \newcommand \BlackUpTriangleH {\lgx{E43D}\relax}
+ \newcommand \BlackUpTriangleI {\lgx{E44D}\relax}
+
+ \newcommand \WhiteDownTriangleA {\lgx{E3C6}\relax}
+ \newcommand \WhiteDownTriangleB {\lgx{E3D6}\relax}
+ \newcommand \WhiteDownTriangleC {\lgx{E3E6}\relax}
+ \newcommand \WhiteDownTriangleD {\lgx{E3F6}\relax}
+ \newcommand \WhiteDownTriangleE {\lgx{E406}\relax}
+ \newcommand \WhiteDownTriangleF {\lgx{E416}\relax}
+ \newcommand \WhiteDownTriangleG {\lgx{E426}\relax}
+ \newcommand \WhiteDownTriangleH {\lgx{E436}\relax}
+ \newcommand \WhiteDownTriangleI {\lgx{E446}\relax}
+
+ \newcommand \BlackDownTriangleA {\lgx{E3CE}\relax}
+ \newcommand \BlackDownTriangleB {\lgx{E3DE}\relax}
+ \newcommand \BlackDownTriangleC {\lgx{E3EE}\relax}
+ \newcommand \BlackDownTriangleD {\lgx{E3FE}\relax}
+ \newcommand \BlackDownTriangleE {\lgx{E40E}\relax}
+ \newcommand \BlackDownTriangleF {\lgx{E41E}\relax}
+ \newcommand \BlackDownTriangleG {\lgx{E42E}\relax}
+ \newcommand \BlackDownTriangleH {\lgx{E43E}\relax}
+ \newcommand \BlackDownTriangleI {\lgx{E44E}\relax}
+
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
%
@@ -1864,19 +2024,20 @@
% Normal serif, bold font. Sru
% Normal serif, bold, italic font. Sri
%
-% Calligraphic font. cli
-%
-% Blackboard font. blu
+% Calligraphic script font. cli
+% Calligraphic script bold font. Cli
%
% Fraktur font. fru
% Fraktur bold font. Fru
%
% Monospace slab-serif font. mnu
-% Monospace raised, serif, italic font. mni
+% Monospace serif, italic font. mni
%
% Greek font. gru
% Greek, italic font. gri
%
+% Blackboard font. blu
+%
% Individual letters are available as xxx<name> where xxx is one of the
% above and <name> is the letter and for latin scripts is one of: zero, one,
% two, three, four, five, six, seven, eight, nine, a-z or A-Z. Thus, for
@@ -1911,9 +2072,12 @@
% \vrblbi \symSri Bold, italic serif variables.
%
% \vrblc \symcli Calligraphic variables.
-% \vrbld \symblu Blackboard / double struck 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.
%
@@ -2334,7 +2498,7 @@
\newcommand \vrblbi[1] {{\defineLatinScriptMacro{\SriNbrBase}{\SriLtrBase}{0}\ensuremath{#1}}}
-% Calligraphic font.
+% Calligraphic script font.
\newcommand \cliNbrBase {F400}
\newcommand \cliLtrBase {F580}
@@ -2348,19 +2512,19 @@
\newcommand \vrblc[1] {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}}
-% Blackboard font.
+% Calligraphic script boldfont.
- \newcommand \bluNbrBase {F600}
- \newcommand \bluLtrBase {F600}
+ \newcommand \CliNbrBase {F500}
+ \newcommand \CliLtrBase {F540}
- \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase}
+ \defineLatinScript{Cli}{\CliNbrBase}{\CliLtrBase}
- \newcommand \symblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
- \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}}
+ \newcommand \symCli[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}}
+ \newcommand \mathCli[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{7}\ensuremath{#1}}}
- \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase}
+ \defineLatinScript{VrblC}{\CliNbrBase}{\CliLtrBase}
- \newcommand \vrbld[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+ \newcommand \vrblC[1] {{\defineLatinScriptMacro{\CliNbrBase}{\CliLtrBase}{0}\ensuremath{#1}}}
% Fraktur font.
@@ -2414,6 +2578,20 @@
\newcommand \symmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}}
\newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}}
+% Blackboard font.
+
+ \newcommand \bluNbrBase {F600}
+ \newcommand \bluLtrBase {F600}
+
+ \defineLatinScript{blu}{\bluNbrBase}{\bluLtrBase}
+
+ \newcommand \symblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+ \newcommand \mathblu[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{7}\ensuremath{#1}}}
+
+ \defineLatinScript{Vrbld}{\bluNbrBase}{\bluLtrBase}
+
+ \newcommand \vrbld[1] {{\defineLatinScriptMacro{\bluNbrBase}{\bluLtrBase}{0}\ensuremath{#1}}}
+
% Greek font.
\newcommand \gruLtrBase {F800}