Hello Markus and all developpers, I'd like to discuss this issue again. After reconsideration, I came to think that there is little point in discriminating two kinds of comments, i.e. those after "%" and those after "^^A", as long as AUCTeX is concerned. It requires complicated operation in syntax propertization (`font-latex-doctex-^^A') whereas it calls for unwanted troubles like this bug#35140 and comments written in `font-latex-find-matching-close': ,---- | ;; XXX: Do not look up syntax-table properties since they may | ;; be misleading, e.g. in the case of "{foo}^^A" where the | ;; closing brace gets a comment end syntax. `---- Thus I'm inclined to an idea just to fontify "^^A" type comments with normal comment face, not bothering with changing its syntax. Attached is a patch that implements this idea. What do others think about this? Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine