diff options
| -rw-r--r-- | doc/syntax-v8.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex index 76fe0e5064..031f59885a 100644 --- a/doc/syntax-v8.tex +++ b/doc/syntax-v8.tex @@ -541,8 +541,8 @@ Conflicts exists between integers and constrs. \SEPDEF \DEFNT{clause} \KWD{in}~\TERM{*} -\nlsep \KWD{in}~\TERM{*}~\KWD{\vdash}~\OPT{\NT{concl-occ}} -\nlsep \KWD{in}~\OPT{\TERM{hyp-ident-list}} ~\KWD{\vdash} ~\OPT{\NT{concl-occ}} +\nlsep \KWD{in}~\TERM{*}~\KWD{$\vdash$}~\OPT{\NT{concl-occ}} +\nlsep \KWD{in}~\OPT{\TERM{hyp-ident-list}} ~\KWD{$\vdash$} ~\OPT{\NT{concl-occ}} \nlsep \KWD{in}~\OPT{\TERM{hyp-ident-list}} \SEPDEF \DEFNT{hyp-ident-list} |