CTAN Comprehensive TeX Archive Network

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

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.

Packagelogix
Version1.10 2021-07-28
Copyright2001–2021 Michael Lee Finney
MaintainerMichael Lee Finney

Announcements

more

Guest Book Sitemap Contact Contact Author