logix (18jun20)

git-svn-id: svn://tug.org/texlive/trunk@55585 c570f23f-e606-0410-a88d-b1316a301751

6 files changed, 28 insertions, 12 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
index 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
index 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
index 2e099750c51..2cfa1755a74 100644
--- a/Master/texmf-dist/doc/fonts/logix/logix.vfc
+++ b/Master/texmf-dist/doc/fonts/logix/logix.vfc