summaryrefslogtreecommitdiff
path: root/fonts/logix
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-06-19 03:03:14 +0000
committerNorbert Preining <norbert@preining.info>2020-06-19 03:03:14 +0000
commitfa4840ca74917d6402885b9b77c26e51b61fc68a (patch)
treeefd50c9a9a8eddb4154175ae575aa5f435582a06 /fonts/logix
parent7a78c3b8b21b6842d27bb48f37197f8c380ccc5e (diff)
CTAN sync 202006190303
Diffstat (limited to 'fonts/logix')
-rw-r--r--fonts/logix/CHANGELOG11
-rw-r--r--fonts/logix/README2
-rw-r--r--fonts/logix/doc/logix.pdfbin421596 -> 424651 bytes
-rw-r--r--fonts/logix/doc/logix.tex27
-rw-r--r--fonts/logix/fonts/logix.eotbin377422 -> 377084 bytes
-rw-r--r--fonts/logix/fonts/logix.ttfbin1053108 -> 1068560 bytes
-rw-r--r--fonts/logix/fonts/logix.woffbin461176 -> 459968 bytes
-rw-r--r--fonts/logix/fonts/logix.woff2bin279660 -> 284336 bytes
-rw-r--r--fonts/logix/opentype/logix.otfbin429804 -> 447364 bytes
-rw-r--r--fonts/logix/source/logix.vfcbin3599267 -> 3603260 bytes
-rw-r--r--fonts/logix/tex/logix.sty17
11 files changed, 38 insertions, 19 deletions
diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index 503b45c287..0ceb7521bf 100644
--- a/fonts/logix/CHANGELOG
+++ b/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/fonts/logix/README b/fonts/logix/README
index aab910c6cb..17b059e729 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-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/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index a70b343469..e6c781824b 100644
--- a/fonts/logix/doc/logix.pdf
+++ b/fonts/logix/doc/logix.pdf
Binary files differ
diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex
index 432e3bad07..a1a1f4c70f 100644
--- a/fonts/logix/doc/logix.tex
+++ b/fonts/logix/doc/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/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot
index 9ee249adca..87b369aa63 100644
--- a/fonts/logix/fonts/logix.eot
+++ b/fonts/logix/fonts/logix.eot
Binary files differ
diff --git a/fonts/logix/fonts/logix.ttf b/fonts/logix/fonts/logix.ttf
index b7ef2d67de..a07adeeb0c 100644
--- a/fonts/logix/fonts/logix.ttf
+++ b/fonts/logix/fonts/logix.ttf
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff b/fonts/logix/fonts/logix.woff
index 5aa9e43e7c..d01274dc69 100644
--- a/fonts/logix/fonts/logix.woff
+++ b/fonts/logix/fonts/logix.woff
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff2 b/fonts/logix/fonts/logix.woff2
index 97ed594b37..33f275ee4d 100644
--- a/fonts/logix/fonts/logix.woff2
+++ b/fonts/logix/fonts/logix.woff2
Binary files differ
diff --git a/fonts/logix/opentype/logix.otf b/fonts/logix/opentype/logix.otf
index 563d9e8776..8bff0ea9b1 100644
--- a/fonts/logix/opentype/logix.otf
+++ b/fonts/logix/opentype/logix.otf
Binary files differ
diff --git a/fonts/logix/source/logix.vfc b/fonts/logix/source/logix.vfc
index 2e099750c5..2cfa1755a7 100644
--- a/fonts/logix/source/logix.vfc
+++ b/fonts/logix/source/logix.vfc
Binary files differ
diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index 10540b0b64..32ff0d4bea 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.
%
-% 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