Escaped punctuation in HTML