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 .