diff options
author | Norbert Preining <norbert@preining.info> | 2021-07-29 03:00:44 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-07-29 03:00:44 +0000 |
commit | d3fd3960d8402d6f9621d35febef86b241808d99 (patch) | |
tree | 0bb90e6c165e75a557f7ca4ba2b83b319091cd71 /fonts/logix/CHANGELOG | |
parent | f083b031d6785bf31f4b35408aca161e81b935f6 (diff) |
CTAN sync 202107290300
Diffstat (limited to 'fonts/logix/CHANGELOG')
-rw-r--r-- | fonts/logix/CHANGELOG | 30 |
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. |