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/doc/fonts/logix/CHANGELOG | 30 ++++++- Master/texmf-dist/doc/fonts/logix/README | 13 +-- Master/texmf-dist/doc/fonts/logix/logix.pdf | Bin 477713 -> 485820 bytes Master/texmf-dist/doc/fonts/logix/logix.tex | 87 ++++++++++++++++----- Master/texmf-dist/doc/fonts/logix/logix.vfc | Bin 4921426 -> 5000184 bytes .../fonts/opentype/public/logix/logix.eot | Bin 433883 -> 439004 bytes .../fonts/opentype/public/logix/logix.otf | Bin 564584 -> 574396 bytes .../fonts/opentype/public/logix/logix.woff | Bin 525668 -> 531656 bytes .../fonts/opentype/public/logix/logix.woff2 | Bin 345252 -> 350876 bytes .../fonts/opentype/public/logix/logixMono.eot | Bin 32701 -> 30949 bytes .../fonts/opentype/public/logix/logixMono.otf | Bin 68416 -> 68416 bytes .../fonts/opentype/public/logix/logixMono.woff | Bin 34284 -> 34284 bytes .../fonts/opentype/public/logix/logixMono.woff2 | Bin 33980 -> 33948 bytes .../fonts/truetype/public/logix/logix.ttf | Bin 1183464 -> 1199428 bytes .../fonts/truetype/public/logix/logixMono.ttf | Bin 69588 -> 69588 bytes Master/texmf-dist/tex/latex/logix/logix.sty | 54 ++++++++++++- 16 files changed, 153 insertions(+), 31 deletions(-) diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG index aa703db329f..44980515a09 100644 --- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG +++ b/Master/texmf-dist/doc/fonts/logix/CHANGELOG @@ -1,4 +1,30 @@ -2021-07-06 v.09 +2021-07-28 v1.10 + + 1. Added \Dnd, \Dor, \Dnt, \DAsterisk, \DTimes, \DPlus, \DMinus -- dotted + conjunction, disjunction, and negation, asterisk, times, plus and minus + operators. + + 2. Renamed \Lxor to \Mnd (for use with linear logic). + + 3. Added linear logic operators: \AAnd, \Aor, \Mnd, \Mor, \OfCrse, \WhyNot, + \MulMap, \NotMulMap, \MulMapInv, \NotMulMapInv, \MulMapDual, \NotMulMapDual, + \Coh, \InCoh, \SCoh, \SInCoh, \Perp, \SimPerp, \QuantAAnd and \QuantMor. + + Several of these have multiple uses in linear logic, in particular \Mor, + \QuantMor, \Perp and \SimPerp. + + Possibly the names and descriptions of these could be improved. Suggestions, + as always, are welcome. The names assigned here differ from those assigned + in the cmll package by Emmanuel Beffara (Linear Logic symbols for Computer + Modern). Their design is consistent with STIX2 rather than Computer Modern. + + 4. Added \InvNt + + 5. Triple turnstiles added: \TrpTurn, \NotTrpTurn, \DTrpTurn, \NotDTrpTurn. + + 6. Added \Owns and \NotOwned. + +2021-07-06 v1.09 1. Corrected \Tild to point to non-monospace version of character. @@ -66,7 +92,7 @@ The modifications were make to make the glyphs more consistent with the STIX2 Math font. Thus the Logix font can be directly used as a monospace font. - 4. Some older applications may not display correctly when using the Logix. Therefore, + 4. Some older applications may not display correctly when using the Logix font. So the monospace glpyhs are also entirely contained in a new Logix Mono font which does not contain any other symbols, making it a smaller, lightweight font. diff --git a/Master/texmf-dist/doc/fonts/logix/README b/Master/texmf-dist/doc/fonts/logix/README index 00a500924d9..ea7506c27d8 100644 --- a/Master/texmf-dist/doc/fonts/logix/README +++ b/Master/texmf-dist/doc/fonts/logix/README @@ -1,6 +1,6 @@ The logix package. -This is the README for the logix package, version 2021-07-06 v1.09. +This is the README for the logix package, version 2021-07-28 v1.10. This package provides supplemental symbols for use in logic and mathematics which are largely not present in Unicode. Some symbols are in Unicode but @@ -36,11 +36,12 @@ Some of these scripts overlap the Unicode math scripts, but are not intended to be replacements for those. Unicode does not include everything for a specific script -- digits or lower case letters may be missing, or even individual letters (although that may have changed). That is an issue when using a script for -variable naming. Some script variants are omitted. Many of those variants are -useful in logic. The scripts included are sans serif, slab serif, normal serif -(each of these has upright, italic, bold and bold italic versions) as well as -a calligraphic font (italic and bold), blackboard, fraktur (upright and bold), -monospace, monospace italic with normal serif, and Greek (upright and italic). +variable naming. Some script variants are omitted in Unicode. Many of those +variants are useful in logic. The scripts included are sans serif, slab serif, +normal serif (each of these has upright, italic, bold and bold italic versions) +as well as a calligraphic font (italic and bold), blackboard, fraktur (upright +and bold), monospace, monospace italic with normal serif, and Greek (upright +and italic). Licenses: diff --git a/Master/texmf-dist/doc/fonts/logix/logix.pdf b/Master/texmf-dist/doc/fonts/logix/logix.pdf index 38184ad7aed..865e7f4bc54 100644 Binary files a/Master/texmf-dist/doc/fonts/logix/logix.pdf and b/Master/texmf-dist/doc/fonts/logix/logix.pdf differ diff --git a/Master/texmf-dist/doc/fonts/logix/logix.tex b/Master/texmf-dist/doc/fonts/logix/logix.tex index c4a60c4098b..beed204588e 100644 --- a/Master/texmf-dist/doc/fonts/logix/logix.tex +++ b/Master/texmf-dist/doc/fonts/logix/logix.tex @@ -91,7 +91,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2021-07-06 v1.09} + \section{Introduction: logix 2021-07-28 v1.10} The logix package provides the logix Unicode font and must be used either with \LuaLaTeX\ or \XeLaTeX. There are no available options. The Logix font contains @@ -104,8 +104,10 @@ packages. The unicode-math package is passed the \enquote{bold-style=ISO} parameter and includes the fontspec package. The arydsln package conflicts with several packages. Known conflicts are the array, longtable, colortab and colortbl packages, all of which - must be loaded before the logix package when they are used. Typical use of the logix - package in a \LaTeX\ source file is: + must be loaded before the logix package when they are used. The \AmS{} STIX2 fonts may + be included prior to the logix package, provided that the unicode-math package is + loaded first. This package does not require the use of other Unicode fonts. Typical + use of the logix package in a \LaTeX\ source file is: \begin{addmargin}[0.25in]{0.em} \begin{FontSize}{9}{11} @@ -119,18 +121,15 @@ \end{FontSize} \end{addmargin} - \noindent The \AmS{} STIX2 fonts may be included prior to the logix package, - provided that the unicode-math package is loaded first. This package does not - require the use of other Unicode fonts. - - The metrics for the Logix font are identical to the STIX2 mathematical font and, - overall, the symbols in the Logix font are designed to be compatible with the - STIX2 mathematical font. It may, of course, be used with any other mathematical font. - There are more than 3,000 symbols exported from the font (of which around 1,000 are - for \enquote{stretchy} delimiters). The font itself contains over 4,000 symbols, - but those which are not exported are usually variants (e.g. thinner or thicker) or - unused experimental symbols. The Logix font may also be used for monospace - listings limited to the Latin-1 codepage (with a smattering of additional symbols). + The metrics for the Logix font are identical to the STIX2 mathematical font and + the symbols in the Logix font are designed to be compatible with the STIX2 + mathematical font, but may be used with any other mathematical font. More than + 3,000 symbols are exported from the font (of which around 1,000 are for + \enquote{stretchy} delimiters), but the font contains over 4,000 symbols. Those + not exported are usually variants or are experimental symbols. For example, when + the triple turnstiles were added, 32 new symbols were added to the font, but + only 4 were exported. The Logix font may also be used for monospace listings + limited to the Latin-1 codepage (with a smattering of additional symbols). Should you wish to use a non-exported symbol, please contact the author with a quick explanation of your use (so a reasonable name can be assigned) and, as the author's time @@ -1357,33 +1356,49 @@ \begin{symbolListA} Sequent & {\textbackslash}Seq & \scalebox{1.50}{\Seq} \\ \hline Assertion (Rule) & {\textbackslash}Rule & \scalebox{1.50}{\Rule} \\ \hline + Triple Turnstile & {\textbackslash}TrpTurn & \scalebox{1.50}{\TrpTurn} \\ \hline Model & {\textbackslash}Model & \scalebox{1.50}{\Model} \\ \hline Turnstile & {\textbackslash}Turn & \scalebox{1.50}{\Turn} \\ \hline Consequence Relation & {\textbackslash}Conseq & \scalebox{1.50}{\Conseq} \\ \hline + Double Bar Triple Turnstile & {\textbackslash}DTrpTurn & \scalebox{1.50}{\DTrpTurn} \\ \hline \end{symbolListA} \begin{symbolListA} Sequent Denied & {\textbackslash}NotSeq & \scalebox{1.50}{\NotSeq} \\ \hline Assertion (Rule) Denied & {\textbackslash}NotRule & \scalebox{1.50}{\NotRule} \\ \hline + Triple Turnstile Denied & {\textbackslash}NotTrpTurn & \scalebox{1.50}{\NotTrpTurn} \\ \hline Model Denied & {\textbackslash}NotModel & \scalebox{1.50}{\NotModel} \\ \hline Turnstile Denied & {\textbackslash}NotTurn & \scalebox{1.50}{\NotTurn} \\ \hline Consequence Relation Denied & {\textbackslash}NotConseq & \scalebox{1.50}{\NotConseq} \\ \hline + Double Bar Triple Turnstile Denied & {\textbackslash}NotDTrpTurn & \scalebox{1.50}{\NotDTrpTurn} \\ \hline \end{symbolListA} \begin{symbolListA} Bitwise AND operator / Logical Conjunction & {\textbackslash}Nd & \scalebox{1.50}{\Nd} \\ \hline Bitwise OR operator / Logical Disjunction & {\textbackslash}Or & \scalebox{1.50}{\Or} \\ \hline Bitwise NOT operator / Logical Negation & {\textbackslash}Nt & \scalebox{1.50}{\Nt} \\ \hline + Inverted Negation & {\textbackslash}InvNt & \scalebox{1.50}{\InvNt} \\ \hline Classical Logical Negation & {\textbackslash}Ngt & \scalebox{1.50}{\Ngt} \\ \hline Logical NAND & {\textbackslash}Lnand & \scalebox{1.50}{\Lnand} \\ \hline Logical NOR & {\textbackslash}Lnor & \scalebox{1.50}{\Lnor} \\ \hline - Logical XOR & {\textbackslash}Lxor & \scalebox{1.50}{\Lxor} \\ \hline + Logical XOR & {\textbackslash}Mnd & \scalebox{1.50}{\Mnd} \\ \hline Sheffer's Stroke (Logical NAND) & {\textbackslash}Shfr & \scalebox{1.50}{\Shfr} \\ \hline Bitwise NAND operator & {\textbackslash}Nand & \scalebox{1.50}{\Nand} \\ \hline Bitwise NOR operator & {\textbackslash}Nor & \scalebox{1.50}{\Nor} \\ \hline Bitwise XOR operator & {\textbackslash}Xor & \scalebox{1.50}{\Xor} \\ \hline \end{symbolListA} + \begin{symbolListA} + Dotted Conjunction & {\textbackslash}Dnd & \scalebox{1.50}{\Dnd} \\ \hline + Dotted Disjunction & {\textbackslash}Dor & \scalebox{1.50}{\Dor} \\ \hline + Dotted Negation & {\textbackslash}Dnt & \scalebox{1.50}{\Dnt} \\ \hline + Dotted Asterisk & {\textbackslash}DAsterisk & \scalebox{1.50}{\DAsterisk} \\ \hline + Dotted Times & {\textbackslash}DTimes & \scalebox{1.50}{\DTimes} \\ \hline + Dotted Plus & {\textbackslash}DPlus & \scalebox{1.50}{\DPlus} \\ \hline + Dotted Minus & {\textbackslash}DMinus & \scalebox{1.50}{\DMinus} \\ \hline + \end{symbolListA} + \clearpage + \begin{symbolListA} Slanted Bar And & {\textbackslash}SbNd & \scalebox{1.50}{\SbNd} \\ \hline Slanted Bar Or & {\textbackslash}SbOr & \scalebox{1.50}{\SbOr} \\ \hline @@ -1397,7 +1412,6 @@ Q.E.D. & {\textbackslash}Qed & \scalebox{1.50}{\Qed} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline @@ -1526,14 +1540,16 @@ Bunch Inclusion & {\textbackslash}Of & \scalebox{1.50}{\Of} \\ \hline Set Membership & {\textbackslash}In & \scalebox{1.50}{\In} \\ \hline Set Membership Negated & {\textbackslash}NotIn & \scalebox{1.50}{\NotIn} \\ \hline + Set Owns Element & {\textbackslash}Owns & \scalebox{1.50}{\Owns} \\ \hline + Set Owns Element Negated & {\textbackslash}NotOwned & \scalebox{1.50}{\NotOwned} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Absent / Void Bunch & {\textbackslash}VoidBunch & \scalebox{1.50}{\VoidBunch} \\ \hline Null Set & {\textbackslash}NullSet & \scalebox{1.50}{\NullSet} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Necessity & {\textbackslash}Nec & \scalebox{1.50}{\Nec} \\ \hline Possibility & {\textbackslash}Pos & \scalebox{1.50}{\Pos} \\ \hline @@ -1654,6 +1670,15 @@ Set Union Quantifier & {\textbackslash}QuantSetJoin & \scalebox{1.50}{\QuantSetJoin} \\ \hline \end{symbolListA} + \begin{symbolListA} + Multimap & {\textbackslash}MulMap & \scalebox{1.50}{\MulMap} \\ \hline + Not Multimap & {\textbackslash}NotMulMap & \scalebox{1.50}{\NotMulMap} \\ \hline + Inverted Multimap & {\textbackslash}MulMapInv & \scalebox{1.50}{\MulMapInv} \\ \hline + Not Inverted Multimap & {\textbackslash}NotMulMapInv & \scalebox{1.50}{\NotMulMapInv } \\ \hline + Dual Multimap & {\textbackslash}MulMapDual & \scalebox{1.50}{\MulMapDual} \\ \hline + Not Dual Multimap & {\textbackslash}NotMulMapDual & \scalebox{1.50}{\NotMulMapDual} \\ \hline + \end{symbolListA} + \begin{symbolListA} Less Than & {\textbackslash}Ls & \scalebox{1.50}{\Ls} \\ \hline Less Than or Equal & {\textbackslash}Lse & \scalebox{1.50}{\Lse} \\ \hline @@ -1671,6 +1696,30 @@ Not Greater Than & {\textbackslash}NotGr & \scalebox{1.50}{\NotGr} \\ \hline Not Greater Than or Equal & {\textbackslash}NotGre & \scalebox{1.50}{\NotGre} \\ \hline \end{symbolListA} + \clearpage + + \begin{symbolListA} + Frown & {\textbackslash}SCoh & \scalebox{1.50}{\SCoh} \\ \hline + Smile & {\textbackslash}SInCoh & \scalebox{1.50}{\SInCoh} \\ \hline + Smile (bottom) and Frowm (top) & {\textbackslash}Coh & \scalebox{1.50}{\Coh} \\ \hline + Frown (bottom) and Smile (top) & {\textbackslash}InCoh & \scalebox{1.50}{\InCoh} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Additive AND & {\textbackslash}AAnd & \scalebox{1.50}{\AAnd} \\ \hline + Multiplicitive AND & {\textbackslash}Mnd & \scalebox{1.50}{\Mnd} \\ \hline + Additive OR & {\textbackslash}Aor & \scalebox{1.50}{\Aor} \\ \hline + Multiplicitive OR & {\textbackslash}Mor & \scalebox{1.50}{\Mor} \\ \hline + Of Course & {\textbackslash}OfCrse & \scalebox{1.50}{\OfCrse} \\ \hline + Why Not & {\textbackslash}WhyNot & \scalebox{1.50}{\WhyNot} \\ \hline + Perp & {\textbackslash}Perp & \scalebox{1.50}{\Perp} \\ \hline + Sim Perp & {\textbackslash}SimPerp & \scalebox{1.50}{\SimPerp} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Quantified Additive And & {\textbackslash}QuantAAnd & \scalebox{1.50}{\QuantAAnd} \\ \hline + Quantified Multiplicative Or & {\textbackslash}QuantMor & \scalebox{1.50}{\QuantMor} \\ \hline + \end{symbolListA} \begin{symbolListA} Slanted Bar Less Than & {\textbackslash}SbLs & \scalebox{1.50}{\SbLs} \\ \hline @@ -1679,7 +1728,6 @@ Slanted Bar Greater Than or Equal & {\textbackslash}SbGre & \scalebox{1.50}{\SbGre} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Slanted Bar Not Less Than & {\textbackslash}SbNotLs & \scalebox{1.50}{\SbNotLs} \\ \hline Slanted Bar Not Less Than or Equal & {\textbackslash}SbNotLse & \scalebox{1.50}{\SbNotLse} \\ \hline @@ -1700,6 +1748,7 @@ Not Succeeds & {\textbackslash}NotSuc & \scalebox{1.50}{\NotSuc} \\ \hline Not Succeeds or Equal & {\textbackslash}NotSucq & \scalebox{1.50}{\NotSucq} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Minus & {\textbackslash}Minus & \scalebox{1.50}{\Minus} \\ \hline diff --git a/Master/texmf-dist/doc/fonts/logix/logix.vfc b/Master/texmf-dist/doc/fonts/logix/logix.vfc index 003d8bdf46f..0a4bceb1d57 100644 Binary files a/Master/texmf-dist/doc/fonts/logix/logix.vfc and b/Master/texmf-dist/doc/fonts/logix/logix.vfc differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.eot b/Master/texmf-dist/fonts/opentype/public/logix/logix.eot index 92942c25b9a..773e5c12fb1 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.eot and b/Master/texmf-dist/fonts/opentype/public/logix/logix.eot differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf index a2a1c611ac1..c57f8e182da 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.otf and b/Master/texmf-dist/fonts/opentype/public/logix/logix.otf differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff index 029bdc94f3b..b24b9afd41e 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff and b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 index 41aa5306670..6b3563a14c7 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 and b/Master/texmf-dist/fonts/opentype/public/logix/logix.woff2 differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.eot b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.eot index 6408d1a94e5..4ef415c3c83 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.eot and b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.eot differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.otf b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.otf index 8b1b4131700..404b2a66469 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.otf and b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.otf differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff index 7f9b395ad4d..1e2a1f7ef1d 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff and b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff differ diff --git a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff2 b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff2 index 7bb9f2799c5..16fb4f6df41 100644 Binary files a/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff2 and b/Master/texmf-dist/fonts/opentype/public/logix/logixMono.woff2 differ diff --git a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf index 73a984b4cbf..bd9f854eaa0 100644 Binary files a/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf and b/Master/texmf-dist/fonts/truetype/public/logix/logix.ttf differ diff --git a/Master/texmf-dist/fonts/truetype/public/logix/logixMono.ttf b/Master/texmf-dist/fonts/truetype/public/logix/logixMono.ttf index dd96e24879f..7bdd51f3f61 100644 Binary files a/Master/texmf-dist/fonts/truetype/public/logix/logixMono.ttf and b/Master/texmf-dist/fonts/truetype/public/logix/logixMono.ttf differ 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