summaryrefslogtreecommitdiff
path: root/fonts/logix/CHANGELOG
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/logix/CHANGELOG')
-rw-r--r--fonts/logix/CHANGELOG30
1 files changed, 28 insertions, 2 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.