summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/logix
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-08-09 21:28:57 +0000
committerKarl Berry <karl@freefriends.org>2020-08-09 21:28:57 +0000
commite974ac92f7e4a29fc066c1fae811daf1478826f7 (patch)
tree604c68abf188cc92e55c7699f0c229e35105e5be /Master/texmf-dist/tex/latex/logix
parentc9737a2ee4cf592045c6adec069daa9a866ef695 (diff)
logix (9aug20)
git-svn-id: svn://tug.org/texlive/trunk@56080 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/logix')
-rw-r--r--Master/texmf-dist/tex/latex/logix/logix.sty17
1 files changed, 11 insertions, 6 deletions
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