proofbox.sty is posted! proofbox.sty And check out Paul Taylor’s page for doing proofs in LaTeX! http://www.paultaylor.eu/proofs/