diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/logix/CHANGELOG')
-rw-r--r-- | Master/texmf-dist/doc/fonts/logix/CHANGELOG | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/logix/CHANGELOG b/Master/texmf-dist/doc/fonts/logix/CHANGELOG index c7a75b3fd02..aa703db329f 100644 --- a/Master/texmf-dist/doc/fonts/logix/CHANGELOG +++ b/Master/texmf-dist/doc/fonts/logix/CHANGELOG @@ -1,3 +1,55 @@ +2021-07-06 v.09 + + 1. Corrected \Tild to point to non-monospace version of character. + + 2. Added \Cpyrght for non-monospace version of character. + + 3. Reverted change from /OpnTurn and /ClsTurn to /OpnForce and /ClsForce since the + change is non-intuitive and the use as "force" does not appear to be widespread. + + 4. Corrected outline for RplcEquvRight. + + 5. Added \RplcAllBnd, \RplcAll, \RplcFree, \RplcEquv, \RplcAny, \RplcAnyRight, + and \RplcAnyLeft. + + 6. \EmptyBunch renamed to \VoidBunch. + + 7. The modal operator names were shifted around, with two new sets of modal operators + added. + + 8. Added Sheffer's stroke (\Shfr), logical nand (\Lnand) and logical nor (Lnor). + + 9. Added zero width space (\NoSpace) as glyph, whereas \KntZZ is not an actual glyph. + + 10. Exported \Lxor for logical XOR symbol. + + 11. Added \Vmeet and \Vjoin, respectively as up and down hooked arrow. + + 12. Added \NtExists, \HdnExists and \HdnForAll, \BnchNtExists, \BnchHdnExists and + \BnchHdnForAll. + + 13. Added \SbNd, \SbOr, \SbNand, \SbNor, \SbXor, \SbLs, \SbNotLs, \SbLse, \SbNotLse, + \SbGre, \SbNoteGre, \SbGr and \SbNotGr. + + 14. The LogixProof and LogixSequent environments now use braces for justification + references rather than brackets. + + 15. Added \Cover. + + 16. The \Defn symbol sidebearings tweaked to improve readability and the LogixDefn + environment modified to provide alignment on the definition symbol, which is now + incorporated into the environment. The LogixAxiom environment has been added to + provide formatted axioms or postulates. + + 17. The LogixTable environment was added to provide a consistent appearance for + semantic maps and tableau. + + 18. The LgcCohrnc and BncCohrnc symbols were renamed to LgcBistab and BncBistab. + + 19. The mathtools package is now included automatically. + + 20. The Blnk line option was added for the LogixProof and LogixSeqnt environment. + 2021-01-17 v1.08 1. The \OpnTurn and \ClsTurn symbols have been renamed to \OpenForce and \ClsForce, |