qed – Produce an "end-of-proof" mark
Produces ‘end proof’ (and similar) mathematical marks, even at the end of displayed mathematics.
Do Not Sell Except by Arrangement
|Copyright||1993–1996 Paul Taylor
support for typesetting mathematics
Maybe you are interested in the following packages as well.
- proofs: Macros for building proof trees
- systeme: Format systems of equations
- petri-nets: A set TeX/LaTeX packages for drawing Petri nets
- autoaligne: Align terms and members in math expressions