I'd like to remove the unnecessary vertical space above the bussproofs derivation (or below the tikz picture). For some reason, putting a frame around the \DisplayProof command erases the unwanted vertical space. In other words, the desired output is what I see with \frame{\DisplayProof}, without the frame border. MWE:

\documentclass{article} \usepackage{tikz} \usepackage{bussproofs} \begin{document} \begin{tikzpicture} \draw (0,0) circle (0.15em); \end{tikzpicture} \AxiomC{} \UnaryInfC{$\Gamma$} \DisplayProof \end{document}