doc/syntax.tex: Improve the syntax notation.