proof.sty: A User Guide


5. Limitations/unwanted features

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