diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/CHANGELOG | 11 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/README | 2 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.eot | bin | 377422 -> 377084 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.pdf | bin | 421596 -> 424651 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.tex | 27 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/fonts/logix/logix.vfc | bin | 3599267 -> 3603260 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.otf | bin | 429804 -> 447364 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.woff | bin | 461176 -> 459968 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 | bin | 279660 -> 284336 bytes | |||
| -rw-r--r-- | Master/texmf-dist/fonts/truetype/public/logix/logix.ttf | bin | 1053108 -> 1068560 bytes | |||
| -rw-r--r-- | Master/texmf-dist/tex/latex/logix/logix.sty | 17 |
11 files changed, 38 insertions, 19 deletions
diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG index 503b45c287d..0ceb7521bf6 100644 --- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG +++ b/Master/texmf-dist/doc/fonts/logix/CHANGELOG @@ -1,3 +1,14 @@ +2020-05-01 v1.04 + + 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 + 2020-03-07 v1.03 1. Some macros were tweaked which were not expanding correctly in some circumstances. diff --git a/Master/texmf-dist/doc/fonts/logix/README b/Master/texmf-dist/doc/fonts/logix/README index aab910c6cbc..17b059e729b 100644 --- a/Master/texmf-dist/doc/fonts/logix/README +++ b/Master/texmf-dist/doc/fonts/logix/README @@ -1,6 +1,6 @@ The logix package. -This is the README for the logix package, version 2020-03-07 v1.03. +This is the README for the logix package, version 2020-05-01 v1.04. This package provides supplemental symbols for use in logic and mathematics which are largely not present in Unicode. Some symbols are in Unicode but diff --git a/Master/texmf-dist/doc/fonts/logix/logix.eot b/Master/texmf-dist/doc/fonts/logix/logix.eot Binary files differindex 9ee249adca4..87b369aa63a 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.pdf b/Master/texmf-dist/doc/fonts/logix/logix.pdf Binary files differindex a70b3434693..e6c781824b5 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 432e3bad074..a1a1f4c70f3 100644 --- a/Master/texmf-dist/doc/fonts/logix/logix.tex +++ b/Master/texmf-dist/doc/fonts/logix/logix.tex @@ -85,7 +85,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2020-03-07 v1.03} + \section{Introduction: logix 2020-05-01 v1.04} 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 @@ -688,8 +688,8 @@ \begin{verbatim} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} - \Dash {1} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Disjunction} - \Line {2} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Weakening, 1} + \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} @@ -711,8 +711,8 @@ \end{LogixSeqnt} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} - \Dash {1} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Disjunction} - \Line {2} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Weakening, 1} + \Dash {1} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Disjunction} + \Line {2} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Weakening, 1} \end{LogixSeqnt} \end{addmargin} \end{flushleft} @@ -721,7 +721,7 @@ A more realistic example of using the LogixSeqnt environment is shown below. \begin{addmargin}[0.25in]{0.em} - \begin{LogixSeqnt} {Th 11} {} {\prop{p} \Seq \prop{q}\Comma \prop{r} \Seq \prop{s} \Rule \prop{p} \Or \prop{r} \Seq \prop{q} \Or \prop{s}} + \begin{LogixSeqnt} {Th 11} {} {\prop{p} \Seq \prop{q}\Coma \prop{r} \Seq \prop{s} \Rule \prop{p} \Or \prop{r} \Seq \prop{q} \Or \prop{s}} \Dash{1} {Th 2} {Ds 3} {\prop{q}} {\prop{q} \Or \prop{s}} \Dash{2} {Ln 1} {As 1} {\prop{p}} {\prop{q} \Or \prop{s}} \Dash{3} {Th 2} {Ds 4} {\prop{s}} {\prop{q} \Or \prop{s}} @@ -766,7 +766,7 @@ 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 + 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. @@ -1192,7 +1192,7 @@ \clearpage \begin{symbolListA} Dot & {\textbackslash}Dt & \scalebox{1.50}{\Dt} \\ \hline - Comma & {\textbackslash}Comma & \scalebox{1.50}{\Comma} \\ \hline + Comma & {\textbackslash}Coma & \scalebox{1.50}{\Coma} \\ \hline Semicolon & {\textbackslash}Semicln & \scalebox{1.50}{\Semicln} \\ \hline Colon & {\textbackslash}Cln & \scalebox{1.50}{\Cln} \\ \hline Thus & {\textbackslash}Thus & \scalebox{1.50}{\Thus} \\ \hline @@ -1203,12 +1203,12 @@ Long Vertical Bar & {\textbackslash}LngVrtBar & \scalebox{1.50}{\LngVrtBar} \\ \hline Question mark & {\textbackslash}Queston & \scalebox{1.50}{\Queston} \\ \hline Exclamation point & {\textbackslash}Exclaim & \scalebox{1.50}{\Exclaim} \\ \hline - Percent sign & {\textbackslash}Percent & \scalebox{1.50}{\Percent} \\ \hline + Percent sign & {\textbackslash}Percnt & \scalebox{1.50}{\Percnt} \\ \hline Ampersand & {\textbackslash}Ampersand & \scalebox{1.50}{\Ampersand} \\ \hline Dollar sign & {\textbackslash}Dollar & \scalebox{1.50}{\Dollar} \\ \hline At sign & {\textbackslash}At & \scalebox{1.50}{\At} \\ \hline ASCII Circumflex & {\textbackslash}Circumflex & \scalebox{1.50}{\Circumflex} \\ \hline - Number sign & {\textbackslash}Number & \scalebox{1.50}{\Number} \\ \hline + Number sign & {\textbackslash}Numbr & \scalebox{1.50}{\Numbr} \\ \hline Underscore & {\textbackslash}Underscore & \scalebox{1.50}{\Underscore} \\ \hline Tilde & {\textbackslash}Tild & \scalebox{1.50}{\Tild} \\ \hline Left (back) slash & {\textbackslash}LeftSlash & \scalebox{1.50}{\LeftSlash} \\ \hline @@ -1384,7 +1384,7 @@ \begin{symbolListA} Minus & {\textbackslash}Minus & \scalebox{1.50}{\Minus} \\ \hline - Plus & {\textbackslash}Plus & \scalebox{1.50}{\Plus} \\ \hline + Plus & {\textbackslash}Pls & \scalebox{1.50}{\Pls} \\ \hline Plus / Minus & {\textbackslash}PlusMinus & \scalebox{1.50}{\PlusMinus} \\ \hline Minus / Plus & {\textbackslash}MinusPlus & \scalebox{1.50}{\MinusPlus} \\ \hline Asterick & {\textbackslash}Asterick & \scalebox{1.50}{\Asterick} \\ \hline @@ -1446,6 +1446,11 @@ \clearpage \begin{symbolListA} + Horizontal bars with vertical dashes & {\textbackslash}KntHDASH & \scalebox{1.50}{\KntHDASH} \\ \hline + Vertical bars with horizontal dashes & {\textbackslash}KntVDASH & \scalebox{1.50}{\KntVDASH} \\ \hline + \end{symbolListA} + + \begin{symbolListA} Horz flow, Cross, solid over, solid under & {\textbackslash}KntHXSOSU & \scalebox{1.50}{\KntHXSOSU} \\ \hline Horz flow, Cross, solid under, solid over & {\textbackslash}KntHXSUSO & \scalebox{1.50}{\KntHXSUSO} \\ \hline Vert flow, Cross, solid over, solid under & {\textbackslash}KntVXSOSU & \scalebox{1.50}{\KntVXSOSU} \\ \hline diff --git a/Master/texmf-dist/doc/fonts/logix/logix.vfc b/Master/texmf-dist/doc/fonts/logix/logix.vfc Binary files differindex 2e099750c51..2cfa1755a74 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 563d9e8776b..8bff0ea9b18 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 5aa9e43e7c8..d01274dc698 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 97ed594b378..33f275ee4db 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 b7ef2d67de5..a07adeeb0cd 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 10540b0b64c..32ff0d4bea8 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-03-07 v1.03 +% logix.sty - 2020-05-01 v1.04 % % 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-03-07 v1.03 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] + [2020-05-01 v1.04 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] \ProvidesFile{logix.otf} - [2020-03-07 v1.03 (Michael Lee Finney) OpenType Unicode font.] + [2020-05-01 v1.04 (Michael Lee Finney) OpenType Unicode font.] \RequirePackage{iftex} \RequirePackage[bold-style=ISO]{unicode-math} \RequirePackage{arydshln} @@ -629,7 +629,7 @@ \newcommand \BndMap {\lgx{E030}\relax} % Map Abstraction \newcommand \Dt {\lgx{E098}\relax} % Dot - \newcommand \Comma {\lgx{E099}\relax} % Comma + \newcommand \Coma {\lgx{E099}\relax} % Comma \newcommand \Semicln {\lgx{E09A}\relax} % Semicolon \newcommand \Cln {\lgx{E091}\relax} % Colon \newcommand \Thus {\lgx{E092}\relax} % Thus @@ -641,12 +641,12 @@ \newcommand \LngVrtBar {\lgx{E0EC}\relax} % Long Vertical Bar \newcommand \Queston {\lgx{E02C}\relax} % Question mark \newcommand \Exclaim {\lgx{E02D}\relax} % Exclamation point - \newcommand \Percent {\lgx{E03C}\relax} % Percent sign + \newcommand \Percnt {\lgx{E03C}\relax} % Percent sign \newcommand \Ampersand {\lgx{E03D}\relax} % Ampersand \newcommand \Dollar {\lgx{E05F}\relax} % Dollar sign \newcommand \At {\lgx{E03E}\relax} % At sign \newcommand \Circumflex {\lgx{E03F}\relax} % ASCII Circumflex - \newcommand \Number {\lgx{E04F}\relax} % Number sign + \newcommand \Numbr {\lgx{E04F}\relax} % Number sign \newcommand \Underscore {\lgx{E09E}\relax} % Underscore \newcommand \Tild {\lgx{007E}\relax} % Tilde E64C \newcommand \SingleQuote {\lgx{E09C}\relax} % Single quote @@ -767,7 +767,7 @@ \newcommand \NotSucq {\lgx{E6CD}\relax} % Not Succeeds or Equal \newcommand \Minus {\lgx{E0C7}\relax} % Minus - \newcommand \Plus {\lgx{E0C6}\relax} % Plus + \newcommand \Pls {\lgx{E0C6}\relax} % Plus \newcommand \PlusMinus {\lgx{E0CE}\relax} % Plus / Minus \newcommand \MinusPlus {\lgx{E0CF}\relax} % Minus / Plus \newcommand \Asterick {\lgx{E0C4}\relax} % Asterick @@ -1307,6 +1307,9 @@ \newcommand \KntZQ {\rule[0pt]{0.250em}{0pt}} % Zero height, quarter width strut. \newcommand \KntZZ {\rule[0pt]{0.000em}{0pt}} % Zero height, zero width strut. + \newcommand \KntHDASH {\lgk{E13E}} % Horizontal bar with vertical dash + \newcommand \KntVDASH {\lgk{E13F}} % Vertical bar with horizontal dash + \newcommand \KntHXSOSU {\lgk{E140}} % Horizontal flow, Cross, solid over, solid under \newcommand \KntHXSUSO {\lgk{E141}} % Horizontal flow, Cross, solid under, solid over \newcommand \KntVXSOSU {\lgk{E142}} % Vertical flow, Cross, solid over, solid under |