qed – Produce an "end-of-proof" mark
Produces ‘end proof’ (and similar) mathematical marks, even at the end of displayed mathematics.
|Licenses||Do Not Sell Except by Arrangement|
|Copyright||1993–1996 Paul Taylor|
Maybe you are interested in the following packages as well.
- proofs: Macros for building proof trees
- lpform: Typesetting linear programming formulations and sets of equations
- kbordermatrix: LaTeX version of \bordermatrix
- undertilde-gen: A simple macro for placing a tilde under a character