If characters such as `«` or `»` are used, they get replaced by their complete name. See table `tbl-char-to-name`.