Re: ambiente per dimostrazioni

Probabilmente, se riuscissi a capire questo codice
`\def\@@resetdescriptionclosesymbol
{\global\@EA\settrue\csname\??dd\currentdescription:mrk\endcsname
\let\placeclosesymbol\@@placedescriptionclosesymbol
\let\qed \@@placedescriptionclosesymbol}

\def\@@placedescriptionclosesymbol
{\ifconditional\csname\??dd\currentdescription:mrk\endcsname
\global\@EA\setfalse\csname\??dd\currentdescription:mrk\endcsname
\doifsomething{\descriptionparameter\c!closesymbol}{\descriptionparameter\c!closecommand{\descriptionparameter\c!closesymbol}}%
\fi}
`
Potrei anche fare un comando solo..

ES