Update syntax.tex