The preamble I use for LaTeX when writing tree proofs