From e974ac92f7e4a29fc066c1fae811daf1478826f7 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 9 Aug 2020 21:28:57 +0000 Subject: logix (9aug20) git-svn-id: svn://tug.org/texlive/trunk@56080 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/fonts/logix/CHANGELOG | 9 +++++++++ Master/texmf-dist/doc/fonts/logix/README | 2 +- Master/texmf-dist/doc/fonts/logix/logix.eot | Bin 392838 -> 393086 bytes Master/texmf-dist/doc/fonts/logix/logix.pdf | Bin 459766 -> 460285 bytes Master/texmf-dist/doc/fonts/logix/logix.tex | 9 ++++++++- Master/texmf-dist/doc/fonts/logix/logix.vfc | Bin 4668233 -> 4673690 bytes .../fonts/opentype/public/logix/logix.otf | Bin 493900 -> 493864 bytes .../fonts/opentype/public/logix/logix.woff | Bin 476784 -> 476832 bytes .../fonts/opentype/public/logix/logix.woff2 | Bin 308204 -> 308540 bytes .../fonts/truetype/public/logix/logix.ttf | Bin 1140760 -> 1139764 bytes Master/texmf-dist/tex/latex/logix/logix.sty | 17 +++++++++++------ 11 files changed, 29 insertions(+), 8 deletions(-) (limited to 'Master') diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG index d4e8d58a250..b7e4aea101f 100644 --- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG +++ b/Master/texmf-dist/doc/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/Master/texmf-dist/doc/fonts/logix/README b/Master/texmf-dist/doc/fonts/logix/README index 0831ce54774..b603f250721 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-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/Master/texmf-dist/doc/fonts/logix/logix.eot b/Master/texmf-dist/doc/fonts/logix/logix.eot index 2350c20a795..b7a27296c26 100644 Binary files a/Master/texmf-dist/doc/fonts/logix/logix.eot and b/Master/texmf-dist/doc/fonts/logix/logix.eot differ diff --git a/Master/texmf-dist/doc/fonts/logix/logix.pdf b/Master/texmf-dist/doc/fonts/logix/logix.pdf index 9c53fdc4347..4d70dd30924 100644 Binary files a/Master/texmf-dist/doc/fonts/logix/logix.pdf and b/Master/texmf-dist/doc/fonts/logix/logix.pdf differ diff --git a/Master/texmf-dist/doc/fonts/logix/logix.tex b/Master/texmf-dist/doc/fonts/logix/logix.tex index 756f8a1ce9f..51009821c3c 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-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/Master/texmf-dist/doc/fonts/logix/logix.vfc b/Master/texmf-dist/doc/fonts/logix/logix.vfc index ff9f6adb4a8..1098013f4e0 100644 Binary files a/Master/texmf-dist/doc/fonts/logix/logix.vfc and b/Master/texmf-dist/doc/fonts/logix/logix.vfc differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf index 915541a3501..1fd8d0d25c4 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf and b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff index 8527f12ac05..70a1d13c7e0 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff and b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 index 17a080b8860..d566dacf9e2 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 and b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 differ diff --git a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf index db5e2c111f8..93e82a5069c 100644 Binary files a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf and b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf differ diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty index 28a0a1674c8..51327b880ad 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-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 -- cgit v1.2.3