chiark / gitweb /
doc/syntax.tex: Improve the syntax notation.