Add comment to clarify the TeX character escaping