summaryrefslogtreecommitdiff
path: root/fonts/logix/tex
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/tex
parent68df63effba2e77fb0218b91a6722821355885cd (diff)
CTAN sync 202008100303
Diffstat (limited to 'fonts/logix/tex')
-rw-r--r--fonts/logix/tex/logix.sty17
1 files changed, 11 insertions, 6 deletions
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