Michael Lee Finney submitted the
logix
package.
Version number: 1.00 2019-07-01 License type: ofl lppl1.3c
Summary description: Supplement to the Unicode math symbols providing over 3,000 symbols
Announcement text: ----------------------------------------------------------------------
The logix package provides an Unicode font with over 3,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.
----------------------------------------------------------------------
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 Manfred Lotz
We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .