Document symbol punctuation
Merge pull request #6720 from rsrock/patch-1

Document symbol punctuation