updating syntax.tex, attempt 2