diff options
| author | Karl Berry <karl@freefriends.org> | 2020-06-24 21:02:30 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-06-24 21:02:30 +0000 |
| commit | 6596627aaab230cc4a331dd121f46a831ee540c2 (patch) | |
| tree | 0ff5bae264f50657cc8c70f07cea5693c7ddc6f1 | |
| parent | cf5df100ef322bec28122992b958aecc0dfdb48f (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/CHANGELOG | 70 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/README | 14 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.eot | bin | 377084 -> 392838 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.math | 97 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.pdf | bin | 424651 -> 459766 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.tex | 778 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.vfc | bin | 3603260 -> 4668233 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.otf | bin | 447364 -> 493900 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.woff | bin | 459968 -> 476784 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 | bin | 284336 -> 308204 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/truetype/public/logix/logix.ttf | bin | 1068560 -> 1140760 bytes | |||
| -rw-r--r-- | Master/texmf-dist/tex/latex/logix/logix.sty | 278 |
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 Binary files differindex 87b369aa63a..2350c20a795 100644 --- a/Master/texmf-dist/doc/fonts/logix/logix.eot +++ b/Master/texmf-dist/doc/fonts/logix/logix.eot 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 Binary files differindex e6c781824b5..9c53fdc4347 100644 --- a/Master/texmf-dist/doc/fonts/logix/logix.pdf +++ b/Master/texmf-dist/doc/fonts/logix/logix.pdf 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 Binary files differindex 2cfa1755a74..ff9f6adb4a8 100644 --- a/Master/texmf-dist/doc/fonts/logix/logix.vfc +++ b/Master/texmf-dist/doc/fonts/logix/logix.vfc diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf Binary files differindex 8bff0ea9b18..915541a3501 100644 --- a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf +++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff Binary files differindex d01274dc698..8527f12ac05 100644 --- a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff +++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 Binary files differindex 33f275ee4db..17a080b8860 100644 --- a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 +++ b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 diff --git a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf Binary files differindex a07adeeb0cd..db5e2c111f8 100644 --- a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf +++ b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf 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& - \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&\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&\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& - \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&\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&\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} |