Hi,
I have already created a thread on the subject and Wolgang, Marco and Taco have replied but the userdata environment is not yet clear to me. I would like, if possible, to write a definition, a property or a theorem on the left and illustrate it in the right margin with an example. In the code below, the second example is on the second page and not next to the second definition.