diff options
| author | Norbert Preining <norbert@preining.info> | 2021-07-29 03:00:44 +0000 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2021-07-29 03:00:44 +0000 |
| commit | d3fd3960d8402d6f9621d35febef86b241808d99 (patch) | |
| tree | 0bb90e6c165e75a557f7ca4ba2b83b319091cd71 /fonts/logix/doc | |
| parent | f083b031d6785bf31f4b35408aca161e81b935f6 (diff) | |
CTAN sync 202107290300
Diffstat (limited to 'fonts/logix/doc')
| -rw-r--r-- | fonts/logix/doc/logix.pdf | bin | 477713 -> 485820 bytes | |||
| -rw-r--r-- | fonts/logix/doc/logix.tex | 87 |
2 files changed, 68 insertions, 19 deletions
diff --git a/fonts/logix/doc/logix.pdf b/fonts/logix/doc/logix.pdf Binary files differindex 38184ad7ae..865e7f4bc5 100644 --- a/fonts/logix/doc/logix.pdf +++ b/fonts/logix/doc/logix.pdf diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex index c4a60c4098..beed204588 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -91,7 +91,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2021-07-06 v1.09} + \section{Introduction: logix 2021-07-28 v1.10} The logix package provides the logix Unicode font and must be used either with \LuaLaTeX\ or \XeLaTeX. There are no available options. The Logix font contains @@ -104,8 +104,10 @@ packages. The unicode-math package is passed the \enquote{bold-style=ISO} parameter and includes the fontspec package. The arydsln package conflicts with several packages. Known conflicts are the array, longtable, colortab and colortbl packages, all of which - must be loaded before the logix package when they are used. Typical use of the logix - package in a \LaTeX\ source file is: + must be loaded before the logix package when they are used. The \AmS{} STIX2 fonts may + be included prior to the logix package, provided that the unicode-math package is + loaded first. This package does not require the use of other Unicode fonts. Typical + use of the logix package in a \LaTeX\ source file is: \begin{addmargin}[0.25in]{0.em} \begin{FontSize}{9}{11} @@ -119,18 +121,15 @@ \end{FontSize} \end{addmargin} - \noindent The \AmS{} STIX2 fonts may be included prior to the logix package, - provided that the unicode-math package is loaded first. This package does not - require the use of other Unicode fonts. - - The metrics for the Logix font are identical to the STIX2 mathematical font and, - overall, the symbols in the Logix font are designed to be compatible with the - STIX2 mathematical font. It may, of course, be used with any other mathematical font. - There are more than 3,000 symbols exported from the font (of which around 1,000 are - for \enquote{stretchy} delimiters). The font itself contains over 4,000 symbols, - but those which are not exported are usually variants (e.g. thinner or thicker) or - unused experimental symbols. The Logix font may also be used for monospace - listings limited to the Latin-1 codepage (with a smattering of additional symbols). + The metrics for the Logix font are identical to the STIX2 mathematical font and + the symbols in the Logix font are designed to be compatible with the STIX2 + mathematical font, but may be used with any other mathematical font. More than + 3,000 symbols are exported from the font (of which around 1,000 are for + \enquote{stretchy} delimiters), but the font contains over 4,000 symbols. Those + not exported are usually variants or are experimental symbols. For example, when + the triple turnstiles were added, 32 new symbols were added to the font, but + only 4 were exported. The Logix font may also be used for monospace listings + limited to the Latin-1 codepage (with a smattering of additional symbols). Should you wish to use a non-exported symbol, please contact the author with a quick explanation of your use (so a reasonable name can be assigned) and, as the author's time @@ -1357,27 +1356,32 @@ \begin{symbolListA} Sequent & {\textbackslash}Seq & \scalebox{1.50}{\Seq} \\ \hline Assertion (Rule) & {\textbackslash}Rule & \scalebox{1.50}{\Rule} \\ \hline + Triple Turnstile & {\textbackslash}TrpTurn & \scalebox{1.50}{\TrpTurn} \\ \hline Model & {\textbackslash}Model & \scalebox{1.50}{\Model} \\ \hline Turnstile & {\textbackslash}Turn & \scalebox{1.50}{\Turn} \\ \hline Consequence Relation & {\textbackslash}Conseq & \scalebox{1.50}{\Conseq} \\ \hline + Double Bar Triple Turnstile & {\textbackslash}DTrpTurn & \scalebox{1.50}{\DTrpTurn} \\ \hline \end{symbolListA} \begin{symbolListA} Sequent Denied & {\textbackslash}NotSeq & \scalebox{1.50}{\NotSeq} \\ \hline Assertion (Rule) Denied & {\textbackslash}NotRule & \scalebox{1.50}{\NotRule} \\ \hline + Triple Turnstile Denied & {\textbackslash}NotTrpTurn & \scalebox{1.50}{\NotTrpTurn} \\ \hline Model Denied & {\textbackslash}NotModel & \scalebox{1.50}{\NotModel} \\ \hline Turnstile Denied & {\textbackslash}NotTurn & \scalebox{1.50}{\NotTurn} \\ \hline Consequence Relation Denied & {\textbackslash}NotConseq & \scalebox{1.50}{\NotConseq} \\ \hline + Double Bar Triple Turnstile Denied & {\textbackslash}NotDTrpTurn & \scalebox{1.50}{\NotDTrpTurn} \\ \hline \end{symbolListA} \begin{symbolListA} Bitwise AND operator / Logical Conjunction & {\textbackslash}Nd & \scalebox{1.50}{\Nd} \\ \hline Bitwise OR operator / Logical Disjunction & {\textbackslash}Or & \scalebox{1.50}{\Or} \\ \hline Bitwise NOT operator / Logical Negation & {\textbackslash}Nt & \scalebox{1.50}{\Nt} \\ \hline + Inverted Negation & {\textbackslash}InvNt & \scalebox{1.50}{\InvNt} \\ \hline Classical Logical Negation & {\textbackslash}Ngt & \scalebox{1.50}{\Ngt} \\ \hline Logical NAND & {\textbackslash}Lnand & \scalebox{1.50}{\Lnand} \\ \hline Logical NOR & {\textbackslash}Lnor & \scalebox{1.50}{\Lnor} \\ \hline - Logical XOR & {\textbackslash}Lxor & \scalebox{1.50}{\Lxor} \\ \hline + Logical XOR & {\textbackslash}Mnd & \scalebox{1.50}{\Mnd} \\ \hline Sheffer's Stroke (Logical NAND) & {\textbackslash}Shfr & \scalebox{1.50}{\Shfr} \\ \hline Bitwise NAND operator & {\textbackslash}Nand & \scalebox{1.50}{\Nand} \\ \hline Bitwise NOR operator & {\textbackslash}Nor & \scalebox{1.50}{\Nor} \\ \hline @@ -1385,6 +1389,17 @@ \end{symbolListA} \begin{symbolListA} + Dotted Conjunction & {\textbackslash}Dnd & \scalebox{1.50}{\Dnd} \\ \hline + Dotted Disjunction & {\textbackslash}Dor & \scalebox{1.50}{\Dor} \\ \hline + Dotted Negation & {\textbackslash}Dnt & \scalebox{1.50}{\Dnt} \\ \hline + Dotted Asterisk & {\textbackslash}DAsterisk & \scalebox{1.50}{\DAsterisk} \\ \hline + Dotted Times & {\textbackslash}DTimes & \scalebox{1.50}{\DTimes} \\ \hline + Dotted Plus & {\textbackslash}DPlus & \scalebox{1.50}{\DPlus} \\ \hline + Dotted Minus & {\textbackslash}DMinus & \scalebox{1.50}{\DMinus} \\ \hline + \end{symbolListA} + \clearpage + + \begin{symbolListA} Slanted Bar And & {\textbackslash}SbNd & \scalebox{1.50}{\SbNd} \\ \hline Slanted Bar Or & {\textbackslash}SbOr & \scalebox{1.50}{\SbOr} \\ \hline Slanted Bar Nand & {\textbackslash}SbNand & \scalebox{1.50}{\SbNand} \\ \hline @@ -1397,7 +1412,6 @@ Q.E.D. & {\textbackslash}Qed & \scalebox{1.50}{\Qed} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} True & {\textbackslash}True & \scalebox{1.50}{\True} \\ \hline False & {\textbackslash}False & \scalebox{1.50}{\False} \\ \hline @@ -1526,14 +1540,16 @@ Bunch Inclusion & {\textbackslash}Of & \scalebox{1.50}{\Of} \\ \hline Set Membership & {\textbackslash}In & \scalebox{1.50}{\In} \\ \hline Set Membership Negated & {\textbackslash}NotIn & \scalebox{1.50}{\NotIn} \\ \hline + Set Owns Element & {\textbackslash}Owns & \scalebox{1.50}{\Owns} \\ \hline + Set Owns Element Negated & {\textbackslash}NotOwned & \scalebox{1.50}{\NotOwned} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Absent / Void Bunch & {\textbackslash}VoidBunch & \scalebox{1.50}{\VoidBunch} \\ \hline Null Set & {\textbackslash}NullSet & \scalebox{1.50}{\NullSet} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Necessity & {\textbackslash}Nec & \scalebox{1.50}{\Nec} \\ \hline Possibility & {\textbackslash}Pos & \scalebox{1.50}{\Pos} \\ \hline @@ -1655,6 +1671,15 @@ \end{symbolListA} \begin{symbolListA} + Multimap & {\textbackslash}MulMap & \scalebox{1.50}{\MulMap} \\ \hline + Not Multimap & {\textbackslash}NotMulMap & \scalebox{1.50}{\NotMulMap} \\ \hline + Inverted Multimap & {\textbackslash}MulMapInv & \scalebox{1.50}{\MulMapInv} \\ \hline + Not Inverted Multimap & {\textbackslash}NotMulMapInv & \scalebox{1.50}{\NotMulMapInv } \\ \hline + Dual Multimap & {\textbackslash}MulMapDual & \scalebox{1.50}{\MulMapDual} \\ \hline + Not Dual Multimap & {\textbackslash}NotMulMapDual & \scalebox{1.50}{\NotMulMapDual} \\ \hline + \end{symbolListA} + + \begin{symbolListA} Less Than & {\textbackslash}Ls & \scalebox{1.50}{\Ls} \\ \hline Less Than or Equal & {\textbackslash}Lse & \scalebox{1.50}{\Lse} \\ \hline Equal & {\textbackslash}Eq & \scalebox{1.50}{\Eq} \\ \hline @@ -1671,6 +1696,30 @@ Not Greater Than & {\textbackslash}NotGr & \scalebox{1.50}{\NotGr} \\ \hline Not Greater Than or Equal & {\textbackslash}NotGre & \scalebox{1.50}{\NotGre} \\ \hline \end{symbolListA} + \clearpage + + \begin{symbolListA} + Frown & {\textbackslash}SCoh & \scalebox{1.50}{\SCoh} \\ \hline + Smile & {\textbackslash}SInCoh & \scalebox{1.50}{\SInCoh} \\ \hline + Smile (bottom) and Frowm (top) & {\textbackslash}Coh & \scalebox{1.50}{\Coh} \\ \hline + Frown (bottom) and Smile (top) & {\textbackslash}InCoh & \scalebox{1.50}{\InCoh} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Additive AND & {\textbackslash}AAnd & \scalebox{1.50}{\AAnd} \\ \hline + Multiplicitive AND & {\textbackslash}Mnd & \scalebox{1.50}{\Mnd} \\ \hline + Additive OR & {\textbackslash}Aor & \scalebox{1.50}{\Aor} \\ \hline + Multiplicitive OR & {\textbackslash}Mor & \scalebox{1.50}{\Mor} \\ \hline + Of Course & {\textbackslash}OfCrse & \scalebox{1.50}{\OfCrse} \\ \hline + Why Not & {\textbackslash}WhyNot & \scalebox{1.50}{\WhyNot} \\ \hline + Perp & {\textbackslash}Perp & \scalebox{1.50}{\Perp} \\ \hline + Sim Perp & {\textbackslash}SimPerp & \scalebox{1.50}{\SimPerp} \\ \hline + \end{symbolListA} + + \begin{symbolListA} + Quantified Additive And & {\textbackslash}QuantAAnd & \scalebox{1.50}{\QuantAAnd} \\ \hline + Quantified Multiplicative Or & {\textbackslash}QuantMor & \scalebox{1.50}{\QuantMor} \\ \hline + \end{symbolListA} \begin{symbolListA} Slanted Bar Less Than & {\textbackslash}SbLs & \scalebox{1.50}{\SbLs} \\ \hline @@ -1679,7 +1728,6 @@ Slanted Bar Greater Than or Equal & {\textbackslash}SbGre & \scalebox{1.50}{\SbGre} \\ \hline \end{symbolListA} - \clearpage \begin{symbolListA} Slanted Bar Not Less Than & {\textbackslash}SbNotLs & \scalebox{1.50}{\SbNotLs} \\ \hline Slanted Bar Not Less Than or Equal & {\textbackslash}SbNotLse & \scalebox{1.50}{\SbNotLse} \\ \hline @@ -1700,6 +1748,7 @@ Not Succeeds & {\textbackslash}NotSuc & \scalebox{1.50}{\NotSuc} \\ \hline Not Succeeds or Equal & {\textbackslash}NotSucq & \scalebox{1.50}{\NotSucq} \\ \hline \end{symbolListA} + \clearpage \begin{symbolListA} Minus & {\textbackslash}Minus & \scalebox{1.50}{\Minus} \\ \hline |