texlive[56080] Master/texmf-dist: logix (9aug20)
commits+karl at tug.org
commits+karl at tug.org
Sun Aug 9 23:28:57 CEST 2020
Revision: 56080
http://tug.org/svn/texlive?view=revision&revision=56080
Author: karl
Date: 2020-08-09 23:28:57 +0200 (Sun, 09 Aug 2020)
Log Message:
-----------
logix (9aug20)
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-08-09 21:28:37 UTC (rev 56079)
+++ trunk/Master/texmf-dist/doc/fonts/logix/CHANGELOG 2020-08-09 21:28:57 UTC (rev 56080)
@@ -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
Modified: trunk/Master/texmf-dist/doc/fonts/logix/README
===================================================================
--- trunk/Master/texmf-dist/doc/fonts/logix/README 2020-08-09 21:28:37 UTC (rev 56079)
+++ trunk/Master/texmf-dist/doc/fonts/logix/README 2020-08-09 21:28:57 UTC (rev 56080)
@@ -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
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-08-09 21:28:37 UTC (rev 56079)
+++ trunk/Master/texmf-dist/doc/fonts/logix/logix.tex 2020-08-09 21:28:57 UTC (rev 56080)
@@ -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
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-08-09 21:28:37 UTC (rev 56079)
+++ trunk/Master/texmf-dist/tex/latex/logix/logix.sty 2020-08-09 21:28:57 UTC (rev 56080)
@@ -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,9 +459,10 @@
\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
@@ -468,6 +469,10 @@
\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
More information about the tex-live-commits
mailing list.