summaryrefslogtreecommitdiff
path: root/fonts/logix
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-08-10 03:03:10 +0000
committerNorbert Preining <norbert@preining.info>2020-08-10 03:03:10 +0000
commit37ce19e9251a5b38afadffc633acc6b03f03cc48 (patch)
tree84d132ceef053e85a0fe70c7ad65bcea0e38c7ca /fonts/logix
parent68df63effba2e77fb0218b91a6722821355885cd (diff)
CTAN sync 202008100303
Diffstat (limited to 'fonts/logix')
-rw-r--r--fonts/logix/CHANGELOG9
-rw-r--r--fonts/logix/README2
-rw-r--r--fonts/logix/doc/logix.pdfbin459766 -> 460285 bytes
-rw-r--r--fonts/logix/doc/logix.tex9
-rw-r--r--fonts/logix/fonts/logix.eotbin392838 -> 393086 bytes
-rw-r--r--fonts/logix/fonts/logix.ttfbin1140760 -> 1139764 bytes
-rw-r--r--fonts/logix/fonts/logix.woffbin476784 -> 476832 bytes
-rw-r--r--fonts/logix/fonts/logix.woff2bin308204 -> 308540 bytes
-rw-r--r--fonts/logix/opentype/logix.otfbin493900 -> 493864 bytes
-rw-r--r--fonts/logix/source/logix.vfcbin4668233 -> 4673690 bytes
-rw-r--r--fonts/logix/tex/logix.sty17
11 files changed, 29 insertions, 8 deletions
diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index d4e8d58a25..b7e4aea101 100644
--- a/fonts/logix/CHANGELOG
+++ b/fonts/logix/CHANGELOG
@@ -1,3 +1,12 @@
+2020-05-24 v1.06
+
+ 1. Four symbols were added
+
+ \SMapTo
+ \MapTo
+ \LMapTo
+ \XMapTo
+
2020-05-23 v1.05
1. Font loading was tweaked to accomodate a change in the luaotfload package
diff --git a/fonts/logix/README b/fonts/logix/README
index 0831ce5477..b603f25072 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-23 v1.05.
+This is the README for the logix package, version 2020-05-24 v1.06.
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 9c53fdc434..4d70dd3092 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 756f8a1ce9..51009821c3 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-05-23 v1.05}
+ \section{Introduction: logix 2020-05-24 v1.06}
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
@@ -897,6 +897,13 @@
Continuous, Total, Onto, Grounded, One-To-One Map & {\textbackslash}MapTotOnGndOne & \scalebox{1.50}{\MapTotOnGndOne} \\ \hline
\end{symbolListA}
+ \begin{symbolListA}
+ Short Maps To & {\textbackslash}SMapTo & \scalebox{1.50}{\SMapTo} \\ \hline
+ Maps To & {\textbackslash}MapTo & \scalebox{1.50}{\MapTo} \\ \hline
+ Long Maps To & {\textbackslash}LMapTo & \scalebox{1.50}{\LMapTo} \\ \hline
+ Extra LongMaps To & {\textbackslash}XMapTo & \scalebox{1.50}{\XMapTo} \\ \hline
+ \end{symbolListA}
+
\clearpage
\begin{symbolListA}
Continuous, Partial, Into Multi-Function & {\textbackslash}FunParInMul & \scalebox{1.50}{\FunParInMul} \\ \hline
diff --git a/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot
index 2350c20a79..b7a27296c2 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 db5e2c111f..93e82a5069 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 8527f12ac0..70a1d13c7e 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 17a080b886..d566dacf9e 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 915541a350..1fd8d0d25c 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 ff9f6adb4a..1098013f4e 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 28a0a1674c..51327b880a 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-05-23 v1.05
+% logix.sty - 2020-05-24 v1.06
%
% 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-23 v1.05 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
+ [2020-05-24 v1.06 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.]
\ProvidesFile{logix.otf}
- [2020-05-23 v1.05 (Michael Lee Finney) OpenType Unicode font.]
+ [2020-05-24 v1.06 (Michael Lee Finney) OpenType Unicode font.]
\RequirePackage{iftex}
\RequirePackage[bold-style=ISO]{unicode-math}
\RequirePackage{arydshln}
@@ -459,15 +459,20 @@
\newcommand \FunTotOnGndSng {\lgx{EA9D}\relax} % Continuous, Total, Onto, Grounded, Singleton Function
\newcommand \FunTotOnGndOne {\lgx{EA9E}\relax} % Continuous, Total, Onto, Grounded, One-To-One Function
- \newcommand \MapComp {\lgx{E23C}\relax} % Map Composition
- \newcommand \FncComp {\lgx{E239}\relax} % Function Composition
- \newcommand \FncCnvrs {\lgx{E2C3}\relax} % Function Converse
+ \newcommand \SMapTo {\lgx{E9D6}\relax} % Short Maps To
+ \newcommand \MapTo {\lgx{E9D7}\relax} % Maps To
+ \newcommand \LMapTo {\lgx{E9D8}\relax} % Long Maps To
+ \newcommand \XMapTo {\lgx{E9D9}\relax} % Extra Long Maps To
\newcommand \SFunc {\lgx{E9DC}\relax} % Short Function
\newcommand \Func {\lgx{E9DD}\relax} % Function
\newcommand \LFunc {\lgx{E9DE}\relax} % Long Function
\newcommand \XFunc {\lgx{E9DF}\relax} % Extra Long Function
+ \newcommand \MapComp {\lgx{E23C}\relax} % Map Composition
+ \newcommand \FncComp {\lgx{E239}\relax} % Function Composition
+ \newcommand \FncCnvrs {\lgx{E2C3}\relax} % Function Converse
+
\newcommand \ClsImpl {\lgx{E79E}\relax} % Classical Implication
\newcommand \NotClsImpl {\lgx{E79F}\relax} % Not Classical Implication
\newcommand \ClsEquv {\lgx{E666}\relax} % Classical Equivalence