qed – Produce an "end-of-proof" mark
Produces ‘end proof’ (and similar) mathematical marks, even at the end of displayed mathematics.
|License||Do Not Sell Except by Arrangement|
support for typesetting mathematics
Maybe you are interested in the following packages as well.
- taylor: Macros for category-theoretic diagrams
- lpform: Typesetting linear programming formulations and sets of equations
- tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra's style
- variations: Typeset tables of variations of functions