The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 04/05/2012 11:44 AM, David MENTRE wrote:
> BTW, is there a way in ProofGeneral to look for theorems having
> notation like "<>" or "/"? For"<>", I had to search for Rdiv.
>
> I tried [Search<>] or [Search "<>"] but it failed.
>    

Yup:
    SearchPattern (_ <> _).