Fabrice Couvreur via ntg-context schrieb am 03.04.2023 um 21:42:
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
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