Produce an "end-of-proof" mark.
Produces ‘end proof’ (and similar) mathematical marks, even at the end of displayed mathematics.
The author is Paul Taylor. The package is Copyright © 1993-1996 Paul Taylor.
License: nosell Version dated: 1996-06-24 Catalogued: 2014-02-26
Visit
Visit Dante:/macros/generic/proofs/taylor/QED.sty