diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/logix/CHANGELOG')
-rw-r--r-- | Master/texmf-dist/doc/fonts/logix/CHANGELOG | 30 |
1 files changed, 28 insertions, 2 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. |