proof.sty: A User Guide
a It seems that rule-thickness is not readily adjustable [let me know if that is not true!].
b Note this surely unwanted effect:
The different overall heights of the characters 'Q' and 'P' lead to different heights between levels of the tree.
Version 0.6 -- July 11, 2004. Corrections, suggestions for additions, etc. to Peter Smith.
First page of this mini-guide |Previous page of this mini-guide | Back to proofs page | Home