formatted according to the syntax notation section