3.13 User-defined export

Via the MyExport command (or draw, an alias) it is possible to create new graphical elements with a personalized export, different from default’s TeXgraph export.