summaryrefslogtreecommitdiff
path: root/fonts/logix/tex/logix.sty
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/logix/tex/logix.sty')
-rw-r--r--fonts/logix/tex/logix.sty54
1 files changed, 50 insertions, 4 deletions
diff --git a/fonts/logix/tex/logix.sty b/fonts/logix/tex/logix.sty
index 905db9b17c..e64465bcbe 100644
--- a/fonts/logix/tex/logix.sty
+++ b/fonts/logix/tex/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}