# Suggestions for proofs

The following packages have something in common with the package proofs. The packages are ordered in decreasing similarity.

- qed: Produce an "end-of-proof" mark
- taylor: Macros for category-theoretic diagrams
- dirtree: Display trees in the style of windows explorer
- emtrees: Draw labelled trees, using emTeX \specials
- dyntree: Construct Dynkin tree diagrams
- prftree: Macros for building proof trees
- lpform: Typesetting linear programming formulations and sets of equations
- mathdots: Commands to produce dots in math that respect font size
- pmat: Typeset partitioned matrices
- kbordermatrix: LaTeX version of \bordermatrix
- petri-nets: A set TeX/LaTeX packages for drawing Petri nets
- tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra's style
- variations: Typeset tables of variations of functions
- undertilde-gen: A simple macro for placing a tilde under a character
- systeme: Format systems of equations
- autoaligne: Align terms and members in math expressions
- anti: Typeset an anti-particle in maths mode
- mandel: Compute the Mandelbrot set
- xlop: Calculates and displays arithmetic operations
- tree-dvips: Trees and other linguists' macros
- witharrows: “Aligned” math environments with arrows for comments
- qobitree: LaTeX macros for typesetting trees
- required: Packages "required" of a LaTeX distribution
- syntrace: Labels for tracing in a syntax tree
- treetex-plain: Draw trees
- treesvr: Tree macros
- treedef: Macros to typeset trees in Plain TeX
- baum: Trees, using PiCTeX
- chomsky: Macros to typeset parsing trees
- drv: Derivation trees with METAPOST
- eppstein-trees: Macros for producing trees