From 5a436b91fa6d82239d24cc76a82bf563571bfb7b Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 28 Jul 2021 20:46:00 +0000 Subject: logix (28jul21) git-svn-id: svn://tug.org/texlive/trunk@60099 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logix/logix.sty | 54 ++++++++++++++++++++++++++--- 1 file changed, 50 insertions(+), 4 deletions(-) (limited to 'Master/texmf-dist/tex/latex/logix') diff --git a/Master/texmf-dist/tex/latex/logix/logix.sty b/Master/texmf-dist/tex/latex/logix/logix.sty index 905db9b17cb..e64465bcbea 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..2021 by Michael Lee Finney. % -% logix.sty - 2021-07-06 v1.09 +% logix.sty - 2021-07-28 v1.10 % % 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} - [2021-07-06 v1.09 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] + [2021-07-28 v1.10 (Michael Lee Finney) Supplemental logical and mathematical symbols for XeLaTex / LuaLaTeX.] \ProvidesFile{logix.otf} - [2021-07-06 v1.09 (Michael Lee Finney) OpenType Unicode font.] + [2021-07-28 v1.10 (Michael Lee Finney) OpenType Unicode font.] \RequirePackage{iftex} \RequirePackage[bold-style=ISO]{unicode-math} \RequirePackage{mathtools} @@ -665,14 +665,20 @@ \newcommand \Seq {\lgx{E94C}\relax} % Sequent \newcommand \NotSeq {\lgx{E96C}\relax} % Sequent Denied + \newcommand \Rule {\lgx{E940}\relax} % Assertion (Rule) \newcommand \NotRule {\lgx{E960}\relax} % Assertion (Rule) Denied \newcommand \Model {\lgx{E942}\relax} % Model \newcommand \NotModel {\lgx{E962}\relax} % Model Denied + \newcommand \TrpTurn {\lgx{E94E}\relax} % Triple Turnstile + \newcommand \NotTrpTurn {\lgx{E96E}\relax} % Triple Turnstile Denied + \newcommand \Turn {\lgx{E944}\relax} % Turnstile \newcommand \NotTurn {\lgx{E964}\relax} % Turnstile Denied \newcommand \Conseq {\lgx{E946}\relax} % Consequence Relation \newcommand \NotConseq {\lgx{E966}\relax} % Consequence Relation Denied + \newcommand \DTrpTurn {\lgx{E980}\relax} % Double Bar Triple Turnstile + \newcommand \NotDTrpTurn {\lgx{E982}\relax} % Double Bar Triple Turnstile Denied \newcommand \Defn {\lgx{E60A}\relax} % Defines \newcommand \Qed {\lgx{E08F}\relax} % Q.E.D. @@ -680,15 +686,47 @@ \newcommand \Nd {\lgx{E6A0}\relax} % Bitwise AND operator / Logical Conjunction \newcommand \Or {\lgx{E6A1}\relax} % Bitwise OR operator / Logical Disjunction \newcommand \Nt {\lgx{E0C0}\relax} % Bitwise NOT operator / Logical Negation + \newcommand \InvNt {\lgx{E0C1}\relax} % Inverted Negation \newcommand \Ngt {\lgx{E64C}\relax} % Classical Logical Negation \newcommand \Lnand {\lgx{E9F6}\relax} % Logical NAND \newcommand \Lnor {\lgx{E9F7}\relax} % Logical NOR - \newcommand \Lxor {\lgx{E293}\relax} % Logical XOR \newcommand \Shfr {\lgx{E07F}\relax} % Sheffer's Stroke (Logical NAND) \newcommand \Nand {\lgx{E6A2}\relax} % Bitwise NAND operator \newcommand \Nor {\lgx{E6A3}\relax} % Bitwise NOR operator \newcommand \Xor {\lgx{E6A5}\relax} % Bitwise XOR operator + \newcommand \AAnd {\lgx{E00E}\relax} % Additive AND + \newcommand \Mnd {\lgx{E293}\relax} % Multiplicitive AND + \newcommand \Aor {\lgx{E2C3}\relax} % Additive OR + \newcommand \Mor {\lgx{E00F}\relax} % Multiplicitive OR + \newcommand \OfCrse {\lgx{E01E}\relax} % Of Course + \newcommand \WhyNot {\lgx{E01F}\relax} % Why Not + \newcommand \Perp {\lgx{E0F7}\relax} % Perp + \newcommand \SimPerp {\lgx{E0F8}\relax} % Sim Perp + + \newcommand \QuantAAnd {\lgx{E0F9}\relax} % Quantified Additive And + \newcommand \QuantMor {\lgx{E0FA}\relax} % Quantified Multiplicative Or + + \newcommand \MulMap {\lgx{E079}\relax} % Multimap + \newcommand \NotMulMap {\lgx{E07A}\relax} % Not Multimap + \newcommand \MulMapInv {\lgx{E07B}\relax} % Inverted Multimap + \newcommand \NotMulMapInv {\lgx{E07C}\relax} % Not Inverted Multimap + \newcommand \MulMapDual {\lgx{E07D}\relax} % Dual Multimap + \newcommand \NotMulMapDual {\lgx{E07E}\relax} % Not Dual Multimap + + \newcommand \Dnd {\lgx{E6A6}\relax} % Dotted AND operator / Logical Conjunction + \newcommand \Dor {\lgx{E6A7}\relax} % Dotted OR operator / Logical Disjunction + \newcommand \Dnt {\lgx{E0F0}\relax} % Dotted NOT operator / Logical Negation + \newcommand \DAsterisk {\lgx{E0E4}\relax} % Dotted Asterisk + \newcommand \DTimes {\lgx{E0E5}\relax} % Dotted Times + \newcommand \DPlus {\lgx{E0E6}\relax} % Dotted Plus + \newcommand \DMinus {\lgx{E0E7}\relax} % Dotted Minus + + \newcommand \SCoh {\lgx{E0F1}\relax} % Frown + \newcommand \SInCoh {\lgx{E0F2}\relax} % Smile + \newcommand \Coh {\lgx{E0F3}\relax} % Smile (bottom) and Frowm (top) + \newcommand \InCoh {\lgx{E0F4}\relax} % Frown (bottom) and Smile (top) + \newcommand \SbNd {\lgx{E680}\relax} % Slanted Bar And \newcommand \SbOr {\lgx{E681}\relax} % Slanted Bar Or \newcommand \SbNand {\lgx{E682}\relax} % Slanted Bar Nand @@ -841,6 +879,8 @@ \newcommand \Of {\lgx{E600}\relax} % Bunch Inclusion \newcommand \In {\lgx{E602}\relax} % Set Membership \newcommand \NotIn {\lgx{E603}\relax} % Set Membership Negated + \newcommand \Owns {\lgx{E606}\relax} % Set Owns Element + \newcommand \NotOwned {\lgx{E605}\relax} % Set Owns Element Negated \newcommand \Cover {\lgx{E94D}\relax} % Cover \newcommand \VoidBunch {\lgx{E054}\relax} % Absent / Void Bunch @@ -943,6 +983,10 @@ % Define custom \not mappings. + \NewNegationCommand {\Owns} {\NotOwned} + \NewNegationCommand {\MulMap} {\NotMulMap} + \NewNegationCommand {\MulMapInv} {\NotMulMapInv} + \NewNegationCommand {\MulMapBth} {\NotMulMapBth} \NewNegationCommand {\ClsImpl} {\NotClsImpl} \NewNegationCommand {\SWkMtImpl} {\NotSWkMtImpl} \NewNegationCommand {\SMtImpl} {\NotSMtImpl} @@ -1004,6 +1048,8 @@ \NewNegationCommand {\Seq} {\NotSeq} \NewNegationCommand {\Rule} {\NotRule} \NewNegationCommand {\Model} {\NotModel} + \NewNegationCommand {\TrpTurn} {\NotTrpTurn} + \NewNegationCommand {\DTrpTurn} {\NotDTrpTurn} \NewNegationCommand {\Turn} {\NotTurn} \NewNegationCommand {\Conseq} {\NotConseq} \NewNegationCommand {\In} {\NotIn} -- cgit v1.2.3