shortcode

Hi,

In my site I have many pages like this
[example]
It seems to me that this is a shortcode, but I didn’t find the definition of this shortcode anywhere in my code (functions.php). Where to search for it?
Thanks for help.