Re: Mimare \qedhere usando \AtEndEnvironment

Che poi, siete davvero sicuri che sia cosi’ esecrabile denotare con un simbolo la fine di una definizione? Il libro di Johnstone Topos Theory, tanto per dire, fa esattamente questo (con l’aggravante di usare lo stesso simbolo per la fine di una definizione, di una dimostrazione, di un remark o di una serie di esempi).
(Tutto cio’ detto anche se comprendo perfettamente l’obiezione di egreg)