Because proofs can be large, you can select parts of the proof and export them one at a time. Initially nothing is selected. Clicking the symbols with the left mouse button selects the proof upward from that node. Holding the shift key down while clicking a symbol unselects parts of the proof upward from the node.