On 05/30/2017 06:53 AM, Mosè Giordano wrote:
> Hi!
> 
> 2017-05-30 2:28 GMT+02:00 Hong Xu <hong@topbug.net>:
>> The following minimal example
>>
>> \documentclass{article}
>>
>> \begin{document}
>> \begin{figure}
>>   \centering
>>   \caption{Math \(x=y\) and $x=y$.}
>> \end{figure}
>> \end{document}
>>
>> $x=y$ is highlighted but \(x=y\) is not. Perhaps both should be highlighted?
> 
> Yes, I agree this is an inconsistent behavior, but you already
> reported the issue one month ago:
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26630  ;-)
> 

Ooops, I forgot I did that...

Hong