summaryrefslogtreecommitdiff
path: root/fonts/logix
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-07-29 03:00:44 +0000
committerNorbert Preining <norbert@preining.info>2021-07-29 03:00:44 +0000
commitd3fd3960d8402d6f9621d35febef86b241808d99 (patch)
tree0bb90e6c165e75a557f7ca4ba2b83b319091cd71 /fonts/logix
parentf083b031d6785bf31f4b35408aca161e81b935f6 (diff)
CTAN sync 202107290300
Diffstat (limited to 'fonts/logix')
-rw-r--r--fonts/logix/CHANGELOG30
-rw-r--r--fonts/logix/README13
-rw-r--r--fonts/logix/doc/logix.pdfbin477713 -> 485820 bytes
-rw-r--r--fonts/logix/doc/logix.tex87
-rw-r--r--fonts/logix/fonts/logix.eotbin433883 -> 439004 bytes
-rw-r--r--fonts/logix/fonts/logix.ttfbin1183464 -> 1199428 bytes
-rw-r--r--fonts/logix/fonts/logix.woffbin525668 -> 531656 bytes
-rw-r--r--fonts/logix/fonts/logix.woff2bin345252 -> 350876 bytes
-rw-r--r--fonts/logix/fonts/logixMono.eotbin32701 -> 30949 bytes
-rw-r--r--fonts/logix/fonts/logixMono.ttfbin69588 -> 69588 bytes
-rw-r--r--fonts/logix/fonts/logixMono.woffbin34284 -> 34284 bytes
-rw-r--r--fonts/logix/fonts/logixMono.woff2bin33980 -> 33948 bytes
-rw-r--r--fonts/logix/opentype/logix.otfbin564584 -> 574396 bytes
-rw-r--r--fonts/logix/opentype/logixMono.otfbin68416 -> 68416 bytes
-rw-r--r--fonts/logix/source/logix.vfcbin4921426 -> 5000184 bytes
-rw-r--r--fonts/logix/tex/logix.sty54
16 files changed, 153 insertions, 31 deletions
diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index aa703db329..44980515a0 100644
--- a/fonts/logix/CHANGELOG
+++ b/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/fonts/logix/README b/fonts/logix/README
index 00a500924d..ea7506c27d 100644
--- a/fonts/logix/README
+++ b/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/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf
index 38184ad7ae..865e7f4bc5 100644
--- a/fonts/logix/doc/logix.pdf
+++ b/fonts/logix/doc/logix.pdf
Binary files differ
diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex
index c4a60c4098..beed204588 100644
--- a/fonts/logix/doc/logix.tex
+++ b/fonts/logix/doc/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,27 +1356,32 @@
\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
@@ -1385,6 +1389,17 @@
\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
Slanted Bar Nand & {\textbackslash}SbNand & \scalebox{1.50}{\SbNand} \\ \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
@@ -1655,6 +1671,15 @@
\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
Equal & {\textbackslash}Eq & \scalebox{1.50}{\Eq} \\ \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/fonts/logix/fonts/logix.eot b/fonts/logix/fonts/logix.eot
index 92942c25b9..773e5c12fb 100644
--- a/fonts/logix/fonts/logix.eot
+++ b/fonts/logix/fonts/logix.eot
Binary files differ
diff --git a/fonts/logix/fonts/logix.ttf b/fonts/logix/fonts/logix.ttf
index 73a984b4cb..bd9f854eaa 100644
--- a/fonts/logix/fonts/logix.ttf
+++ b/fonts/logix/fonts/logix.ttf
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff b/fonts/logix/fonts/logix.woff
index 029bdc94f3..b24b9afd41 100644
--- a/fonts/logix/fonts/logix.woff
+++ b/fonts/logix/fonts/logix.woff
Binary files differ
diff --git a/fonts/logix/fonts/logix.woff2 b/fonts/logix/fonts/logix.woff2
index 41aa530667..6b3563a14c 100644
--- a/fonts/logix/fonts/logix.woff2
+++ b/fonts/logix/fonts/logix.woff2
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.eot b/fonts/logix/fonts/logixMono.eot
index 6408d1a94e..4ef415c3c8 100644
--- a/fonts/logix/fonts/logixMono.eot
+++ b/fonts/logix/fonts/logixMono.eot
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.ttf b/fonts/logix/fonts/logixMono.ttf
index dd96e24879..7bdd51f3f6 100644
--- a/fonts/logix/fonts/logixMono.ttf
+++ b/fonts/logix/fonts/logixMono.ttf
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.woff b/fonts/logix/fonts/logixMono.woff
index 7f9b395ad4..1e2a1f7ef1 100644
--- a/fonts/logix/fonts/logixMono.woff
+++ b/fonts/logix/fonts/logixMono.woff
Binary files differ
diff --git a/fonts/logix/fonts/logixMono.woff2 b/fonts/logix/fonts/logixMono.woff2
index 7bb9f2799c..16fb4f6df4 100644
--- a/fonts/logix/fonts/logixMono.woff2
+++ b/fonts/logix/fonts/logixMono.woff2
Binary files differ
diff --git a/fonts/logix/opentype/logix.otf b/fonts/logix/opentype/logix.otf
index a2a1c611ac..c57f8e182d 100644
--- a/fonts/logix/opentype/logix.otf
+++ b/fonts/logix/opentype/logix.otf
Binary files differ
diff --git a/fonts/logix/opentype/logixMono.otf b/fonts/logix/opentype/logixMono.otf
index 8b1b413170..404b2a6646 100644
--- a/fonts/logix/opentype/logixMono.otf
+++ b/fonts/logix/opentype/logixMono.otf
Binary files differ
diff --git a/fonts/logix/source/logix.vfc b/fonts/logix/source/logix.vfc
index 003d8bdf46..0a4bceb1d5 100644
--- a/fonts/logix/source/logix.vfc
+++ b/fonts/logix/source/logix.vfc
Binary files differ
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}