CTAN update: logix
Date: July 29, 2021 5:39:22 PM CEST
Michael Lee Finney submitted an update to the
logix
package.
Version: 1.10 2021-07-28
License: ofl lppl1.3c
Summary description: Supplement to the Unicode math symbols
Announcement text:
Added 33 new symbols, including support for linear logic and triple turnstiles.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/logix The package’s files themselves can be inspected at https://mirrors.ctan.org/fonts/logix/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
Added 33 new symbols, including support for linear logic and triple turnstiles.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/logix The package’s files themselves can be inspected at https://mirrors.ctan.org/fonts/logix/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
logix – Supplement to the Unicode math symbols
The package provides a Unicode font with over 4,000 symbols to supplement the Unicode math symbols. It is compatible with and complements the AMS STIX2 math fonts, but focuses on new symbols and symbol variants more suited to work in logic.
| Package | logix |
| Version | 1.13 |
| Copyright | 2001–2022 Michael Lee Finney |
| Maintainer | Michael Lee Finney |