I.e. replace the escaped symbol in the comment?