diff options
Diffstat (limited to 'fonts/logix/doc/logix.tex')
-rw-r--r-- | fonts/logix/doc/logix.tex | 27 |
1 files changed, 16 insertions, 11 deletions
diff --git a/fonts/logix/doc/logix.tex b/fonts/logix/doc/logix.tex index 432e3bad07..a1a1f4c70f 100644 --- a/fonts/logix/doc/logix.tex +++ b/fonts/logix/doc/logix.tex @@ -85,7 +85,7 @@ \newgeometry{left=1.5in,right=1.5in,bottom=1.00in,top=0.75in} - \section{Introduction: logix 2020-03-07 v1.03} + \section{Introduction: logix 2020-05-01 v1.04} The logix package provides the logix Unicode font and, at this time, must be used either with \LuaLaTeX\ or \XeLaTeX. There are no available options. The logix font contains @@ -688,8 +688,8 @@ \begin{verbatim} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} - \Dash {1} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Disjunction} - \Line {2} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Weakening, 1} + \Dash {1} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Disjunction} + \Line {2} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Weakening, 1} \end{LogixSeqnt} \end{verbatim} \vspace{-1.50em} @@ -711,8 +711,8 @@ \end{LogixSeqnt} \begin{LogixSeqnt}[3em] {Th 46} {} {\prop{p} \Seq \prop{r}} - \Dash {1} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Disjunction} - \Line {2} {} {} {\prop{p}\Comma\prop{q}} {\prop{r}} {Weakening, 1} + \Dash {1} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Disjunction} + \Line {2} {} {} {\prop{p}\Coma\prop{q}} {\prop{r}} {Weakening, 1} \end{LogixSeqnt} \end{addmargin} \end{flushleft} @@ -721,7 +721,7 @@ A more realistic example of using the LogixSeqnt environment is shown below. \begin{addmargin}[0.25in]{0.em} - \begin{LogixSeqnt} {Th 11} {} {\prop{p} \Seq \prop{q}\Comma \prop{r} \Seq \prop{s} \Rule \prop{p} \Or \prop{r} \Seq \prop{q} \Or \prop{s}} + \begin{LogixSeqnt} {Th 11} {} {\prop{p} \Seq \prop{q}\Coma \prop{r} \Seq \prop{s} \Rule \prop{p} \Or \prop{r} \Seq \prop{q} \Or \prop{s}} \Dash{1} {Th 2} {Ds 3} {\prop{q}} {\prop{q} \Or \prop{s}} \Dash{2} {Ln 1} {As 1} {\prop{p}} {\prop{q} \Or \prop{s}} \Dash{3} {Th 2} {Ds 4} {\prop{s}} {\prop{q} \Or \prop{s}} @@ -766,7 +766,7 @@ this email account is checked at least daily. 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 + 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. @@ -1192,7 +1192,7 @@ \clearpage \begin{symbolListA} Dot & {\textbackslash}Dt & \scalebox{1.50}{\Dt} \\ \hline - Comma & {\textbackslash}Comma & \scalebox{1.50}{\Comma} \\ \hline + Comma & {\textbackslash}Coma & \scalebox{1.50}{\Coma} \\ \hline Semicolon & {\textbackslash}Semicln & \scalebox{1.50}{\Semicln} \\ \hline Colon & {\textbackslash}Cln & \scalebox{1.50}{\Cln} \\ \hline Thus & {\textbackslash}Thus & \scalebox{1.50}{\Thus} \\ \hline @@ -1203,12 +1203,12 @@ Long Vertical Bar & {\textbackslash}LngVrtBar & \scalebox{1.50}{\LngVrtBar} \\ \hline Question mark & {\textbackslash}Queston & \scalebox{1.50}{\Queston} \\ \hline Exclamation point & {\textbackslash}Exclaim & \scalebox{1.50}{\Exclaim} \\ \hline - Percent sign & {\textbackslash}Percent & \scalebox{1.50}{\Percent} \\ \hline + Percent sign & {\textbackslash}Percnt & \scalebox{1.50}{\Percnt} \\ \hline Ampersand & {\textbackslash}Ampersand & \scalebox{1.50}{\Ampersand} \\ \hline Dollar sign & {\textbackslash}Dollar & \scalebox{1.50}{\Dollar} \\ \hline At sign & {\textbackslash}At & \scalebox{1.50}{\At} \\ \hline ASCII Circumflex & {\textbackslash}Circumflex & \scalebox{1.50}{\Circumflex} \\ \hline - Number sign & {\textbackslash}Number & \scalebox{1.50}{\Number} \\ \hline + Number sign & {\textbackslash}Numbr & \scalebox{1.50}{\Numbr} \\ \hline Underscore & {\textbackslash}Underscore & \scalebox{1.50}{\Underscore} \\ \hline Tilde & {\textbackslash}Tild & \scalebox{1.50}{\Tild} \\ \hline Left (back) slash & {\textbackslash}LeftSlash & \scalebox{1.50}{\LeftSlash} \\ \hline @@ -1384,7 +1384,7 @@ \begin{symbolListA} Minus & {\textbackslash}Minus & \scalebox{1.50}{\Minus} \\ \hline - Plus & {\textbackslash}Plus & \scalebox{1.50}{\Plus} \\ \hline + Plus & {\textbackslash}Pls & \scalebox{1.50}{\Pls} \\ \hline Plus / Minus & {\textbackslash}PlusMinus & \scalebox{1.50}{\PlusMinus} \\ \hline Minus / Plus & {\textbackslash}MinusPlus & \scalebox{1.50}{\MinusPlus} \\ \hline Asterick & {\textbackslash}Asterick & \scalebox{1.50}{\Asterick} \\ \hline @@ -1446,6 +1446,11 @@ \clearpage \begin{symbolListA} + Horizontal bars with vertical dashes & {\textbackslash}KntHDASH & \scalebox{1.50}{\KntHDASH} \\ \hline + Vertical bars with horizontal dashes & {\textbackslash}KntVDASH & \scalebox{1.50}{\KntVDASH} \\ \hline + \end{symbolListA} + + \begin{symbolListA} Horz flow, Cross, solid over, solid under & {\textbackslash}KntHXSOSU & \scalebox{1.50}{\KntHXSOSU} \\ \hline Horz flow, Cross, solid under, solid over & {\textbackslash}KntHXSUSO & \scalebox{1.50}{\KntHXSUSO} \\ \hline Vert flow, Cross, solid over, solid under & {\textbackslash}KntVXSOSU & \scalebox{1.50}{\KntVXSOSU} \\ \hline |