CTAN update: logix
Date: September 20, 2020 9:50:51 AM CEST
Michael Lee Finney submitted an update to the
logix
package.
Version number: 1.07 2020-09-18
License type: ofl lppl1.3c
Summary description: Supplement to the Unicode math symbols
Announcement text:
An additional font for listing source lines has been added.
This package is located at http://mirror.ctan.org/fonts/logix More information is at https://www.ctan.org/pkg/logix
Thanks for the upload. For the CTAN Team Erik Braun
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
An additional font for listing source lines has been added.
This package is located at http://mirror.ctan.org/fonts/logix More information is at https://www.ctan.org/pkg/logix
Thanks for the upload. For the CTAN Team Erik Braun
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 |