From 07549467cd23db09b2150c50bc9f93f10f08764a Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Tue, 19 Jan 2021 03:01:36 +0000 Subject: CTAN sync 202101190301 --- fonts/logix/CHANGELOG | 20 +++ fonts/logix/README | 55 ++++++- fonts/logix/doc/logix.pdf | Bin 460285 -> 462783 bytes fonts/logix/doc/logix.tex | 301 +++++++++++++++++++++++++------------ fonts/logix/fonts/logix.eot | Bin 393086 -> 411069 bytes fonts/logix/fonts/logix.ttf | Bin 1139764 -> 1174964 bytes fonts/logix/fonts/logix.woff | Bin 476832 -> 497756 bytes fonts/logix/fonts/logix.woff2 | Bin 308540 -> 338580 bytes fonts/logix/fonts/logixMono.eot | Bin 0 -> 29958 bytes fonts/logix/fonts/logixMono.ttf | Bin 0 -> 69572 bytes fonts/logix/fonts/logixMono.woff | Bin 0 -> 36120 bytes fonts/logix/fonts/logixMono.woff2 | Bin 0 -> 31884 bytes fonts/logix/opentype/logix.otf | Bin 493864 -> 550812 bytes fonts/logix/opentype/logixMono.otf | Bin 0 -> 63800 bytes fonts/logix/source/logix.math | 120 +++++++-------- fonts/logix/source/logix.vfc | Bin 4673690 -> 4893441 bytes fonts/logix/source/logixMono.vfc | Bin 0 -> 546215 bytes fonts/logix/tex/logix.sty | 76 +++++----- 18 files changed, 372 insertions(+), 200 deletions(-) create mode 100644 fonts/logix/fonts/logixMono.eot create mode 100644 fonts/logix/fonts/logixMono.ttf create mode 100644 fonts/logix/fonts/logixMono.woff create mode 100644 fonts/logix/fonts/logixMono.woff2 create mode 100644 fonts/logix/opentype/logixMono.otf create mode 100644 fonts/logix/source/logixMono.vfc (limited to 'fonts/logix') diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG index b7e4aea101..c7a75b3fd0 100644 --- a/fonts/logix/CHANGELOG +++ b/fonts/logix/CHANGELOG @@ -1,3 +1,23 @@ +2021-01-17 v1.08 + + 1. The \OpnTurn and \ClsTurn symbols have been renamed to \OpenForce and \ClsForce, + respectively, to match existing usage. + +2020-09-18 v1.07 + + 1. The normal sans serif script was moved from the Latin-1 area to the Private Use Area + removing the last overlap between Logix symbols and Unicode symbols. + + 2. The remaining glpyhs in the Latin-1 area were not useful and were removed. + + 3. Modified glyphs of the highly regarded BitStream Vera mono font have been incorporated. + The modifications were make to make the glyphs more consistent with the STIX2 Math + font. Thus the Logix font can be directly used as a monospace font. + + 4. Some older applications may not display correctly when using the Logix. Therefore, + the monospace glpyhs are also entirely contained in a new Logix Mono font which + does not contain any other symbols, making it a smaller, lightweight font. + 2020-05-24 v1.06 1. Four symbols were added diff --git a/fonts/logix/README b/fonts/logix/README index b603f25072..8a79e7cee9 100644 --- a/fonts/logix/README +++ b/fonts/logix/README @@ -1,6 +1,6 @@ The logix package. -This is the README for the logix package, version 2020-05-24 v1.06. +This is the README for the logix package, version 2021-01-17 v1.08. This package provides supplemental symbols for use in logic and mathematics which are largely not present in Unicode. Some symbols are in Unicode but @@ -67,6 +67,50 @@ Licenses: and version 1.3c or later is part of all distributions of LaTeX version 2005-12-01 or later. + + This font contains modified symbols from the Bitstream Vera Sans Mono font, + Release 1.10, according to the following license. + + Copyright (c) 2003 by Bitstream, Inc. + All Rights Reserved. + Bitstream Vera is a trademark of Bitstream, Inc. + + Permission is hereby granted, free of charge, to any person obtaining a copy + of the fonts accompanying this license ("Fonts") and associated documentation + files (the "Font Software"), to reproduce and distribute the Font Software, + including without limitation the rights to use, copy, merge, publish, distribute, + and/or sell copies of the Font Software, and to permit persons to whom the Font + Software is furnished to do so, subject to the following conditions: + + The above copyright and trademark notices and this permission notice shall be + included in all copies of one or more of the Font Software typefaces. + + The Font Software may be modified, altered, or added to, and in particular the + designs of glyphs or characters in the Fonts may be modified and additional + glyphs or characters may be added to the Fonts, only if the fonts are renamed + to names not containing either the words "Bitstream" or the word "Vera". + + This License becomes null and void to the extent applicable to Fonts or Font + Software that has been modified and is distributed under the "Bitstream Vera" + names. + + The Font Software may be sold as part of a larger software package but no copy + of one or more of the Font Software typefaces may be sold by itself. + + THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS + OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, + FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, + TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL BITSTREAM OR THE GNOME FOUNDATION + BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, + SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION + OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO + USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE. + + Except as contained in this notice, the names of Gnome, the Gnome Foundation, + and Bitstream Inc., shall not be used in advertising or otherwise to promote + the sale, use or other dealings in this Font Software without prior written + authorization from the Gnome Foundation or Bitstream Inc., respectively. For + further information, contact: fonts at gnome dot org. This work has the LPPL maintenance status `maintained'. @@ -90,11 +134,12 @@ For example: \setmainfont{STIX Two Text} % AMS STIX2 used for main font. \setmathfont{STIX Two Math} % AMS STIX2 used for math font. + \setmonofont{Logix} % Only if using Logix for listings. -This distribution also contains logix.vfc, which is the master font file used to -derive the actual font files. It is not needed for LaTeX usage, but is provided -should I become unable to maintain the package, and it is picked up by another -maintainer. This is a FontLab (currently version 7.0.1) source file. +This distribution also contains logix.vfc and logixMono.vfc, which are the master +font files used to build the actual font files. It is not needed for LaTeX usage, +but is provided should I become unable to maintain the package, and it is picked +up by another maintainer. This is a FontLab (currently version 7.1.4) source file. As briefly mentioned above, the various web font files (.eot, .ttf, .woff and .woff2) are provided so that any user who wishes to use the font on a web page diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf index 4d70dd3092..c3c2751ce7 100644 Binary files a/fonts/logix/doc/logix.pdf and b/fonts/logix/doc/logix.pdf differ diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex index 51009821c3..a59d5bb939 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -7,14 +7,17 @@ \usepackage{mathtools} \usepackage{array} + \usepackage{logix} - \setmainfont{STIX Two Text}[NFSSFamily=mainfont] - \setmathfont{STIX Two Math}[NFSSFamily=mathfont] + \setmainfont{STIX Two Text}[NFSSFamily=mainfont,BoldFont={STIX Two Text Bold},ItalicFont={STIX Two Text Italic},BoldItalicFont={STIX Two Text Bold Italic}] + \setmathfont{STIX Two Math}[NFSSFamily=mathfont,BoldFont={},ItalicFont={},BoldItalicFont={}] + \setmonofont{Logix}[NFSSFamily=monofont,BoldFont={},ItalicFont={},BoldItalicFont={}] \usepackage{scrextend} \usepackage{csquotes} \usepackage{metalogo} + \usepackage{pdflscape} \newcolumntype{L}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}} \newcolumntype{C}[1]{>{\centering\let\newline\\\arraybackslash\hspace{0pt}}m{#1}} @@ -27,6 +30,8 @@ \newcommand \delEnd {\rule[-5em]{0pt}{10.0em}} + \newenvironment{FontSize}[2]{\fontsize{#1}{#2} \selectfont}{} + \newenvironment{symbolListA}% {% \renewcommand{\arraystretch}{1.50} @@ -85,14 +90,14 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2020-05-24 v1.06} + \section{Introduction: logix 2021-01-17 v1.08} - The logix package provides the logix Unicode font and, at this time, must be used either - with \LuaLaTeX\ or \XeLaTeX. There are no available options. The logix font contains + The logix package provides the logix Unicode font and must be used either with + \LuaLaTeX\ or \XeLaTeX. There are no available options. The Logix font contains supplemental symbols for logic and mathematics, most of which are not found in Unicode. - All of the symbols, with the exception of those in the Basic Latin code space, are in + All of the symbols, with the exception of those in the Latin-1 code space, are in Unicode's Private Use Area. This package does not replace either the text font or the - math font. + math font but may be used to replace the monospace font. The logix package includes, in turn, the iftex, unicode-math and arydshln packages. The unicode-math package is passed the \enquote{bold-style=ISO} parameter and includes the @@ -100,29 +105,31 @@ are the array, longtable, colortab and colortbl packages, all of which must be loaded before the logix package when they are used. Typical use of the logix package in a \LaTeX\ source file is: - \vspace{-0.5em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} - \usepackage{array} % Optional, only if otherwise required. +\usepackage{array} % Optional, only if otherwise required. - \usepackage{logix} - \setmainfont{STIX Two Text} - \setmathfont{STIX Two Math} +\usepackage{logix} +\setmainfont{STIX Two Text} +\setmathfont{STIX Two Math} \end{verbatim} - \vspace{-0.5em} +\end{FontSize} +\end{addmargin} \noindent The \AmS{} STIX2 fonts may be included prior to the logix package, provided that the unicode-math package is loaded first. This package does not require the use of other Unicode fonts. - The metrics for the logix font are identical to the STIX2 mathematical font and, - overall, the symbols in the logix font are designed to be compatible with the + The metrics for the Logix font are identical to the STIX2 mathematical font and, + overall, the symbols in the Logix font are designed to be compatible with the STIX2 mathematical font. It may, of course, be used with any other mathematical font. There are more than 3,000 symbols exported from the font (of which around 1,000 are for \enquote{stretchy} delimiters). The font itself contains over 4,000 symbols, but those which are not exported are usually variants (e.g. thinner or thicker) or - unused experimental symbols. Other symbols could be exported, but have neither - suggested usage nor name at this time. + unused experimental symbols. The Logix font may also be used for monospace + listings limited to the Latin-1 codepage (with a smattering of additional symbols). Should you wish to use a non-exported symbol, please contact the author with a quick explanation of your use (so a reasonable name can be assigned) and, as the author's time @@ -155,7 +162,6 @@ typically neither tall enough or deep enough for good readability. Thus, many operators which have a good appearance in mathematical expressions are not as appropriate for logical expressions. - \clearpage Symbols that are also in Unicode are typically glyph variants designed to better accommodate formal logic expressions. These may occur in the same document as the @@ -181,9 +187,9 @@ since there is no real consensus for their use \textemdash\ although some are most frequently associated with classical logic. Various flavors of turnstiles (and their negations) are also provided. There is more of a consensus for their usage although the - author has only seen two publications with the very useful sequent ({\textbackslash}Seq) - symbol. Additional arrows are provided as an alternative to the slash typically used for - replacement in quantification and arrows are provided for shift operators. + author has only seen two publications with the very useful sequent ({\textbackslash}Seq + $\Seq$) symbol. Additional arrows are provided as an alternative to the slash typically + used for replacement in quantification and arrows are provided for shift operators. Many basic logic symbols are provided (including some experimental) along with a small collection of punctuation symbols. Operators for choice, least and greatest fixed points @@ -206,8 +212,9 @@ oblique, bold and bold oblique). Slab serif scripts are not provided by Unicode at all. To alleviate this, 21 supplemental scripts are provided. None of these scripts are intended to replace the scripts used in normal mathematical practice. These scripts - contain only digits and letters. Since these are largely used as single letters, or - very short words, kerning is not implemented at this time. + contain only digits and letters. Since these are largely used as single letters, for + numbers or for very short words, kerning is not implemented at this time (with a very + minor exception for a few delimiters and lower case letters). Each script is identified by three letters. The first two letters provide the major classification of the font and the case of the first letter combined with the last letter @@ -286,8 +293,9 @@ have the same height as all other knot symbols in the same row and same width as all other knot symbols in the same column. The KnotGrid environment has no options and is used as follows (this example has three rows and five columns): - \vspace{-0.50em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{KnotGrid} \KntLFC \KntTSN \KntHXSOSU \KntTSFN \KntTRSC \\ @@ -295,6 +303,8 @@ \KntLFC \KntBSN \KntHXSOSU \KntBSFN \KntRBSC \\ \end{KnotGrid} \end{verbatim} +\end{FontSize} +\end{addmargin} \vspace{-0.75em} \clearpage @@ -333,8 +343,9 @@ left-handed Trefoil. The left and right columns are half width and the top and bottom rows are half height to achieve a slightly better appearance. - \vspace{-0.75em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{KnotGrid} \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\ @@ -359,50 +370,51 @@ \KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\ \end{KnotGrid} \end{verbatim} - \vspace{-0.75em} +\end{FontSize} +\end{addmargin} +\vspace{-0.75em} \begin{flushleft} - \begin{addmargin}[0.25in]{0.em} - \begin{tabular}{ @{} C{1.75in} C{3.25in} } - Which is typeset below. & A horizontal version is shown below. \\ - \begin{KnotGrid} - \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\ - \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\ - \KntNF \KntVXSUSO \KntNN \KntVXSOSU \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ - \KntNF \KntVXSOSU \KntNN \KntVXSUSO \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSUSO \KntNN \KntVXSOSU \KntNF \\ - \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSOSU \KntNN \KntVXSUSO \KntNF \\ - \KntNF \KntVXSUSO \KntRSN \KntRSN \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ - \KntNF \KntVXSOSU \KntRSN \KntRSN \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSUSO \KntRSN \KntRSN \KntNF \\ - \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ - \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ - \KntRSNF \KntRSN \KntNN \KntVXSUSO \KntRSN \KntNF \\ - \KntRSNF \KntRSN \KntRSN \KntNN \KntVXSOSU \KntNF \\ - \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ - \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\ - \KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\ - \end{KnotGrid} & - \begin{KnotGrid} - \KntRSFNF \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntFN \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntBSNF \KntFN \KntBSFNF \KntLSFNF \\ - \KntRSNF \KntBSFN \KntBSN \KntBSN \KntBSN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntNN \KntHXSUSO \KntBSFN \KntLSNF \\ - \KntRSNF \KntBSFN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntHXSOSU \KntHXSOSU \KntNN \KntBSFN \KntLSNF \\ - \KntRSNF \KntBSFN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntBSN \KntHXSOSU \KntBSFN \KntLSNF \\ - \KntRSNF \KntBSFN \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSFN \KntLSNF \\ - \KntRSFNF \KntFF \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFF \KntLSFNF \\ - \end{KnotGrid} - \end{tabular} - \end{addmargin} + \begin{tabular}{ @{} C{1.75in} C{3.25in} } + Which is typeset below. & A horizontal version is shown below. \\ + \begin{KnotGrid} + \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSFNF \\ + \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\ + \KntNF \KntVXSUSO \KntNN \KntVXSOSU \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ + \KntNF \KntVXSOSU \KntNN \KntVXSUSO \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSUSO \KntNN \KntVXSOSU \KntNF \\ + \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSOSU \KntNN \KntVXSUSO \KntNF \\ + \KntNF \KntVXSUSO \KntRSN \KntRSN \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ + \KntNF \KntVXSOSU \KntRSN \KntRSN \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSUSO \KntRSN \KntRSN \KntNF \\ + \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ + \KntRSNF \KntNN \KntVXSOSU \KntRSN \KntRSN \KntNF \\ + \KntRSNF \KntRSN \KntNN \KntVXSUSO \KntRSN \KntNF \\ + \KntRSNF \KntRSN \KntRSN \KntNN \KntVXSOSU \KntNF \\ + \KntRSNF \KntRSN \KntNN \KntVXSOSU \KntRSN \KntNF \\ + \KntRSFNF \KntRSFN \KntRSFN \KntRSFN \KntRSFN \KntFF \\ + \KntTSFNF \KntTSNF \KntTSNF \KntTSNF \KntTSNF \KntTSFNF \\ + \end{KnotGrid} & + \begin{KnotGrid} + \KntRSFNF \KntBSFNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntFN \KntBSNF \KntBSNF \KntBSNF \KntFN \KntBSNF \KntBSNF \KntFN \KntBSFNF \KntLSFNF \\ + \KntRSNF \KntBSFN \KntBSN \KntBSN \KntBSN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntNN \KntHXSUSO \KntBSFN \KntLSNF \\ + \KntRSNF \KntBSFN \KntNN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntHXSOSU \KntNN \KntHXSUSO \KntNN \KntHXSOSU \KntHXSOSU \KntNN \KntBSFN \KntLSNF \\ + \KntRSNF \KntBSFN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntNN \KntHXSOSU \KntNN \KntHXSUSO \KntBSN \KntBSN \KntHXSOSU \KntBSFN \KntLSNF \\ + \KntRSNF \KntBSFN \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntBSN \KntHXSUSO \KntBSN \KntHXSOSU \KntBSN \KntBSN \KntBSN \KntBSN \KntBSFN \KntLSNF \\ + \KntRSFNF \KntFF \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFN \KntFF \KntLSFNF \\ + \end{KnotGrid} + \end{tabular} \end{flushleft} \clearpage \noindent This example is the $9_6 (L)$ knot. - \vspace{-0.75em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{KnotGrid} \KntNN \KntNN \KntLTSC \KntTSN \KntTRSC \KntNN \KntNN \\ @@ -417,7 +429,8 @@ \KntBLSC \KntBSN \KntHXSUSO \KntHXSUSO \KntHXSUSO \KntBSN \KntRBSC \\ \end{KnotGrid} \end{verbatim} - \vspace{-0.50em} +\end{FontSize} +\end{addmargin} \noindent Which is typeset as below. \vspace{-0.50em} @@ -522,25 +535,32 @@ the definition expression, which is typeset in math mode. Two examples of its use follow. Expressions in most examples are meaningless and only serve to show the presence of an expression. - \vspace{-0.25em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixDefn} \Line{Neg} {1}{\symsau{p} \Equv \symsau{q}} \Line{Conj}{} {\symsau{p} \Equv \symsau{q}} \end{LogixDefn} \end{verbatim} - \vspace{-1.00em} +\end{FontSize} +\end{addmargin} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixDefn}[5em] \Line{Df}{1}{\symsau{p} \Equv \symsau{q}}{Some comment} \Line{Df}{2}{\symsau{p} \Equv \symsau{q}}{Yet another comment} \end{LogixDefn} \end{verbatim} +\end{FontSize} +\end{addmargin} +\vspace{-0.75em} \begin{flushleft} - which are typeset as shown below. + These two examples are typeset as shown below. \vspace{0.25em} \begin{addmargin}[0.25in]{0.em} @@ -603,15 +623,20 @@ order is potentially significant. Both the second and third parameters may be empty, allowing the use of the optional comment for justification. The following examples illustrate the use of the LogixProof environment. - \vspace{-0.25em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixProof} {Th 46} {AC} {\prop{p} \Nd \prop{q}} \Dash {1} {Th 41} {} {\prop{p} \Impl \prop{q}} \Line {2} {Cn 2} {} {\prop{p} \Impl \prop{q}} \end{LogixProof} \end{verbatim} +\end{FontSize} +\end{addmargin} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixProof}[5em] {Th 46} {} {\prop{p} \Nd \prop{q}} \Line {1} {Th 41} {} {\prop{p} \Impl \prop{q}} {First comment} @@ -619,18 +644,23 @@ \Line {3} {Th 38} {2,1} {\prop{p} \Impl \prop{q}} {Last comment} \end{LogixProof} \end{verbatim} - \vspace{-1.50em} +\end{FontSize} +\end{addmargin} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixProof}[5em] {Th 46} {} {\prop{p} \Nd \prop{q}} \Dash {1} {} {} {\prop{p} \Impl \prop{q}} {Disjunction} \Line {2} {} {} {\prop{p} \Impl \prop{q}} {Modus Ponens, 1} \end{LogixProof} \end{verbatim} - \vspace{-1.50em} +\end{FontSize} +\end{addmargin} +\vspace{-0.75em} \begin{flushleft} - which are typeset as shown below. The first example assumes that the + These exampls are typeset as shown below. The first example assumes that the Axiom of Choice holds within the context of the proof. \vspace{0.25em} @@ -679,16 +709,20 @@ contains its conclusion. The proof expressions are aligned on the sequent operator, which is present in every line. The following examples illustrate the use of the LogixSeqnt environment. - \vspace{-0.50em} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixSeqnt} {Th 46} {AC} {\prop{p} \Seq \prop{q}} \Dash {1} {Th 41} {} {\prop{p}} {\prop{q}} \Line {2} {Cn 2} {} {\prop{p}} {\prop{q}} \end{LogixSeqnt} \end{verbatim} - \vspace{-1.50em} +\end{FontSize} +\end{addmargin} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} \Line {1} {Th 41} {} {\prop{p}} {\prop{r}} {First comment} @@ -696,18 +730,23 @@ \Line {3} {Th 38} {2,1} { } {\prop{r}} {Last comment} \end{LogixSeqnt} \end{verbatim} - \vspace{-1.50em} +\end{FontSize} +\end{addmargin} +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} \begin{verbatim} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} \Dash {1} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Disjunction} \Line {2} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Weakening, 1} \end{LogixSeqnt} \end{verbatim} - \vspace{-1.50em} +\end{FontSize} +\end{addmargin} +\vspace{-0.75em} \begin{flushleft} - which are typeset as shown below. + These are typeset as shown below. \vspace{0.25em} \begin{addmargin}[0.25in]{0.em} @@ -744,6 +783,69 @@ \end{flushleft} \clearpage + In \enquote{Fonts for Displaying Program Code in \LaTeX} Adrian P. Robson + examined the available options for displaying source code. For fonts which + contain a marked zero, Adrian recommended the Bera Mono based on vertical + placement of common operators and the ability to easily distinguish similar + symbols. The Bera Mono font is derived from the excellent Bitstream Vera + font. It is a type 1 font and is not a Unicode font (but can still be used + if loaded before fontspec). + + This package provides the Logix Mono font, (also derived from the Bitstream + Mono font) in addition to the Logix font. Most applications can use the Logix + and Logix Mono fonts interchangably. Unfortunately, the additional symbols + in the Logix font are not well handled by some applications. The Logix Mono + font is designed (as is the Logix font) to be compatible with the STIX2 + mathematical fonts. It is also slightly heavier and more compact than the + Bera Mono font to improve readability. Like the Bera Mono font, it is larger + than many other typewriter fonts. The recommendation for the Bera Mono font + is thus to load it with a scaling factor of 90\%. Here, the preferred approach + is to explicltly set the point size and leading with the + {\textbackslash}fontsize feature. + + \noindent Including the Logix monospace symbols can be done as follows \textellipsis + +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} +\begin{verbatim} +\usepackage{array} % Optional, only if otherwise required. + +\usepackage{logix} +\setmainfont{STIX Two Text} +\setmathfont{STIX Two Math} +\setmonofont{Logix Mono} +\end{verbatim} +\end{FontSize} +\end{addmargin} + +\noindent or by \textellipsis + +\begin{addmargin}[0.25in]{0.em} +\begin{FontSize}{9}{11} +\begin{verbatim} +\usepackage{array} % Optional, only if otherwise required. + +\usepackage{logix} +\setmainfont{STIX Two Text} +\setmathfont{STIX Two Math} +\setmonofont{Logix} +\end{verbatim} +\end{FontSize} +\end{addmargin} + + Additionally, the Logix Mono font is designed to print well at smaller point + sizes, which is often desirable when printing listings because of long line + lengths and the sheer number of lines to be printed. For 8.5$\times$11 + paper and 0.25 inch margins the following line sizes (in characters) can be + obtained. + + \begin{tabular}{c c c c} + size/leading & Char/Inch & Portrait & Landscape \\[0.25em] + 9/11 & 15.375 & 123 & 162 \\ + 8/10 & 17.375 & 139 & 182 \\ + 7/9 & 19.875 & 159 & 208 \\ + \end{tabular} + \section{Symbols} The remainder of this document is the list of symbols. Each symbol has a name @@ -758,6 +860,7 @@ large enough that no predefined size variant will be used. Delimiters which are too short for the second example are limited in size variations to 5\times\ the normal delimiter size. + \clearpage That is followed by script examples. First Greek and Greek italic, then the sans-serif scripts, the slab-serif scripts, the normal serif scripts and @@ -806,7 +909,7 @@ Open Curved Angle Bracket & {\textbackslash}OpnCurvAngl & \scalebox{1.50}{\OpnCurvAngl} \\ \hline Open Ceiling & {\textbackslash}OpnCeil & \scalebox{1.50}{\OpnCeil} \\ \hline Open Floor & {\textbackslash}OpnFloor & \scalebox{1.50}{\OpnFloor} \\ \hline - Open Turnstile & {\textbackslash}OpnTurn & \scalebox{1.50}{\OpnTurn} \\ \hline + Open Force & {\textbackslash}OpnForce & \scalebox{1.50}{\OpnForce} \\ \hline Open Double Vertical Bar & {\textbackslash}OpnDblBar & \scalebox{1.50}{\OpnDblBar} \\ \hline Open Triple Vertical Bar & {\textbackslash}OpnTrpBar & \scalebox{1.50}{\OpnTrpBar} \\ \hline Open Double Group Brace & {\textbackslash}OpnDblGrp & \scalebox{1.50}{\OpnDblGrp} \\ \hline @@ -845,11 +948,11 @@ Close Curved Angle Bracket & {\textbackslash}ClsCurvAngl & \scalebox{1.50}{\ClsCurvAngl} \\ \hline Close Ceiling & {\textbackslash}ClsCeil & \scalebox{1.50}{\ClsCeil} \\ \hline Close Floor & {\textbackslash}ClsFloor & \scalebox{1.50}{\ClsFloor} \\ \hline - Close Turnstile & {\textbackslash}ClsTurn & \scalebox{1.50}{\ClsTurn} \\ \hline + Close Force & {\textbackslash}ClsForce & \scalebox{1.50}{\ClsForce} \\ \hline Close Double Vertical Bar & {\textbackslash}ClsDblBar & \scalebox{1.50}{\ClsDblBar} \\ \hline Close Triple Vertical Bar & {\textbackslash}ClsTrpBar & \scalebox{1.50}{\ClsTrpBar} \\ \hline Close Double Group Brace & {\textbackslash}ClsDblGrp & \scalebox{1.50}{\ClsDblGrp} \\ \hline - Close Double Parenthesis & {\textbackslash}ClsDblParn & \scalebox{1.50}{\ClsDblParn} \\ \hline + Close Double Parenthesis & {\textbackslash}ClsDblParn & \scalebox{1.50}{\ClsDblParn} \\ \hline Close Double Curly Brace & {\textbackslash}ClsDblBrac & \scalebox{1.50}{\ClsDblBrac} \\ \hline Close Double Angle Bracket & {\textbackslash}ClsDblAngl & \scalebox{1.50}{\ClsDblAngl} \\ \hline Close Square Parenthesis & {\textbackslash}ClsSqrParn & \scalebox{1.50}{\ClsSqrParn} \\ \hline @@ -2176,8 +2279,8 @@ \begin{symbolListD} {\textbackslash}OpnFloorS, {\textbackslash}OpnFloor[A-L] & \OpnFloorS \frac{1}{2+\frac{3}{4}} \ClsFloorS & \OpnFloorS \testFrac \ClsFloorS & \OpnFloor ~ \OpnFloorA ~ \OpnFloorB ~ \OpnFloorC ~ \OpnFloorD ~ \OpnFloorE ~ \OpnFloorF ~ \OpnFloorG ~ \OpnFloorH ~ \OpnFloorI ~ \OpnFloorJ ~ \OpnFloorK ~ \OpnFloorL \delEnd \\ \hline {\textbackslash}ClsFloorS, {\textbackslash}ClsFloor[A-L] & \OpnFloorS \frac{1}{2+\frac{3}{4}} \ClsFloorS & \OpnFloorS \testFrac \ClsFloorS & \ClsFloor ~ \ClsFloorA ~ \ClsFloorB ~ \ClsFloorC ~ \ClsFloorD ~ \ClsFloorE ~ \ClsFloorF ~ \ClsFloorG ~ \ClsFloorH ~ \ClsFloorI ~ \ClsFloorJ ~ \ClsFloorK ~ \ClsFloorL \delEnd \\ \hline - {\textbackslash}OpnTurnS, {\textbackslash}OpnTurn[A-L] & \OpnTurnS \frac{1}{2+\frac{3}{4}} \ClsTurnS & \OpnTurnS \testFrac \ClsTurnS & \OpnTurn ~ \OpnTurnA ~ \OpnTurnB ~ \OpnTurnC ~ \OpnTurnD ~ \OpnTurnE ~ \OpnTurnF ~ \OpnTurnG ~ \OpnTurnH ~ \OpnTurnI ~ \OpnTurnJ ~ \OpnTurnK ~ \OpnTurnL \delEnd \\ \hline - {\textbackslash}ClsTurnS, {\textbackslash}ClsTurn[A-L] & \OpnTurnS \frac{1}{2+\frac{3}{4}} \ClsTurnS & \OpnTurnS \testFrac \ClsTurnS & \ClsTurn ~ \ClsTurnA ~ \ClsTurnB ~ \ClsTurnC ~ \ClsTurnD ~ \ClsTurnE ~ \ClsTurnF ~ \ClsTurnG ~ \ClsTurnH ~ \ClsTurnI ~ \ClsTurnJ ~ \ClsTurnK ~ \ClsTurnL \delEnd \\ \hline + {\textbackslash}OpnForceS, {\textbackslash}OpnForce[A-L] & \OpnForceS \frac{1}{2+\frac{3}{4}} \ClsForceS & \OpnForceS \testFrac \ClsForceS & \OpnForce ~ \OpnForceA ~ \OpnForceB ~ \OpnForceC ~ \OpnForceD ~ \OpnForceE ~ \OpnForceF ~ \OpnForceG ~ \OpnForceH ~ \OpnForceI ~ \OpnForceJ ~ \OpnForceK ~ \OpnForceL \delEnd \\ \hline + {\textbackslash}ClsForceS, {\textbackslash}ClsForce[A-L] & \OpnForceS \frac{1}{2+\frac{3}{4}} \ClsForceS & \OpnForceS \testFrac \ClsForceS & \ClsForce ~ \ClsForceA ~ \ClsForceB ~ \ClsForceC ~ \ClsForceD ~ \ClsForceE ~ \ClsForceF ~ \ClsForceG ~ \ClsForceH ~ \ClsForceI ~ \ClsForceJ ~ \ClsForceK ~ \ClsForceL \delEnd \\ \hline {\textbackslash}OpnDblBarS, {\textbackslash}OpnDblBar[A-L] & \OpnDblBarS \frac{1}{2+\frac{3}{4}} \ClsDblBarS & \OpnDblBarS \testFrac \ClsDblBarS & \OpnDblBar ~ \OpnDblBarA ~ \OpnDblBarB ~ \OpnDblBarC ~ \OpnDblBarD ~ \OpnDblBarE ~ \OpnDblBarF ~ \OpnDblBarG ~ \OpnDblBarH ~ \OpnDblBarI ~ \OpnDblBarJ ~ \OpnDblBarK ~ \OpnDblBarL \delEnd \\ \hline {\textbackslash}ClsDblBarS, {\textbackslash}ClsDblBar[A-L] & \OpnDblBarS \frac{1}{2+\frac{3}{4}} \ClsDblBarS & \OpnDblBarS \testFrac \ClsDblBarS & \ClsDblBar ~ \ClsDblBarA ~ \ClsDblBarB ~ \ClsDblBarC ~ \ClsDblBarD ~ \ClsDblBarE ~ \ClsDblBarF ~ \ClsDblBarG ~ \ClsDblBarH ~ \ClsDblBarI ~ \ClsDblBarJ ~ \ClsDblBarK ~ \ClsDblBarL \delEnd \\ \hline \end{symbolListD} @@ -2381,7 +2484,7 @@ \vspace{-0.15em} \begin{symbolListC} - \sauzero~\sauone~\sautwo~\sauthree~\saufour~\saufive~\sausix~\sauseven~\saueight~\saunine \\ + \sauZero~\sauOne~\sauTwo~\sauThree~\sauFour~\sauFive~\sauSix~\sauSeven~\sauEight~\sauNine \\ \saua~\saub~\sauc~\saud~\saue~\sauf~\saug~\sauh~\saui~\sauj~\sauk~\saul~\saum~\saun~\sauo~\saup~\sauq~\saur~\saus~\saut~\sauu~\sauv~\sauw~\saux~\sauy~\sauz \\ \sauA~\sauB~\sauC~\sauD~\sauE~\sauF~\sauG~\sauH~\sauI~\sauJ~\sauK~\sauL~\sauM~\sauN~\sauO~\sauP~\sauQ~\sauR~\sauS~\sauT~\sauU~\sauV~\sauW~\sauX~\sauY~\sauZ \\ \end{symbolListC} @@ -2404,7 +2507,7 @@ \vspace{-0.15em} \begin{symbolListC} - \saizero~\saione~\saitwo~\saithree~\saifour~\saifive~\saisix~\saiseven~\saieight~\sainine \\ + \saiZero~\saiOne~\saiTwo~\saiThree~\saiFour~\saiFive~\saiSix~\saiSeven~\saiEight~\saiNine \\ \saia~\saib~\saic~\said~\saie~\saif~\saig~\saih~\saii~\saij~\saik~\sail~\saim~\sain~\saio~\saip~\saiq~\sair~\sais~\sait~\saiu~\saiv~\saiw~\saix~\saiy~\saiz \\ \saiA~\saiB~\saiC~\saiD~\saiE~\saiF~\saiG~\saiH~\saiI~\saiJ~\saiK~\saiL~\saiM~\saiN~\saiO~\saiP~\saiQ~\saiR~\saiS~\saiT~\saiU~\saiV~\saiW~\saiX~\saiY~\saiZ \\ \end{symbolListC} @@ -2427,7 +2530,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Sauzero~\Sauone~\Sautwo~\Sauthree~\Saufour~\Saufive~\Sausix~\Sauseven~\Saueight~\Saunine \\ + \SauZero~\SauOne~\SauTwo~\SauThree~\SauFour~\SauFive~\SauSix~\SauSeven~\SauEight~\SauNine \\ \Saua~\Saub~\Sauc~\Saud~\Saue~\Sauf~\Saug~\Sauh~\Saui~\Sauj~\Sauk~\Saul~\Saum~\Saun~\Sauo~\Saup~\Sauq~\Saur~\Saus~\Saut~\Sauu~\Sauv~\Sauw~\Saux~\Sauy~\Sauz \\ \SauA~\SauB~\SauC~\SauD~\SauE~\SauF~\SauG~\SauH~\SauI~\SauJ~\SauK~\SauL~\SauM~\SauN~\SauO~\SauP~\SauQ~\SauR~\SauS~\SauT~\SauU~\SauV~\SauW~\SauX~\SauY~\SauZ \\ \end{symbolListC} @@ -2450,7 +2553,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Saizero~\Saione~\Saitwo~\Saithree~\Saifour~\Saifive~\Saisix~\Saiseven~\Saieight~\Sainine \\ + \SaiZero~\SaiOne~\SaiTwo~\SaiThree~\SaiFour~\SaiFive~\SaiSix~\SaiSeven~\SaiEight~\SaiNine \\ \Saia~\Saib~\Saic~\Said~\Saie~\Saif~\Saig~\Saih~\Saii~\Saij~\Saik~\Sail~\Saim~\Sain~\Saio~\Saip~\Saiq~\Sair~\Sais~\Sait~\Saiu~\Saiv~\Saiw~\Saix~\Saiy~\Saiz \\ \SaiA~\SaiB~\SaiC~\SaiD~\SaiE~\SaiF~\SaiG~\SaiH~\SaiI~\SaiJ~\SaiK~\SaiL~\SaiM~\SaiN~\SaiO~\SaiP~\SaiQ~\SaiR~\SaiS~\SaiT~\SaiU~\SaiV~\SaiW~\SaiX~\SaiY~\SaiZ \\ \end{symbolListC} @@ -2474,7 +2577,7 @@ \vspace{-0.15em} \begin{symbolListC} - \sluzero~\sluone~\slutwo~\sluthree~\slufour~\slufive~\slusix~\sluseven~\slueight~\slunine \\ + \sluZero~\sluOne~\sluTwo~\sluThree~\sluFour~\sluFive~\sluSix~\sluSeven~\sluEight~\sluNine \\ \slua~\slub~\sluc~\slud~\slue~\sluf~\slug~\sluh~\slui~\sluj~\sluk~\slul~\slum~\slun~\sluo~\slup~\sluq~\slur~\slus~\slut~\sluu~\sluv~\sluw~\slux~\sluy~\sluz \\ \sluA~\sluB~\sluC~\sluD~\sluE~\sluF~\sluG~\sluH~\sluI~\sluJ~\sluK~\sluL~\sluM~\sluN~\sluO~\sluP~\sluQ~\sluR~\sluS~\sluT~\sluU~\sluV~\sluW~\sluX~\sluY~\sluZ \\ \end{symbolListC} @@ -2497,7 +2600,7 @@ \vspace{-0.15em} \begin{symbolListC} - \slizero~\slione~\slitwo~\slithree~\slifour~\slifive~\slisix~\sliseven~\slieight~\slinine \\ + \sliZero~\sliOne~\sliTwo~\sliThree~\sliFour~\sliFive~\sliSix~\sliSeven~\sliEight~\sliNine \\ \slia~\slib~\slic~\slid~\slie~\slif~\slig~\slih~\slii~\slij~\slik~\slil~\slim~\slin~\slio~\slip~\sliq~\slir~\slis~\slit~\sliu~\sliv~\sliw~\slix~\sliy~\sliz \\ \sliA~\sliB~\sliC~\sliD~\sliE~\sliF~\sliG~\sliH~\sliI~\sliJ~\sliK~\sliL~\sliM~\sliN~\sliO~\sliP~\sliQ~\sliR~\sliS~\sliT~\sliU~\sliV~\sliW~\sliX~\sliY~\sliZ \\ \end{symbolListC} @@ -2520,7 +2623,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Sluzero~\Sluone~\Slutwo~\Sluthree~\Slufour~\Slufive~\Slusix~\Sluseven~\Slueight~\Slunine \\ + \SluZero~\SluOne~\SluTwo~\SluThree~\SluFour~\SluFive~\SluSix~\SluSeven~\SluEight~\SluNine \\ \Slua~\Slub~\Sluc~\Slud~\Slue~\Sluf~\Slug~\Sluh~\Slui~\Sluj~\Sluk~\Slul~\Slum~\Slun~\Sluo~\Slup~\Sluq~\Slur~\Slus~\Slut~\Sluu~\Sluv~\Sluw~\Slux~\Sluy~\Sluz \\ \SluA~\SluB~\SluC~\SluD~\SluE~\SluF~\SluG~\SluH~\SluI~\SluJ~\SluK~\SluL~\SluM~\SluN~\SluO~\SluP~\SluQ~\SluR~\SluS~\SluT~\SluU~\SluV~\SluW~\SluX~\SluY~\SluZ \\ \end{symbolListC} @@ -2543,7 +2646,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Slizero~\Slione~\Slitwo~\Slithree~\Slifour~\Slifive~\Slisix~\Sliseven~\Slieight~\Slinine \\ + \SliZero~\SliOne~\SliTwo~\SliThree~\SliFour~\SliFive~\SliSix~\SliSeven~\SliEight~\SliNine \\ \Slia~\Slib~\Slic~\Slid~\Slie~\Slif~\Slig~\Slih~\Slii~\Slij~\Slik~\Slil~\Slim~\Slin~\Slio~\Slip~\Sliq~\Slir~\Slis~\Slit~\Sliu~\Sliv~\Sliw~\Slix~\Sliy~\Sliz \\ \SliA~\SliB~\SliC~\SliD~\SliE~\SliF~\SliG~\SliH~\SliI~\SliJ~\SliK~\SliL~\SliM~\SliN~\SliO~\SliP~\SliQ~\SliR~\SliS~\SliT~\SliU~\SliV~\SliW~\SliX~\SliY~\SliZ \\ \end{symbolListC} @@ -2567,7 +2670,7 @@ \vspace{-0.15em} \begin{symbolListC} - \sruzero~\sruone~\srutwo~\sruthree~\srufour~\srufive~\srusix~\sruseven~\srueight~\srunine \\ + \sruZero~\sruOne~\sruTwo~\sruThree~\sruFour~\sruFive~\sruSix~\sruSeven~\sruEight~\sruNine \\ \srua~\srub~\sruc~\srud~\srue~\sruf~\srug~\sruh~\srui~\sruj~\sruk~\srul~\srum~\srun~\sruo~\srup~\sruq~\srur~\srus~\srut~\sruu~\sruv~\sruw~\srux~\sruy~\sruz \\ \sruA~\sruB~\sruC~\sruD~\sruE~\sruF~\sruG~\sruH~\sruI~\sruJ~\sruK~\sruL~\sruM~\sruN~\sruO~\sruP~\sruQ~\sruR~\sruS~\sruT~\sruU~\sruV~\sruW~\sruX~\sruY~\sruZ \\ \end{symbolListC} @@ -2590,7 +2693,7 @@ \vspace{-0.15em} \begin{symbolListC} - \srizero~\srione~\sritwo~\srithree~\srifour~\srifive~\srisix~\sriseven~\srieight~\srinine \\ + \sriZero~\sriOne~\sriTwo~\sriThree~\sriFour~\sriFive~\sriSix~\sriSeven~\sriEight~\sriNine \\ \sria~\srib~\sric~\srid~\srie~\srif~\srig~\srih~\srii~\srij~\srik~\sril~\srim~\srin~\srio~\srip~\sriq~\srir~\sris~\srit~\sriu~\sriv~\sriw~\srix~\sriy~\sriz \\ \sriA~\sriB~\sriC~\sriD~\sriE~\sriF~\sriG~\sriH~\sriI~\sriJ~\sriK~\sriL~\sriM~\sriN~\sriO~\sriP~\sriQ~\sriR~\sriS~\sriT~\sriU~\sriV~\sriW~\sriX~\sriY~\sriZ \\ \end{symbolListC} @@ -2613,7 +2716,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Sruzero~\Sruone~\Srutwo~\Sruthree~\Srufour~\Srufive~\Srusix~\Sruseven~\Srueight~\Srunine \\ + \SruZero~\SruOne~\SruTwo~\SruThree~\SruFour~\SruFive~\SruSix~\SruSeven~\SruEight~\SruNine \\ \Srua~\Srub~\Sruc~\Srud~\Srue~\Sruf~\Srug~\Sruh~\Srui~\Sruj~\Sruk~\Srul~\Srum~\Srun~\Sruo~\Srup~\Sruq~\Srur~\Srus~\Srut~\Sruu~\Sruv~\Sruw~\Srux~\Sruy~\Sruz \\ \SruA~\SruB~\SruC~\SruD~\SruE~\SruF~\SruG~\SruH~\SruI~\SruJ~\SruK~\SruL~\SruM~\SruN~\SruO~\SruP~\SruQ~\SruR~\SruS~\SruT~\SruU~\SruV~\SruW~\SruX~\SruY~\SruZ \\ \end{symbolListC} @@ -2636,7 +2739,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Srizero~\Srione~\Sritwo~\Srithree~\Srifour~\Srifive~\Srisix~\Sriseven~\Srieight~\Srinine \\ + \SriZero~\SriOne~\SriTwo~\SriThree~\SriFour~\SriFive~\SriSix~\SriSeven~\SriEight~\SriNine \\ \Sria~\Srib~\Sric~\Srid~\Srie~\Srif~\Srig~\Srih~\Srii~\Srij~\Srik~\Sril~\Srim~\Srin~\Srio~\Srip~\Sriq~\Srir~\Sris~\Srit~\Sriu~\Sriv~\Sriw~\Srix~\Sriy~\Sriz \\ \SriA~\SriB~\SriC~\SriD~\SriE~\SriF~\SriG~\SriH~\SriI~\SriJ~\SriK~\SriL~\SriM~\SriN~\SriO~\SriP~\SriQ~\SriR~\SriS~\SriT~\SriU~\SriV~\SriW~\SriX~\SriY~\SriZ \\ \end{symbolListC} @@ -2660,7 +2763,7 @@ \vspace{-0.15em} \begin{symbolListC} - \clizero~\clione~\clitwo~\clithree~\clifour~\clifive~\clisix~\cliseven~\clieight~\clinine \\ + \cliZero~\cliOne~\cliTwo~\cliThree~\cliFour~\cliFive~\cliSix~\cliSeven~\cliEight~\cliNine \\ \clia~\clib~\clic~\clid~\clie~\clif~\clig~\clih~\clii~\clij~\clik~\clil~\clim~\clin~\clio~\clip~\cliq~\clir~\clis~\clit~\cliu~\cliv~\cliw~\clix~\cliy~\cliz \\ \cliA~\cliB~\cliC~\cliD~\cliE~\cliF~\cliG~\cliH~\cliI~\cliJ~\cliK~\cliL~\cliM~\cliN~\cliO~\cliP~\cliQ~\cliR~\cliS~\cliT~\cliU~\cliV~\cliW~\cliX~\cliY~\cliZ \\ \end{symbolListC} @@ -2683,7 +2786,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Clizero~\Clione~\Clitwo~\Clithree~\Clifour~\Clifive~\Clisix~\Cliseven~\Clieight~\Clinine \\ + \CliZero~\CliOne~\CliTwo~\CliThree~\CliFour~\CliFive~\CliSix~\CliSeven~\CliEight~\CliNine \\ \Clia~\Clib~\Clic~\Clid~\Clie~\Clif~\Clig~\Clih~\Clii~\Clij~\Clik~\Clil~\Clim~\Clin~\Clio~\Clip~\Cliq~\Clir~\Clis~\Clit~\Cliu~\Cliv~\Cliw~\Clix~\Cliy~\Cliz \\ \CliA~\CliB~\CliC~\CliD~\CliE~\CliF~\CliG~\CliH~\CliI~\CliJ~\CliK~\CliL~\CliM~\CliN~\CliO~\CliP~\CliQ~\CliR~\CliS~\CliT~\CliU~\CliV~\CliW~\CliX~\CliY~\CliZ \\ \end{symbolListC} @@ -2706,7 +2809,7 @@ \vspace{-0.15em} \begin{symbolListC} - \fruzero~\fruone~\frutwo~\fruthree~\frufour~\frufive~\frusix~\fruseven~\frueight~\frunine \\ + \fruZero~\fruOne~\fruTwo~\fruThree~\fruFour~\fruFive~\fruSix~\fruSeven~\fruEight~\fruNine \\ \frua~\frub~\fruc~\frud~\frue~\fruf~\frug~\fruh~\frui~\fruj~\fruk~\frul~\frum~\frun~\fruo~\frup~\fruq~\frur~\frus~\frut~\fruu~\fruv~\fruw~\frux~\fruy~\fruz \\ \fruA~\fruB~\fruC~\fruD~\fruE~\fruF~\fruG~\fruH~\fruI~\fruJ~\fruK~\fruL~\fruM~\fruN~\fruO~\fruP~\fruQ~\fruR~\fruS~\fruT~\fruU~\fruV~\fruW~\fruX~\fruY~\fruZ \\ \end{symbolListC} @@ -2729,7 +2832,7 @@ \vspace{-0.15em} \begin{symbolListC} - \Fruzero~\Fruone~\Frutwo~\Fruthree~\Frufour~\Frufive~\Frusix~\Fruseven~\Frueight~\Frunine \\ + \FruZero~\FruOne~\FruTwo~\FruThree~\FruFour~\FruFive~\FruSix~\FruSeven~\FruEight~\FruNine \\ \Frua~\Frub~\Fruc~\Frud~\Frue~\Fruf~\Frug~\Fruh~\Frui~\Fruj~\Fruk~\Frul~\Frum~\Frun~\Fruo~\Frup~\Fruq~\Frur~\Frus~\Frut~\Fruu~\Fruv~\Fruw~\Frux~\Fruy~\Fruz \\ \FruA~\FruB~\FruC~\FruD~\FruE~\FruF~\FruG~\FruH~\FruI~\FruJ~\FruK~\FruL~\FruM~\FruN~\FruO~\FruP~\FruQ~\FruR~\FruS~\FruT~\FruU~\FruV~\FruW~\FruX~\FruY~\FruZ \\ \end{symbolListC} @@ -2752,7 +2855,7 @@ \end{flushleft} \begin{symbolListC} - \mnuzero~\mnuone~\mnutwo~\mnuthree~\mnufour~\mnufive~\mnusix~\mnuseven~\mnueight~\mnunine \\ + \mnuZero~\mnuOne~\mnuTwo~\mnuThree~\mnuFour~\mnuFive~\mnuSix~\mnuSeven~\mnuEight~\mnuNine \\ \mnua~\mnub~\mnuc~\mnud~\mnue~\mnuf~\mnug~\mnuh~\mnui~\mnuj~\mnuk~\mnul~\mnum~\mnun~\mnuo~\mnup~\mnuq~\mnur~\mnus~\mnut~\mnuu~\mnuv~\mnuw~\mnux~\mnuy~\mnuz \\ \mnuA~\mnuB~\mnuC~\mnuD~\mnuE~\mnuF~\mnuG~\mnuH~\mnuI~\mnuJ~\mnuK~\mnuL~\mnuM~\mnuN~\mnuO~\mnuP~\mnuQ~\mnuR~\mnuS~\mnuT~\mnuU~\mnuV~\mnuW~\mnuX~\mnuY~\mnuZ \\ \end{symbolListC} @@ -2775,7 +2878,7 @@ \vspace{-0.15em} \begin{symbolListC} - \mnizero~\mnione~\mnitwo~\mnithree~\mnifour~\mnifive~\mnisix~\mniseven~\mnieight~\mninine \\ + \mniZero~\mniOne~\mniTwo~\mniThree~\mniFour~\mniFive~\mniSix~\mniSeven~\mniEight~\mniNine \\ \mnia~\mnib~\mnic~\mnid~\mnie~\mnif~\mnig~\mnih~\mnii~\mnij~\mnik~\mnil~\mnim~\mnin~\mnio~\mnip~\mniq~\mnir~\mnis~\mnit~\mniu~\mniv~\mniw~\mnix~\mniy~\mniz \\ \mniA~\mniB~\mniC~\mniD~\mniE~\mniF~\mniG~\mniH~\mniI~\mniJ~\mniK~\mniL~\mniM~\mniN~\mniO~\mniP~\mniQ~\mniR~\mniS~\mniT~\mniU~\mniV~\mniW~\mniX~\mniY~\mniZ \\ \end{symbolListC} @@ -2845,7 +2948,7 @@ \vspace{-0.15em} \begin{symbolListC} - \bluzero~\bluone~\blutwo~\bluthree~\blufour~\blufive~\blusix~\bluseven~\blueight~\blunine \\ + \bluZero~\bluOne~\bluTwo~\bluThree~\bluFour~\bluFive~\bluSix~\bluSeven~\bluEight~\bluNine \\ \blua~\blub~\bluc~\blud~\blue~\bluf~\blug~\bluh~\blui~\bluj~\bluk~\blul~\blum~\blun~\bluo~\blup~\bluq~\blur~\blus~\blut~\bluu~\bluv~\bluw~\blux~\bluy~\bluz \\ \bluA~\bluB~\bluC~\bluD~\bluE~\bluF~\bluG~\bluH~\bluI~\bluJ~\bluK~\bluL~\bluM~\bluN~\bluO~\bluP~\bluQ~\bluR~\bluS~\bluT~\bluU~\bluV~\bluW~\bluX~\bluY~\bluZ \\ \end{symbolListC} diff --git a/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot index b7a27296c2..c90600a846 100644 Binary files a/fonts/logix/fonts/logix.eot and b/fonts/logix/fonts/logix.eot differ diff --git a/fonts/logix/fonts/logix.ttf b/fonts/logix/fonts/logix.ttf index 93e82a5069..505a0decef 100644 Binary files a/fonts/logix/fonts/logix.ttf and b/fonts/logix/fonts/logix.ttf differ diff --git a/fonts/logix/fonts/logix.woff b/fonts/logix/fonts/logix.woff index 70a1d13c7e..ee032c4d57 100644 Binary files a/fonts/logix/fonts/logix.woff and b/fonts/logix/fonts/logix.woff differ diff --git a/fonts/logix/fonts/logix.woff2 b/fonts/logix/fonts/logix.woff2 index d566dacf9e..6ded5b52d6 100644 Binary files a/fonts/logix/fonts/logix.woff2 and b/fonts/logix/fonts/logix.woff2 differ diff --git a/fonts/logix/fonts/logixMono.eot b/fonts/logix/fonts/logixMono.eot new file mode 100644 index 0000000000..37ee55554a Binary files /dev/null and b/fonts/logix/fonts/logixMono.eot differ diff --git a/fonts/logix/fonts/logixMono.ttf b/fonts/logix/fonts/logixMono.ttf new file mode 100644 index 0000000000..a6e004ac59 Binary files /dev/null and b/fonts/logix/fonts/logixMono.ttf differ diff --git a/fonts/logix/fonts/logixMono.woff b/fonts/logix/fonts/logixMono.woff new file mode 100644 index 0000000000..21bac4ba52 Binary files /dev/null and b/fonts/logix/fonts/logixMono.woff differ diff --git a/fonts/logix/fonts/logixMono.woff2 b/fonts/logix/fonts/logixMono.woff2 new file mode 100644 index 0000000000..537dfd036b Binary files /dev/null and b/fonts/logix/fonts/logixMono.woff2 differ diff --git a/fonts/logix/opentype/logix.otf b/fonts/logix/opentype/logix.otf index 1fd8d0d25c..d33f9e5699 100644 Binary files a/fonts/logix/opentype/logix.otf and b/fonts/logix/opentype/logix.otf differ diff --git a/fonts/logix/opentype/logixMono.otf b/fonts/logix/opentype/logixMono.otf new file mode 100644 index 0000000000..eb50b5e720 Binary files /dev/null and b/fonts/logix/opentype/logixMono.otf differ diff --git a/fonts/logix/source/logix.math b/fonts/logix/source/logix.math index 4883986e88..8ed3aeb95f 100644 --- a/fonts/logix/source/logix.math +++ b/fonts/logix/source/logix.math @@ -225,7 +225,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - + @@ -254,7 +254,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - + @@ -570,30 +570,30 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -1159,7 +1159,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - + @@ -1188,7 +1188,7 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - + @@ -1867,24 +1867,24 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + + + @@ -2550,24 +2550,24 @@ Note: FontLab 7 does not import the MATH table or other OpenType tables (except - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + + + diff --git a/fonts/logix/source/logix.vfc b/fonts/logix/source/logix.vfc index 1098013f4e..3135b6659c 100644 Binary files a/fonts/logix/source/logix.vfc and b/fonts/logix/source/logix.vfc differ diff --git a/fonts/logix/source/logixMono.vfc b/fonts/logix/source/logixMono.vfc new file mode 100644 index 0000000000..240e9c38bc Binary files /dev/null and b/fonts/logix/source/logixMono.vfc differ diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty index 51327b880a..a96b11b51e 100644 --- a/fonts/logix/tex/logix.sty +++ b/fonts/logix/tex/logix.sty @@ -1,6 +1,6 @@ -% Copyright (c) 2001..2020 by Michael Lee Finney. +% Copyright (c) 2001..2021 by Michael Lee Finney. % -% logix.sty - 2020-05-24 v1.06 +% logix.sty - 2021-01-17 v1.08 % % This work may be distributed and/or modified under the conditions of the % LaTeX Project Public License, either version 1.3 of this license or (at your @@ -28,9 +28,9 @@ \NeedsTeXFormat{LaTeX2e}[2020/02/02] \ProvidesPackage{logix} - [2020-05-24 v1.06 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] + [2021-01-17 v1.08 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] \ProvidesFile{logix.otf} - [2020-05-24 v1.06 (Michael Lee Finney) OpenType Unicode font.] + [2021-01-17 v1.08 (Michael Lee Finney) OpenType Unicode font.] \RequirePackage{iftex} \RequirePackage[bold-style=ISO]{unicode-math} \RequirePackage{arydshln} @@ -172,7 +172,7 @@ \newcommand \Line[4]{% \ifx&##2&% ##1. \hspace{0.25em} & & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\% - \else% + \else% ##1 \hspace{0.35em} & ##2. \hspace{0.25em} & \mathmakebox[#1][l]{##3} $##4$ & \PrfEnd \\% \fi% } @@ -293,7 +293,7 @@ \newcommand \OpnDblParn {\lgl{E31B}\relax} % Open Double Parenthesis \newcommand \OpnCeil {\lgl{E31C}\relax} % Open Ceiling \newcommand \OpnFloor {\lgl{E31D}\relax} % Open Floor - \newcommand \OpnTurn {\lgl{E31E}\relax} % Open Turnstile + \newcommand \OpnForce {\lgl{E31E}\relax} % Open Turnstile \newcommand \OpnCntx {\lgx{E31F}\relax} % Open Context Quote \newcommand \OpnDblGrp {\lgl{E320}\relax} % Open Double Group Brace \newcommand \OpnDblBar {\lgl{E321}\relax} % Open Double Vertical Bar @@ -329,7 +329,7 @@ \newcommand \OpnDblParnS {\left\OpnDblParn\relax} % Stretchy Open Double Parenthesis \newcommand \OpnCeilS {\left\OpnCeil\relax} % Stretchy Open Ceiling \newcommand \OpnFloorS {\left\OpnFloor\relax} % Stretchy Open Floor - \newcommand \OpnTurnS {\left\OpnTurn\relax} % Stretchy Open Turnstile + \newcommand \OpnForceS {\left\OpnForce\relax} % Stretchy Open Turnstile \newcommand \OpnCntxS {\left\OpnCntx\relax} % Stretchy Open Context Quote \newcommand \OpnDblGrpS {\left\OpnDblGrp\relax} % Stretchy Open Double Group Brace \newcommand \OpnDblBarS {\left\OpnDblBar\relax} % Stretchy Open Double Vertical Bar @@ -365,7 +365,7 @@ \newcommand \ClsDblParn {\lgl{E35B}\relax} % Close Double Parenthesis \newcommand \ClsCeil {\lgr{E35C}\relax} % Close Ceiling \newcommand \ClsFloor {\lgr{E35D}\relax} % Close Floor - \newcommand \ClsTurn {\lgr{E35E}\relax} % Close Turnstile + \newcommand \ClsForce {\lgr{E35E}\relax} % Close Turnstile \newcommand \ClsCntx {\lgx{E35F}\relax} % Close Context Quote \newcommand \ClsDblGrp {\lgr{E360}\relax} % Close Double Group Brace \newcommand \ClsDblBar {\lgr{E361}\relax} % Close Double Vertical Bar @@ -401,7 +401,7 @@ \newcommand \ClsDblParnS {\right\ClsDblParn\relax} % Stretchy Close Double Parenthesis \newcommand \ClsCeilS {\right\ClsCeil\relax} % Stretchy Close Ceiling \newcommand \ClsFloorS {\right\ClsFloor\relax} % Stretchy Close Floor - \newcommand \ClsTurnS {\right\ClsTurn\relax} % Stretchy Close Turnstile + \newcommand \ClsForceS {\right\ClsForce\relax} % Stretchy Close Turnstile \newcommand \ClsCntxS {\right\ClsCntx\relax} % Stretchy Close Context Quote \newcommand \ClsDblGrpS {\right\ClsDblGrp\relax} % Stretchy Close Double Group Brace \newcommand \ClsDblBarS {\right\ClsDblBar\relax} % Stretchy Close Vertical Double Bar @@ -663,7 +663,7 @@ \newcommand \Circumflex {\lgx{E03F}\relax} % ASCII Circumflex \newcommand \Numbr {\lgx{E04F}\relax} % Number sign \newcommand \Underscore {\lgx{E0AF}\relax} % Underscore - \newcommand \Tild {\lgx{007E}\relax} % Tilde E64C + \newcommand \Tild {\lgx{007E}\relax} % Tilde \newcommand \SingleQuote {\lgx{E08B}\relax} % Single quote \newcommand \DoubleQuote {\lgx{E09B}\relax} % Double quote \newcommand \TripleQuote {\lgx{E0AB}\relax} % Triple quote @@ -972,8 +972,8 @@ \defineDelimiter{ClsCeil} {EEF0} \defineDelimiter{OpnFloor} {EF00} \defineDelimiter{ClsFloor} {EF10} - \defineDelimiter{OpnTurn} {EF20} - \defineDelimiter{ClsTurn} {EF30} + \defineDelimiter{OpnForce} {EF20} + \defineDelimiter{ClsForce} {EF30} \defineDelimiter{OpnBar} {EF40} \defineDelimiter{ClsBar} {EF50} \defineDelimiter{BndBar} {EF60} @@ -1200,11 +1200,11 @@ \newcommand \ClsFloorBtm {\lgx{EF1C}} % ClsFloor bottom \newcommand \ClsFloorExt {\lgx{EF1D}} % ClsFloor extender - \newcommand \OpnTurnMid {\lgx{EF2C}} % OpnTurn middle - \newcommand \OpnTurnExt {\lgx{EF2D}} % OpnTurn extender + \newcommand \OpnForceMid {\lgx{EF2C}} % OpnForce middle + \newcommand \OpnForceExt {\lgx{EF2D}} % OpnForce extender - \newcommand \ClsTurnMid {\lgx{EF3C}} % ClsTurn middle - \newcommand \ClsTurnExt {\lgx{EF3D}} % ClsTurn extender + \newcommand \ClsForceMid {\lgx{EF3C}} % ClsForce middle + \newcommand \ClsForceExt {\lgx{EF3D}} % ClsForce extender \newcommand \OpnBarBtm {\lgx{EF4C}} % OpnBar bottom \newcommand \OpnBarExt {\lgx{EF4D}} % OpnBar extender @@ -2056,8 +2056,7 @@ % bold font has the symSlu and mathSlu macros. Unlike the unicode-math package, % these scripts do not provide the \partial and \nabla symbols. Also unlike the % unicode-math package, the Greek scripts do not change due to context. The symmni -% and mathmni macros space out adjacent letters unlike the the other macros and -% are raised by 0.433em to match the Knt symbols. +% and mathmni macros space out adjacent letters unlike the the other macros. % % Synonyms for some of the symXxx macros are provided for use in logic. % @@ -2065,26 +2064,27 @@ % \propi \symsai Italic sans-serif variables. % \meta \symSau Bold sans-serif variables. % \metai \symSai Bold, italic sans-serif variables. -% +% % \bnch \symslu Upright slab-serif variables. % \bnchi \symsli Italic slab-serif variables. % \bnchb \symSlu Bold slab-serif variables. % \bnchbi \symSli Bold, italic slab-serif variables. -% +% % \vrbl \symsru Upright serif variables. % \vrbli \symsri Italic serif variables. % \vrblb \symSru Bold serif variables. % \vrblbi \symSri Bold, italic serif variables. -% +% % \vrblc \symcli Calligraphic variables. % \vrblC \symCli Calligraphic bold variables. % % \vrblf \symfru Fraktur variables. % \vrblF \symFru Bold, Fraktur variables. % -% \vrbld \symblu Blackboard / double struck variables -% % \mono \symmnu Monospace slab-serif variables. +% \monoi \symmni Monospace, italic slab-serif variables. +% +% \vrbld \symblu Blackboard / double struck variables % \newcommand \defineLatinScriptMacro[3] {% @@ -2154,16 +2154,16 @@ \Umathcode "7A = "#3 \symLogix \numexpr "#2 + "7A\relax} \newcommand \defineLatinScript[3] {% -\expandafter\def\csname #1zero\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "30}}% Latin digit 0 -\expandafter\def\csname #1one\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "31}}% Latin digit 1 -\expandafter\def\csname #1two\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "32}}% Latin digit 2 -\expandafter\def\csname #1three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3 -\expandafter\def\csname #1four\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "34}}% Latin digit 4 -\expandafter\def\csname #1five\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "35}}% Latin digit 5 -\expandafter\def\csname #1six\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "36}}% Latin digit 6 -\expandafter\def\csname #1seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7 -\expandafter\def\csname #1eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8 -\expandafter\def\csname #1nine\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "39}}% Latin digit 9 +\expandafter\def\csname #1Zero\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "30}}% Latin digit 0 +\expandafter\def\csname #1One\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "31}}% Latin digit 1 +\expandafter\def\csname #1Two\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "32}}% Latin digit 2 +\expandafter\def\csname #1Three\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "33}}% Latin digit 3 +\expandafter\def\csname #1Four\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "34}}% Latin digit 4 +\expandafter\def\csname #1Five\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "35}}% Latin digit 5 +\expandafter\def\csname #1Six\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "36}}% Latin digit 6 +\expandafter\def\csname #1Seven\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "37}}% Latin digit 7 +\expandafter\def\csname #1Eight\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "38}}% Latin digit 8 +\expandafter\def\csname #1Nine\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#2 + "39}}% Latin digit 9 % \expandafter\def\csname #1A\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "41}}% Latin letter A \expandafter\def\csname #1B\endcsname{\ensuremath{\Umathchar 7 \symLogix \numexpr "#3 + "42}}% Latin letter B @@ -2337,8 +2337,8 @@ % Sans serif font. - \newcommand \sauNbrBase {0000} - \newcommand \sauLtrBase {0000} + \newcommand \sauNbrBase {F0F0} + \newcommand \sauLtrBase {F640} \defineLatinScript{sau}{\sauNbrBase}{\sauLtrBase} @@ -2517,7 +2517,7 @@ \newcommand \vrblc[1] {{\defineLatinScriptMacro{\cliNbrBase}{\cliLtrBase}{0}\ensuremath{#1}}} -% Calligraphic script boldfont. +% Calligraphic script bold font. \newcommand \CliNbrBase {F500} \newcommand \CliLtrBase {F540} @@ -2583,6 +2583,10 @@ \newcommand \symmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}} \newcommand \mathmni[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{7}\ensuremath{#1}}} + \defineLatinScript{Monoi}{\mnuNbrBase}{\mnuLtrBase} + + \newcommand \monoi[1] {{\defineLatinScriptMacro{\mniNbrBase}{\mniLtrBase}{0}\ensuremath{#1}}} + % Blackboard font. \newcommand \bluNbrBase {F600} -- cgit v1.2.3