doc/syntax.tex: Fix up the syntax notation.