Document symbol punctuation