Find the definition and notations like ++ in Coq

Question

How can we get the definition/type for those notations like \"+\", or \"++\" of List?

I have tried : Search ++,

Answer 1

Do:

Locate "++".

To lookup for notations.

Then you can Print/Check the actual term being denoted.