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
|
2020-05-24 v1.06
1. Four symbols were added
\SMapTo
\MapTo
\LMapTo
\XMapTo
2020-05-23 v1.05
1. Font loading was tweaked to accomodate a change in the luaotfload package
which broke stretchy delimiters in LuaLaTeX.
2. Three symbols were renamed.
\Ng --> \Ngt
\DottedCircle --> \DottedCircl
\Dts --> \CDots
3. Several existing symbols were exported:
\TFNone
\NTrue
\TFBoth
\NFalse
\Bot
\Top
\VDots
4. Two symbols were added
\TripleQuote
\LDots
5. A pair of stretchy delimiters were added
\OpnTrpBar
\ClsTrpBar
6. A bold calligraphic script was added.
7. Since many (most) Unicode fonts do not provide a systematic set of the basic
geometric shapes in different sizes, 126 new geometric symbols are provided.
Nine sizes (each) for circles, squares, diamonds, right triangle, left
triangle, up triangle and down triangle for both white and black variants
were added. Unlike the existing geometric symbols which are vertically
centered at 0.25 em for use in logic, these are vertically centered at
0.50 em for general use, with side bearings of 0.1 em. The smallest shapes
have basic dimension of 0.2 em, and each larger shape increases in size by
0.1 em, up to 1.0 em. These symbols are name:
\WhiteCircleA ... \WhiteCircleI
\BlackCircleA ... \BlackCircleI
\WhiteSquareA ... \WhiteSquareI
\BlackSquareA ... \BlackSquareI
\WhiteDiamondA ... \WhiteDiamondI
\BlackDiamondA ... \BlackDiamondI
\WhiteRightTriangleA ... \WhiteRightTriangleI
\BlackRightTriangleA ... \BlackRightTriangleI
\WhiteLeftTriangleA ... \WhiteLeftTriangleI
\BlackLeftTriangleA ... \BlackLeftTriangleI
\WhiteUpTriangleA ... \WhiteUpTriangleI
\BlackUpTriangleA ... \BlackUpTriangleI
\WhiteDownTriangleA ... \WhiteDownTriangleI
\BlackDownTriangleA ... \BlackDownTriangleI
8. The environments for logic proofs were slightly tweaked for improved readability.
2020-05-01 v1.04
1. Two new Knot symbols were added, \KntHDASH and \KntVDASH.
2. A few symbols were renamed to avoid conflict with standard Unicode names.
\Comma --> \Coma
\Number --> \Numbr
\Percent --> \Percnt
\Plus --> \Pls
2020-03-07 v1.03
1. Some macros were tweaked which were not expanding correctly in some circumstances.
2. The "bold-style=ISO" option is now used for unicode-math. This causes \symbf to
use italic bold, \mathbf remains non-italic. See the unicode-math package
documentation for more information.
3. LaTeX2e version 2020-02-02 patch level 5 is now required. Some updates prior to
patch level 5 were causing errors.
2020-01-04 v1.02
1. Version number corrected in logix.sty.
2. Two new stretchy delimiters added.
3. \DelimS variants added for automatic stretchy delimiter \Delim.
4. Corresponding updates to README file, documentation and the logix.sty file.
5. Changes made to match changes in other packages.
2019-07-07 v1.01
1. Minor additions and corrections to README file, documentation and
logix.sty comments.
2. Corrected widths and macro names for several \Knt symbols.
3. Added \KntlgX macros for changing the height of \Knt symbols.
4. Added a dozen half width or height symbols to facilitate drawing knot bridges.
5. Additional examples added to the documentation for using the \Knt symbols.
2019-07-01 v1.00
Initial release.
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
