diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/logix/README |
Initial commit
Diffstat (limited to 'fonts/logix/README')
-rw-r--r-- | fonts/logix/README | 110 |
1 files changed, 110 insertions, 0 deletions
diff --git a/fonts/logix/README b/fonts/logix/README new file mode 100644 index 0000000000..22cd554e5b --- /dev/null +++ b/fonts/logix/README @@ -0,0 +1,110 @@ +The logix package. + +This is the README for the logix package, version 2019-07-07 v1.01. + +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, 64 stretchy delimiters plus a +stretchy binding bar, of which 56 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 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. + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |