texlive[55585] Master/texmf-dist: logix (18jun20)
commits+karl at tug.org
commits+karl at tug.org
Thu Jun 18 23:06:33 CEST 2020
Revision: 55585
http://tug.org/svn/texlive?view=revision&revision=55585
Author: karl
Date: 2020-06-18 23:06:33 +0200 (Thu, 18 Jun 2020)
Log Message:
-----------
logix (18jun20)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG
trunk/Master/texmf-dist/doc/fonts/logix/README
trunk/Master/texmf-dist/doc/fonts/logix/logix.eot
trunk/Master/texmf-dist/doc/fonts/logix/logix.pdf
trunk/Master/texmf-dist/doc/fonts/logix/logix.tex
trunk/Master/texmf-dist/doc/fonts/logix/logix.vfc
trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.otf
trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.woff
trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2
trunk/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf
trunk/Master/texmf-dist/tex/latex/logix/logix.sty
Modified: trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG 2020-06-18 21:06:14 UTC (rev 55584)
+++ trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG 2020-06-18 21:06:33 UTC (rev 55585)
@@ -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.
Modified: trunk/Master/texmf-dist/doc/fonts/logix/README
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/README 2020-06-18 21:06:14 UTC (rev 55584)
+++ trunk/Master/texmf-dist/doc/fonts/logix/README 2020-06-18 21:06:33 UTC (rev 55585)
@@ -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
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.eot
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.tex
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/logix.tex 2020-06-18 21:06:14 UTC (rev 55584)
+++ trunk/Master/texmf-dist/doc/fonts/logix/logix.tex 2020-06-18 21:06:33 UTC (rev 55585)
@@ -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
Modified: trunk/Master/texmf-dist/doc/fonts/logix/logix.vfc
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.otf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.woff
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/tex/latex/logix/logix.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/logix/logix.sty 2020-06-18 21:06:14 UTC (rev 55584)
+++ trunk/Master/texmf-dist/tex/latex/logix/logix.sty 2020-06-18 21:06:33 UTC (rev 55585)
@@ -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
More information about the tex-live-commits
mailing list.