1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
The logix package.
This is the README for the logix package, version 2022-06-22 v1.13.
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 supplement, 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 several environments for Hilbert
style logic definitions, axioms 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, 72 stretchy delimiters plus a
stretchy binding bar, of which 64 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 necessary.
There are twenty one 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 letters 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 in Unicode. 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 (italic and bold), 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 font contains modified symbols from the Bitstream Vera Sans Mono font,
Release 1.10, according to the following license.
Copyright (c) 2003 by Bitstream, Inc.
All Rights Reserved.
Bitstream Vera is a trademark of Bitstream, Inc.
Permission is hereby granted, free of charge, to any person obtaining a copy
of the fonts accompanying this license ("Fonts") and associated documentation
files (the "Font Software"), to reproduce and distribute the Font Software,
including without limitation the rights to use, copy, merge, publish, distribute,
and/or sell copies of the Font Software, and to permit persons to whom the Font
Software is furnished to do so, subject to the following conditions:
The above copyright and trademark notices and this permission notice shall be
included in all copies of one or more of the Font Software typefaces.
The Font Software may be modified, altered, or added to, and in particular the
designs of glyphs or characters in the Fonts may be modified and additional
glyphs or characters may be added to the Fonts, only if the fonts are renamed
to names not containing either the words "Bitstream" or the word "Vera".
This License becomes null and void to the extent applicable to Fonts or Font
Software that has been modified and is distributed under the "Bitstream Vera"
names.
The Font Software may be sold as part of a larger software package but no copy
of one or more of the Font Software typefaces may be sold by itself.
THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT,
TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL BITSTREAM OR THE GNOME FOUNDATION
BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL,
SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION
OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO
USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
Except as contained in this notice, the names of Gnome, the Gnome Foundation,
and Bitstream Inc., shall not be used in advertising or otherwise to promote
the sale, use or other dealings in this Font Software without prior written
authorization from the Gnome Foundation or Bitstream Inc., respectively. For
further information, contact: fonts at gnome dot org.
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.
\setmonofont{Logix Mono} % Only if using Logix for listings.
This distribution also contains logix.vfc and logixMono.vfc, which are the master
font files used to build the actual font files. It is not needed for LaTeX usage,
but is provided should I become unable to maintain the package, and is picked up
by another maintainer. This is a FontLab (currently version 7.2.0) 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.
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
