The logix package.

This is the README for the logix package, version 2020-01-04 v1.02.

*** Important! *** ********************************************************

Due to changes in a number of base packages, a number of other packages
have been broken. To the best of my knowledge (as of the date above) the
only remaining package that is broken and that affects using this package
is filehook-scrlfile. If you get an error message such as:

   LaTeX Warning: Command \InputIfFileExists  has changed.

   Package filehook Error: Detected 'scrlfile' package with unknown definition of \InputIfFileExists.

Then goto

   https://tex.stackexchange.com/a/515183/48973

and copy the code into a file named "filehook-scrlfile.sty" and place
it in your local directory. When filehook-scrlfile has been updated, this
local file should be removed.

***************************************************************************

This package provides supplemental symbols for use in logic and mathematics
which are largely not present in Unicode. Some symbols are in Unicode but
are included because they are variants that may look better in some 
applications. Logic tends not to have the complex layouts that is common for 
more general mathematics, but has different requirements for readability.
This font is intended to complement, but not replace the AMS STIX2 fonts. 
However, it may used with any mathematical font since it does not replace or 
redefine any symbols. This package also provides an environment for drawing
knots using the \Knt drawing symbols and three environments for Hilbert style
logic definitions and theorems.

This is an OpenType font where all of the symbols (more than 4,000) other than 
the ASCII codepage are in the private use area. As such, the package requires
XeLaTeX or LuaLaTeX. Not all of those symbols are directly exported, since
there are many variants present for possible future use. While only the 
OpenType font file is usable for LaTeX, the .ttf, .woff, .woff2 and .eot font
files are also supplied in this distribution.

Other than many miscellaneous symbols, there are a large number of arrows, 
geometrical symbols, Knot drawing symbols, 68 stretchy delimiters plus a
stretchy binding bar, of which 60 are fully stretchable. The remaining 8 are
stretchy up to 5 times the original size. Some of the delimiters are present
in Unicode, but their design in STIX2 does not work as well for logic. In
particular, STIX2 delimiters tend to not extend as far below the baseline
and above the baseline as would be desirable. Also, some STIX2 delimiters
take more horizontal space than is necessary.

There are twenty scripts, each of which (except for the two Greek scripts) 
have matching numeric, lower case and upper case glyphs. All symbols in this 
font are designed to be compatible with the STIX2 mathematical font by AMS.
Some of these scripts overlap the Unicode math scripts, but are not intended 
to be replacements for those. Unicode does not include everything for a specific
script -- digits or lower case may be missing, or even individual letters 
(although that may have changed). That is an issue when using a script for 
variable naming.  Some script variants are omitted. Many of those variants are 
useful in logic. The scripts included are sans serif, slab serif, normal serif 
(each of these has upright, italic, bold and bold italic versions) as well as 
a calligraphic font, blackboard, fraktur (upright and bold), monospace, 
monospace italic with normal serif, and Greek (upright and italic).

Licenses:

   The logix font is licensed under the Open Font License, version 1.1 or 
   later.

   The font contains modified serif alphanumeric and Greek symbols from the 
   STIX2 fonts, Copyright © 2001-2016 by the STI Pub Companies (OFL license 
   1.1), modified slab serif alphanumeric symbols from the Zilla Slab fonts, 
   Copyright © 2017 The Mozilla Foundation (OFL license 1.1) and modified sans 
   serif alphanumeric symbols from the Clear Sans font, Copyright © 2012 Intel 
   Corporation (Apache License 2.0).

   The OFL license can be found at: http://scripts.sil.org/OFL.

   The Apache license can be found at: http://www.apache.org/licenses/LICENSE-2.0.html.

   This file, the documentation and the logix.sty file are distributed and/or 
   modified under the conditions of the LaTeX Project Public License, either 
   version 1.3 of this license or (at your option) any later version. The 
   latest version of this license can be found at:
   
       http://www.latex-project.org/lppl.txt
   
   and version 1.3c or later is part of all distributions of LaTeX version
   2005-12-01 or later.
   
This work has the LPPL maintenance status `maintained'.

The Current Maintainer of this work is Michael Lee Finney who can be reached 
at ctan@metachaos.net.

This work consists of the files CHANGELOG, README, logix.sty, logix.tex, logix.pdf, 
logix.otf, logix.ttf, logix.woff, logix.woff2, logix.eot and logix.vfc.

To use this package, add

   \usepackage{logix}

it has no options. If the array package is used, it must be loaded prior to the
logix package due to a conflict between the array package and the arydshln
package. The public interface is defined in logix.sty and documented in logix.pdf.
For example:

   \usepackage{array}            % Only if required, must load before logix.
   \usepackage{logix}            % Load logix font for supplemental symbols.

   \setmainfont{STIX Two Text}   % AMS STIX2 used for main font.
   \setmathfont{STIX Two Math}   % AMS STIX2 used for math font.

This distribution also contains logix.vfc, which is the master font file used to
derive the actual font files. It is not needed for LaTeX usage, but is provided
should I become unable to maintain the package, and it is picked up by another
maintainer. This is a FontLab (currently version 7.0.1) source file.

As briefly mentioned above, the various web font files (.eot, .ttf, .woff and
.woff2) are provided so that any user who wishes to use the font on a web page
does not need to convert font files.

Users can report bugs or request support at

   ctan@metachaos.net
   
which is an email address devoted exclusively to my interaction with CTAN. 
There are no web pages, URLs, repositories etc. that the user can access.

% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -