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/tex/latex/logix/logix.sty | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'Master/texmf-dist/tex/latex/logix/logix.sty') 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