diff --git a/doc/scsh-manual/procnotation.tex b/doc/scsh-manual/procnotation.tex index 33f873a..74e9c79 100644 --- a/doc/scsh-manual/procnotation.tex +++ b/doc/scsh-manual/procnotation.tex @@ -493,13 +493,13 @@ as communication channels. \section{Conditional process sequencing forms} These forms allow conditional execution of a sequence of processes. -\dfn{||} {\vari{pf}1 \ldots \var{pf}n} {\boolean} {syntax} +\dfn{||} {\vari{pf}1 \ldots \vari{pf}n} {\boolean} {syntax} \begin{desc} Run each proc until one completes successfully (\ie, exit status zero). Return true if some proc completes successfully; otherwise \sharpf. \end{desc} -\dfn{\&\&} {\vari{pf}1 \ldots \var{pf}n} {\boolean} {syntax} +\dfn{\&\&} {\vari{pf}1 \ldots \vari{pf}n} {\boolean} {syntax} \begin{desc} Run each proc until one fails (\ie, exit status non-zero). Return true if all procs complete successfully; otherwise \sharpf.