summaryrefslogtreecommitdiff
path: root/fonts/logix/doc/logix.tex
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/logix/doc/logix.tex')
-rw-r--r--fonts/logix/doc/logix.tex27
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